Zero-Knowledge circuits

At Veridise, we have an extensive track record auditing zero-knowledge languages, frameworks, and proving systems — including Circom, Halo2, Plonky2, o1js, Zirgen, and gnark.

Selected clients from this category

See more

Related blog posts

Breaking the tree: Violating invariants in Semaphore

Picture of Shankara Pailoor

Shankara Pailoor

10 min read
Picture of Shankara Pailoor

Shankara Pailoor

10 min read

Circom-Pairing: A million-dollar ZK Bug caught early

Picture of Kostas Ferles

Kostas Ferles

6 min read
Picture of Kostas Ferles

Kostas Ferles

6 min read

ZK fundamentals: What is a proof?

Picture of Alp Bassa

Alp Bassa

9 min read
Picture of Alp Bassa

Alp Bassa

9 min read

ZK fundamentals: Interactive proofs

Picture of Alp Bassa

Alp Bassa

9 min read
Picture of Alp Bassa

Alp Bassa

9 min read

ZK fundamentals: Zero-knowledge proofs

Picture of Alp Bassa

Alp Bassa

9 min read
Picture of Alp Bassa

Alp Bassa

9 min read

ZK fundamentals: The Fiat-Shamir transform

Picture of Alp Bassa

Alp Bassa

9 min read
Picture of Alp Bassa

Alp Bassa

9 min read
Load More

Zero-Knowledge Circuits audits

ProtocolResource
Start Date
CompanyLanguage(s)Tag(s)
MAGIC Grants: Monero FCMP++ReportApr 2025Monero Research LabRustZK Circuits, Rust, Library/Infrastructure, Merkle Tree, Elliptic Curve Operations, Curve Trees, Pedersen Commitments
vlayerReportFeb 2025vlayerSolidity, RustSmart Contracts, Solidity, ZK Circuits, zkVM Application
Malda: zk-coprocessorReportJan 2025MaldaRustSmart Contracts, Solidity, ZK Circuits, zkVM Application
Malda: LendingReportJan 2025MaldaSoliditySmart Contracts, Solidity, ZK Circuits, zkVM Application
RISC Zero: Keccak precompileReportJan 2025Risc ZeroC++,RustZK Circuits, Risc0, zkVM Precompile
Token Disbursement ProgramDec 2024Demox LabsLeoSmart Contracts, ZK Circuits, Aleo
Lumina: Lumina DexReportDec 2024Lumina LabsTypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
Mach34: z-imburseReport1, Report2Nov 2024noirZK Circuits, noir
RISC Zero: Bigint2 PrecompileReportOct 2024Risc ZeroZK Circuits, Library/Infrastructure, zkVM
ZK #27Sep 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Rewards / Distribution
Verulink: Coinbase QuestReportAug 2024Venture23Leo,TypescriptRelayer/Off-Chain Backend Service, Smart Contracts, ZK Circuits, Leo
Venture23: VerulinkReportAug 2024Venture23LeoSmart Contracts, ZK Circuits, Leo, Bridge
ZK #23Aug 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Liquid Staking, Price Oracle
ZK #21Aug 2024Arcane FinanceLeoSmart Contracts, ZK Circuits, Leo, AMM, Token / ERC20
Beta StakingReportAug 2024AlphaSwapLeoSmart Contracts, ZK Circuits, Leo, Liquid Staking
AlphaSwapReportAug 2024AlphaSwapLeoSmart Contracts, ZK Circuits, Leo, AMM
RISC Zero: RISC Zero zkVMReportJul 2024Risc ZeroC++,Circom,RustZK Circuits, Zirgen, Library/Infrastructure, Recursive Verifier, zkVM
ZK #19Jul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Liquid Staking, Price Oracle
Multi-Token Support ProgramReportJul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Token / ERC20
ZK #17Jul 2024RustZK Circuits, plonky3, zkVM
Arianee Full Privacy ExtensionReport1, Report2Jul 2024ArianeeCircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity, Identity, NFT Marketplace
Mina Foundation: Fungible Token StandardReportJun 2024Mina FoundationTypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
ZK #13Jun 2024Aleo,RustBlockchain Implementation, ZK Circuits, Aleo, SnarkVM, Blockchain
Succinct: SP1 RecursionJun 2024SuccinctRustZK Circuits, plonky3, Library/Infrastructure
Metacraft Labs: DendrETHReportMay 2024Metacraft LabsRust,SolidityZK Circuits, plonky2, Light Client
Arcane Finance: AMMReportMay 2024Arcane FinanceLeoSmart Contracts, ZK Circuits, Leo, AMM
ZK #10Apr 2024SuccinctRustZK Circuits, plonky3, Library/Infrastructure
Leo Wallet: Aleo StakingReportApr 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Staking
ChainSafe: BLS12-381 ImplementationReportApr 2024Sygma LabsRustZK Circuits, Halo2, Light Client
O(1) Labs: o1jsReportMar 2024o1LabsTypescriptSmart Contracts, ZK Circuits, o1js, Library/Infrastructure
ZK #7Mar 2024SuccinctRustZK Circuits, plonky2x, Light Client
Venture23: Ethereum-Aleo BridgeReportFeb 2024Venture23Leo,Solidity,TypescriptRelayer/Off-Chain Backend Service, Smart Contracts, ZK Circuits, Leo, Solidity, mongoose, Bridge, Cross-Chain
ZK #9Feb 2024Panther ProtocolSoliditySmart Contracts, ZK Circuits, Circom, Solidity, KYC, Shielded Pools
ZK #5Jan 2024Sygma LabsRust,SoliditySmart Contracts, ZK Circuits, Halo2, Solidity, Light Client
Arcane Finance: RFQReportJan 2024Arcane FinanceLeoSmart Contracts, ZK Circuits, Leo, Request for Quote (RFQ)
AlphaSwapReportJan 2024AlphaSwapLeoSmart Contracts, ZK Circuits, Leo, AMM
ZK #4Nov 2023SuccinctGoZK Circuits, Gnark, Recursive Verifier
ZK #6Sep 2023RustZK Circuits, Halo2, Machine Learning, Recursive Verifier
Webb Tools: EVM BridgeReportJul 2023Webb ToolsSolidityZK Circuits, Circom, Solidity, Bridge, Cross-Chain
Rate Limiting NullifierReportMay 2023Ethereum PSECircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity
ZK #2Apr 2023RustZK Circuits, arkworks, Library/Infrastructure
UnirepReportApr 2023Ethereum PSESoliditySmart Contracts, ZK Circuits, Circom, Solidity, Reputation
Sismo CommitmentMapperReportMar 2023SismoSolidityZK Circuits, Solidity, Reputation
Sismo HydraS2ReportMar 2023SismoSolidityZK Circuits, Circom, Solidity
Manta CircuitsReportMar 2023Manta NetworkRustZK Circuits, arkworks
Scroll ZkEVMJan 2023ScrollRustBlockchain Implementation, ZK Circuits, Solidity, Blockchain
DeFi #4Dec 2022Circom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity
SemaphoreReportDec 2022SemaphoreSoliditySmart Contracts, ZK Circuits, Circom, Solidity, Identity
SuccinctReportOct 2022SuccinctCircomZK Circuits, Circom, Bridge, Cross-Chain
ZK #1Sep 2022CircomZK Circuits, Circom, Library/Infrastructure
MakerDAOReportAug 2022MakerDAOCairoSmart Contracts, ZK Circuits, Cairo, Stablecoin
Circom-Bigint (Circomlib)ReportJul 2022CircomlibCircomZK Circuits, Circom, Library/Infrastructure

Secure your ZK stack
with industry experts

Learn how we lead in ZK auditing – with tools,
resources, academic research, and success stories included.

Zero-Knowledge audits

Considering an audit?
Contact us today!

Contact Us