Audit report - Nullark

Testnet audit before mainnet deployment.

The review complements formal verification. The audit looks across the implemented code and system boundaries, while formal proofs check specific security properties. Each catches problems the other may not.

Open the audit report

Download the 14-page PDF from 25 August 2026.

Report at a glance

Severity	Findings
Critical	0
High	0
Medium	1
Low	4
Informational	15

This audit narrows risk for the reviewed snapshot. Remaining risk spans later code, proving assumptions, deployment, and operations.