Securing Digital Assets at Scale with Applied Cryptography
Zero-Knowledge Proofs · Formal Verification · Protocol Design · Security Audits
Deep cryptography engineering, from novel protocol design to machine-checked proofs.
Trusted by
What we do
We design, audit, and prove the cryptography behind critical systems that move real value.
Security Audits
We find the bugs that matter in ZK circuits, proof systems, and cryptographic protocols, before they reach production.
See audit reports →Protocol Design
We design robust cryptographic protocols from specification to production-ready implementation.
See our protocol work →Formal Verification
We prove cryptographic systems correct with machine-checked proofs in Lean. No critical edge case left to chance.
Learn more →Research & Standardization
We co-founded the ZKProof standardization effort and publish work that moves the field forward.
Read our research →Selected work
A sample of the protocols we've designed, audited, and verified.
Ragu Proof-Carrying Data
Audit of the PCD scheme behind Zcash's next-generation architecture.
SolanaToken-2022 Confidential Transfer
Security audit of Solana's confidential token extension.
ZcashZcash Shielded Assets (ZSAs)
Designed the protocol bringing arbitrary assets to Zcash, plus a decentralized ZSA swap.
ZcashSapling
Audit of the Sapling shielded-transaction protocol.
Bank of IsraelDigital Shekel
Selected by the Bank of Israel to design privacy for its CBDC challenge.
DARPAProject Fromager
US government-funded research advancing zero-knowledge proofs under DARPA's SIEVE program.
The home of Zcash Shielded Assets
We designed ZSAs and the protocol that lets arbitrary assets move privately on Zcash. The ZSA Hub is the reference for the specs, the swap protocol, talks, and everything we're building next.
Enter the ZSA Hub →Secure what you're building
Talk to the team about an audit, a protocol design, or a formal-verification engagement.
Get in touch