Smart contract audits and blockchain security tools using formal methods and automated analysis.
Last 6 months · Weekly commits
Automated verification of uniqueness property for ZKP circuits
Reusable AI agent skills for AuditHub security tools. Teach Claude Code and Codex how to run OrCa fuzzing ca…
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Ope…
Examples of Mastermind implemented in different ZK languages and frameworks.
Static analysis toolkit for security analysis in Aleo programs
Veridise documentation website monorepo
A burn. A sync call. A transfer. Run them in the right order, nothing happens. Run them in the wrong order, $4.6M leaves the pool. @FormallyJon on the sequencing bug that drained Future Protocol, in this week's Auditor's Take.
Ethereum devs are narrowing 66 proposals for the 2027 Hegotá upgrade. FOCIL already made the cut. The real fight is over the EIPs meant to hand privacy apps a foundation with no trusted middleman. Whichever ones win become the attack surface every ZK auditor inherits.
$348 million lost to smart contract exploits in 2024. Most monitoring only shows up after the attack has already started. By then, the funds are gone. @FormallyJon take at ETHCC. Stop reacting to bugs after users find them. Catch them first.
Three dozen crypto firms just asked AI labs for the same offensive capability attackers already have. Parity on search is not parity on assurance. A model can enumerate more paths than any human. It still cannot certify the ones it never opened.
