Boundless: Kailua audit report
Project Information
CATEGORY
Smart Contracts, zkVM
NETWORK
Ethereum
WEBSITE
https://boundless.network/
DESCRIPTION
From Feb. 12, 2026 to Feb. 18, 2026, Boundless engaged Veridise to conduct a security assessment of the Kailua project. Veridise conducted the assessment over 3 person-weeks, with 3 security analysts reviewing the project over 1 week. The review strategy involved a tool-assisted analysis of the program source code performed by Veridise security analysts as well as thorough code review. Compared to the previous version, which Veridise audited at commit 7eb9869, the new version introduces a system for acquiring the right to submit fault proofs prior to posting them.
Audit Report
SCOPE
The scope of this security assessment is limited to the changes made to a specific set of source files from the repository since commit 7eb9869, as agreed upon with the Kailua developers:
- crates/contracts/foundry/src/KailuaGame.sol
- crates/contracts/foundry/src/KailuaLib.sol
- crates/contracts/foundry/src/KailuaTournament.sol
- crates/contracts/foundry/src/KailuaTreasury.sol
- crates/contracts/foundry/src/KailuaVerifier.sol