Services
Security Audits
We find the bugs that matter in ZK circuits, proof systems, and cryptographic protocols, before they reach production.
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.
Our work
Tachyon / Zcash
Ragu Proof-Carrying Data
Audit
Audit of the PCD scheme behind Zcash's next-generation architecture.
SolanaToken-2022 Confidential Transfer
Audit
Security audit of Solana's confidential token extension.
ZcashZcash NU5
Audit
Security audit Zcash NU5.
ZcashZcash Sapling
Audit
Security audit Zcash Sapling.