Title Report Date Tag(s)
Audit of Hinkal Protocol Smart Contracts and Circom Circuits HTML Report September 6th, 2024 Smart Contracts, Circom
Audit of Zorp - Schnorr signatures over the Cheetah curve and Tip5 hash function HTML Report July 18, 2024 zorp, hoon, goldilocks, cheetah, tip5
Audit of Linea Wizard's crypto/ & math/ HTML Report June 17th, 2024 RingSIS, Vortex, zkEVM, zkVM
Audit of Aleo ARC-0041 HTML Report June 10th, 2024 Aleo, Circuits
Audit of zk-email HTML Report May 27, 2024 Circuits, Circom, ZK compiler, zkregex, zkemail
Audit of Linea's gnark std HTML Report May 20th, 2024 circuits, gnark, plonk, kzg, fiat-shamir
Audit of Matter Labs' Era Consensus HTML Report April 22, 2024 Consensus
Audit of Aleo Puzzle HTML Report April 8th, 2024 Consensus
Audit of Aleo ARC-0037 HTML Report March 18th, 2024 Circuits
Audit of Renegade's Circuits and Smart Contracts HTML Report February 26, 2024 Circuits, Smart Contracts, Plonk, MPC
Audit of Darkfi contracts HTML Report February 19th, 2024 Circuits, Contracts, Proof Composition, Synthesizer, Frontend
Audit of Lighter's zkLighter Circuits HTML Report January 22nd, 2024 Circuits, gnark
Audit of Aleo's consensus HTML Report October 30th, 2023 Consensus
Audit of Silent Protocol Circuits HTML Report October 13th, 2023 Smart Contracts, Groth16 Verifier
Audit of Aleo's synthesizer HTML Report October 2nd, 2023 Circuit Synthesizer, Frontend, Proof Composition
Audit of Reclaim Protocol's ChaCha20 Circuit HTML Report September 23rd, 2023 Circuits, Circom
Audit of Mysten Labs' zkLogin circuits and ceremony HTML Report September 11th, 2023 Setup Ceremony, Circuits, Circom
Audit of Penumbra's Circuits HTML Report July 28th, 2023 Circuits, arkworks
Audit of Silent Protocol Smart Contracts HTML Report July 7th, 2023 Smart Contracts, Groth16 Verifier