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
Connect AI agents to AuditHub’s blockchain security tools. Launch scans, review findings, monitor tasks. Ope…
Reusable AI agent skills for AuditHub security tools. Teach Claude Code and Codex how to run OrCa fuzzing ca…
Veridise documentation website monorepo
Formal methods work. They just never fit inside a real dev workflow, until now. With AuditHub now running inside agents like Claude Code, Veridise closed that gap. Our clients get top tier verification without changing how they build.
AuditHub now runs inside your AI agent. 🧵
The IMF's tokenization warning is a security argument in disguise. Settlement goes from days to seconds. The delay that disappears was the buffer where problems got caught before spreading. Remove it, and a single logic flaw propagates before anyone can intervene. Risk stops…
Ahead of the @zksync Airbender V2 prover upgrade, @the_matter_labs brought us in to build the tools that formally verify their circuits. Not "we ran the tests and they passed." Mathematical proof that a whole class of soundness bug isn't there.
One founder. 80% of the vote. The Security Council renewal fails. ENS is a reminder: governance concentration isn't a theoretical risk in DeFi protocols. It's a design choice with consequences.
