From Mar. 10, 2025 to Mar. 26, 2025, RISC Zero engaged Veridise to conduct a security assessment of their Boundless Market (Beta). The security assessment covered the main on-chain and off-chain components of the Boundless Market (Beta). The scope of this security review spans across two different repositories, boundless and risc0-ethereum. The first repository contains the smart contracts and zkVM application of the Boundless Market (Beta). The second repository contains smart contracts and off-chain logic of a set verifier that is used by the Boundless Market (Beta). Veridise conducted the assessment over 9 person-weeks, with 3 security analysts reviewing the project over 3 weeks. The review strategy involved a tool-assisted analysis of the program source code performed by Veridise security analysts as well as thorough code review.