ZERO-KNOWLEDGE AUDITS
Our past audits include Elusiv, Solana’s confidential transfer extensions, and ZK Login, a circom-based JWT validation service we audited as part of our partnership with Mysten Labs.
QUESTIONS
Our past audits include Elusiv, the SDK behind Solana’s confidential transfer extensions, and ZK Login, a circom-based JWT validation service we audited as part of our partnership with Mysten Labs. Public reports also include Zircuit and Light Protocol Zero Copy.
ZK SPECIALTY
We have extensive experience when it comes to zero-knowledge proofs.
Our research “Unfaithful claims: breaking 6 zkVMs” found six systems where a zkVM verifier’s guarantee about its public claims breaks.
Our research found that dusk-plonk’s verifier never validated four of the prover’s polynomial commitments, enough to mint DUSK from nothing.
Public audit reports include Light Protocol Zero Copy, Pallad, Auro Wallet, Zircuit, and Mysten ZK Login.
Circom and Halo 2 are among the languages we’ve audited.
AUDIT EXPERIENCE
GET SECURED
Tell us where the highest-risk parts of your circuits and verifiers live, and we will route the request to the right security team.
Get an audit