Focused security review by GPT-5.6-Sol, dated 25 August 2026.
Open the audit report
Download the 14-page PDF from 25 August 2026.
Report at a glance
Findings apply to the code snapshot reviewed in the PDF.
Audit report
Focused security and privacy findings from Nullark’s audit report.
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.