Audit count

Veda (BoringVault)'s assessment for RD-F-004 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Confirmed distinct audit firms: (1) 0xMacro (13+ engagements), (2) Spearbit/Cantina (Arctic architecture review), (3) Certora (2 formal verification reports), (4) Sigma Prime (1 report). Additionally docs.veda.tech security page mentions Secure3 and Hexens as additional firms. At minimum 4 confirmed distinct firms with published audit artifacts.

Sources #

GitHub
Veda Labs audit directory — PDF listVeda-Labs/boring-vault/audit directory: certora-boring-vault-0.pdf, certora-boring-vault-1.pdf, spearbit-boring-vault-arctic-0.pdf, sigma-prime-boring-vault-0.pdfretrieved 2026-05-17
Docs
Veda Smart Contract Security DocumentationSmart contract security page mentions Spearbit, Macro, Secure3, Hexensretrieved 2026-05-17

Methodology #

Count the number of distinct audit firms whose reports cover any portion of the currently-deployed bytecode.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol veda factor RD-F-004 score green collected_at 2026-05-17 12:41:22