Services
Security Audits
We find the bugs that matter in ZK circuits, proof systems, and cryptographic protocols, before they reach production.
Audits
Our audits go deep into the cryptography itself, not just the surrounding code. We review circuit constraints, soundness and zero-knowledge properties, protocol design, and implementation, and we report findings teams can act on.
Discuss an engagement
Our work
Tachyon / Zcash
Ragu Proof-Carrying Data
Audit
Audit of the PCD scheme behind Zcash's next-generation architecture.
Read more →SolanaToken-2022 Confidential Transfer
Audit
Security audit of Solana's confidential token extension.
Read more →ZcashZcash NU5
Audit
Security audit Zcash NU5.
Read more →ZcashZcash Sapling
Audit
Security audit Zcash Sapling.
Read more →Work with us
Have an engagement in mind?
Talk to the team about a security audit, a protocol design, or a formal-verification engagement.
Get in touch