Previous review
An earlier review examined Nullark as it existed on 25 August 2026. We publish it for historical context alongside the current formal verification record. Audit work looks across implemented code and system boundaries, while formal proofs check specific security properties.Open previous report
Download the 14-page PDF dated 25 August 2026.
Historical findings
Findings below belong to that report.