Reports
At zkSecurity, transparency and trust are paramount. We're committed to sharing the results of our rigorous security audits. This public list demonstrates our expertise in zero-knowledge proofs and advanced cryptography, providing clients with the confidence they need to deploy secure, cutting-edge solutions.
| Title | Report | Date | Tag(s) |
|---|---|---|---|
| Audit of Herodotus' Integrity - A Cairo Verifier compatible with Starknet written in Cairo 1 | HTML Report | September 23rd, 2024 | Cairo, STARK, FRI |
| 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 |