Audits archive

ZK-VMs represent a new paradigm in verifiable computation and blockchain scaling.

At Veridise, we have conducted academic research on identifying vulnerabilities related to zero-knowledge proofs and developed in-house tools for enhanced bug detection.

We’ve audited a number of L1 and L2 blockchain implementations, including ZK-Rollups on Ethereum.

Cross-chain protocols and bridges pose many surfaces for attacks. We have assisted many in strengthening their security.

We’ve audited some of the largest DeFi protocols, such as Ankr, Ribbon Finance, Range, totaling billions of dollars in Total Value Locked.

Past audit reports

ProtocolResource
Start Date
CompanyLanguage(s)Tag(s)
Sygma Labs: Sprinter Liquidity PoolReportMar 2025Sygma LabsSoliditySmart Contracts, Solidity, Cross-Chain, Vault
Sygma Labs: Sprinter Liquidity MiningReportFeb 2025Sygma LabsSoliditySmart Contracts, Solidity, Staking
RISC Zero: Keccak precompileReportJan 2025Risc0C++,RustZK Circuits, Risc0, zkVM Precompile
RISC Zero: KailuaReportJan 2025Risc0Rust,SolidityzkVM Application, Risc0, FaultProofs
Token Disbursement ProgramDec 2024Demox LabsLeoSmart Contracts, ZK Circuits, Aleo
Zenith Protocols: OrbitCDPReportDec 2024OrbitRustSmart Contracts, Soroban, Lending
Lumina: Lumina DexReportDec 2024LuminaTypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
Mach34: z-imburseReport1, Report2Nov 2024noirZK Circuits, noir
RISC Zero: Bigint2 PrecompileReportOct 2024Risc0ZK Circuits, Library/Infrastructure, zkVM
Catalyst: Bitcoin Prism & Cross CatsReport1, Report2Oct 2024Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain, Light Client
DeFi84Sep 2024Sygma LabsSoliditySmart Contracts, Solidity, Substrate, Bridge, Cross-Chain
ZK #27Sep 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Rewards / Distribution
RISC Zero: SteelReportSep 2024Risc0RustRelayer/Off-Chain Backend Service, zkVM Application, Risc0, Library/Infrastructure
Kadena: Kadena SnapReportSep 2024KadenaTypescriptWallet / Wallet Integration, Metamask Snap, Blockchain Wallet Integration
ZK #26Sep 2024Rust,SolidityRelayer/Off-Chain Backend Service, Smart Contracts, zkVM Application, Risc0
RISC Zero: risc0-solanaReportSep 2024Risc0RustSmart Contracts, Risc0, Library/Infrastructure
Wombat: Wombat-ExchangeReportSep 2024WombatRustSmart Contracts, Soroban, AMM
Verulink: Coinbase QuestReportAug 2024Venture23Leo,TypescriptRelayer/Off-Chain Backend Service, Smart Contracts, ZK Circuits, Leo
Venture23: VerulinkReportAug 2024Venture23LeoSmart Contracts, ZK Circuits, Leo, Bridge
DeFi #83Aug 2024Sygma LabsSoliditySmart Contracts, Solidity
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
DeFi #83Aug 2024SoliditySmart Contracts, Solidity, Staking, Token / ERC20
RISC Zero: RISC Zero zkVMReportJul 2024Risc0C++,Circom,RustZK Circuits, Zirgen, Library/Infrastructure, Recursive Verifier, zkVM
ZK #19Jul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Liquid Staking, Price Oracle
Smoo.th: Smooth Crypto LibraryReportJul 2024LineaSoliditySmart Contracts, Solidity, Library/Infrastructure
Multi-Token Support ProgramReportJul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Token / ERC20
ZK #17Jul 2024RustZK Circuits, plonky3, zkVM
57Blocks: Stellar Timelock ContractReportJul 202457blocksRustSmart Contracts, Soroban, Library/Infrastructure
Arianee Full Privacy ExtensionReport1, Report2Jul 2024ArianeeCircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity, Identity, NFT Marketplace
Infrastructure #6Jul 2024Sygma LabsGoRelayer/Off-Chain Backend Service, Library/Infrastructure
DeFi #80Jul 2024SoliditySmart Contracts, Gnark, Solidity, zkVM
DeFi #79Jul 2024GoodEntrySoliditySmart Contracts, Solidity, Auction, Vault
DeFi #78Jun 2024SoliditySmart Contracts, Solidity, Vault
Mina Foundation: Fungible Token StandardReportJun 2024Mina FoundationTypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
Lombard: LBTC ReportJun 2024LombardSoliditySmart Contracts, Solidity, Bridge, Cross-Chain, Liquid Staking
Infrastructure #4Jun 2024GoRelayer/Off-Chain Backend Service, Light Client, Liquid Staking
DeFi #76Jun 2024Generative LabsSoliditySmart Contracts, Solidity, AMM
ZK #13Jun 2024Aleo,RustBlockchain Implementation, ZK Circuits, Aleo, SnarkVM, Blockchain
DeFi #75Jun 2024MantaSoliditySmart Contracts, Solidity, Vault
Sygma Labs: BTC RelayerReportJun 2024Sygma LabsGoRelayer/Off-Chain Backend Service, btcsuite, Bridge
Decentralized Oracle IntegrationReportJun 2024NaviSui MoveSmart Contracts, Sui Move, Price Oracle
Succinct: SP1 RecursionJun 2024SuccinctRustZK Circuits, plonky3, Library/Infrastructure
Metacraft Labs: DendrETHReportMay 2024Metacraft LabsRust,SolidityZK Circuits, plonky2, Light Client
DeFi #73May 2024SoliditySmart Contracts, Solidity, NFT Marketplace
Arbitrum Constructor ContractReportMay 2024onthis.xyzSoliditySmart Contracts, Solidity, Rewards / Distribution, Token / ERC20
DeFi #72May 2024MantaSoliditySmart Contracts, Solidity, Cross-Chain
DeFi #71May 2024MantaSoliditySmart Contracts, Solidity, Cross-Chain, Staking
Arcane Finance: AMMReportMay 2024Arcane FinanceLeoSmart Contracts, ZK Circuits, Leo, AMM
3Jane: AmplolReportMay 20243JaneSoliditySmart Contracts, Solidity, Vault
DeFi #68May 2024SoliditySmart Contracts, Solidity, Cross-Chain, Liquid Staking, Rewards / Distribution
DeFi #67May 2024SoliditySmart Contracts, Solidity
GingerJoy: FundoraReportApr 2024GingerJoy GamesSoliditySmart Contracts, Solidity, Games, Rewards / Distribution
3Jane: 3JANE-EETH-X-CReportApr 20243JaneSoliditySmart Contracts, Solidity, Vault
ZK #10Apr 2024SuccinctRustZK Circuits, plonky3, Library/Infrastructure
Lydia Labs: HiYieldReportApr 2024Lydia LabsRustSmart Contracts, Soroban, Lending
DeFi #62Apr 2024SoliditySmart Contracts, Solidity, Liquid Staking
Leo Wallet: Aleo StakingReportApr 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Staking
ChainSafe: BLS12-381 ImplementationReportApr 2024Sygma LabsRustZK Circuits, Halo2, Light Client
Inception: bridgeReportApr 2024Tagus LabsSoliditySmart Contracts, Solidity, Bridge, Cross-Chain
DeFi #54Mar 2024SoliditySmart Contracts, Solidity, Rewards / Distribution, Staking
O(1) Labs: o1jsReportMar 2024o1jsTypescriptSmart Contracts, ZK Circuits, o1js, Library/Infrastructure
Edgeless Network ContractsReportMar 2024Satori LabsSoliditySmart Contracts, Solidity, Cross-Chain, Liquid Staking, Staking
ZK #7Mar 2024SuccinctRustZK Circuits, plonky2x, Light Client
DeFi #52Mar 2024Sui MoveSmart Contracts, Sui Move, Lending
Range Protocol: Vault Updates and Vertex VaultReport1, Report2Mar 2024RangeSoliditySmart Contracts, Solidity, Liquid Staking, Vault
Cata Labs: Generalised Incentives TimeoutReportMar 2024Cata LabsSoliditySmart Contracts, Solidity, Cross-Chain
DeFi #50Feb 2024Mesosphere LtdSoliditySmart Contracts, Solidity, Payments
MetaMask Snap #6Feb 2024TypescriptWallet / Wallet Integration, Metamask Snap, Blockchain Wallet Integration
Native: AquaReportFeb 2024NativeSoliditySmart Contracts, Solidity, Request for Quote (RFQ), Vault
Venture23: Ethereum-Aleo BridgeReportFeb 2024Venture23Leo,Solidity,TypescriptRelayer/Off-Chain Backend Service, Smart Contracts, ZK Circuits, Leo, Solidity, mongoose, Bridge, Cross-Chain
Key Management #5Feb 2024RustKey Management, AWS
ZK #9Feb 2024Panther ProtocolSoliditySmart Contracts, ZK Circuits, Circom, Solidity, KYC, Shielded Pools
onthis.xyz SnapReportFeb 2024onthis.xyzTypescriptWallet / Wallet Integration, Metamask Snap, Transaction Analysis
DeFi #55Feb 2024RustRelayer/Off-Chain Backend Service, Smart Contracts, AWS, Solidity, Soroban, ethers, Bridge, Cross-Chain
Arcane Finance: Relayer/Off-Chain Backend ServiceReport1, Report2Jan 2024Arcane FinanceRust,TypescriptRelayer/Off-Chain Backend Service, Request for Quote (RFQ)
Key Management #4Jan 2024RustKey Management, AWS
DeFi #47Jan 2024SoliditySmart Contracts, Solidity, NFT Marketplace
TIE Finance: WBTC Lending StrategyReportJan 2024Smart Atoms LtdSoliditySmart Contracts, Solidity, Lending
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)
DeFi #45Jan 2024SoliditySmart Contracts, Solidity
DeFi #49Jan 2024MantaSoliditySmart Contracts, Solidity, Rewards / Distribution
Ribbon: Aevo GovernanceReportJan 2024RibbonSoliditySmart Contracts, Solidity, Staking, Token / ERC20
Cata Labs: Generalised Incentives and UnderwritingReport1, Report2Jan 2024Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain
DeFi #41Jan 2024MantaSoliditySmart Contracts, Solidity, Token / ERC20
DeFi #48Jan 2024SuccinctSoliditySmart Contracts, Solidity, Transaction Execution
Moonbite: Phoenix DEXReportJan 2024Moonbite GmbHRustSmart Contracts, Soroban, AMM
AlphaSwapReportJan 2024AlphaSwapLeoSmart Contracts, ZK Circuits, Leo, AMM
Source Code Verification #2Dec 2023SoliditySmart Contracts, Solidity, AMM
Genesis Liquid RestakingReportDec 2023Tagus LabsSoliditySmart Contracts, Solidity, Restaking
AsMatch: AsMatch Token and wUSDMReport1, Report2Dec 2023AsMatchSoliditySmart Contracts, Solidity, Token / ERC20
DeFi #36Dec 2023SoliditySmart Contracts, Solidity, Vault
DeFi #38Dec 2023SoliditySmart Contracts, Solidity, Rewards / Distribution
StakeStoneReportDec 2023StakeStoneSoliditySmart Contracts, Solidity, Vault
Meow ProtocolReportNov 20230xBitTesseractSoliditySmart Contracts, Solidity, Lending
Server #2Nov 2023JSONRelayer/Off-Chain Backend Service, Firebase Security Rules
DeFi #40ReportNov 2023Mesosphere LtdSoliditySmart Contracts, Solidity
ZK #4Nov 2023SuccinctGoZK Circuits, Gnark, Recursive Verifier
DeFi #29Nov 2023DappLabsSoliditySmart Contracts, Solidity, Transaction Execution
Tie Finance: Eth Leverage On AAVEReportNov 2023Smart Atoms LtdSoliditySmart Contracts, Solidity, Vault
Daimo WebauthnReportNov 2023DaimoSoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
GoodEntry geV2ReportOct 2023GoodEntrySoliditySmart Contracts, Solidity, Options, Vault
Stellar Soroban CoreReportOct 2023StellarRustBlockchain Implementation, Blockchain
Atem NetworkReportOct 2023AtemSoliditySmart Contracts, Solidity, Vesting
Web3 AntiVirus SnapReportOct 2023Web3 AntiVirusTypescriptWallet / Wallet Integration, Metamask Snap
Tomo V2ReportOct 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Rewards / Distribution
Ribbon: Aevo Hybrid sDAIReportOct 2023RibbonSoliditySmart Contracts, Solidity, Options, Vault
Quick IntelReportOct 2023Quick IntelTypescriptWallet / Wallet Integration, Metamask Snap
Aperture FinanceReportSep 2023Aperture FinanceSoliditySmart Contracts, Solidity
ZK #6Sep 2023RustZK Circuits, Halo2, Machine Learning, Recursive Verifier
DeFi #20Sep 2023RustSmart Contracts, Solana
Ribbon: Aevo ExchangeReportSep 2023RibbonSoliditySmart Contracts, Solidity, Options
Daimo, P256VerifierReport1, Report2Sep 2023DaimoSoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
Range Vault Manager Contracts, Range GHO VaultReport1, Report2Sep 2023RangeSoliditySmart Contracts, Solidity, Vault
DeFi #16Aug 2023SoliditySmart Contracts, Solidity
DeFi #22Aug 2023SoliditySmart Contracts, Solidity, Games
Cog FinanceReportJul 2023ScrollVyperSmart Contracts, Vyper, AMM, Yields
Gamma Protocol | UnwindingReportJul 2023RibbonSoliditySmart Contracts, Solidity, Yields
DeFi #18ReportJul 2023VersaSoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
Server #1Jul 2023RustKey Management, AWS
Webb Tools: EVM BridgeReportJul 2023Webb ToolsSolidityZK Circuits, Circom, Solidity, Bridge, Cross-Chain
Cubist SnapJul 2023CubistTypescriptWallet / Wallet Integration, Metamask Snap
DeFi #23Jul 2023SoliditySmart Contracts, Solidity, NFT Marketplace
Puffer: RAVeReportJul 2023PufferSoliditySmart Contracts, Solidity, Library/Infrastructure
L-TokenReportJun 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Token / ERC20
DeFi #24Jun 2023SoliditySmart Contracts, Solidity, Bridge, Token / ERC20
Mina SnapReportJun 2023Mina FoundationTypescriptWallet / Wallet Integration, Metamask Snap
Partisia Blockchain SnapReportJun 2023Partisia BlockchainTypescriptWallet / Wallet Integration, Metamask Snap
Kleros ScoutReportJun 2023KlerosTypescriptWallet / Wallet Integration, Metamask Snap
ANKR Sui Liquid StakingReportJun 2023Mesosphere LtdSui MoveSmart Contracts, Sui Move, Staking
VersaJun 2023SoliditySmart Contracts, Solidity
Key Management #1May 2023RustKey Management, AWS
Davos #2ReportMay 2023Sikka TechnologySoliditySmart Contracts, Solidity
AlloyX #3May 2023AlloyXSoliditySmart Contracts, Solidity
Shib Original Vision LockerReportMay 2023Mesosphere LtdSoliditySmart Contracts, Solidity
Prime Protocol #3ReportMay 2023Prime Protocol Inc.SoliditySmart Contracts, Solidity, Cross-Chain, Stablecoin
DeFi #25May 2023SoliditySmart Contracts, Solidity, NFT Marketplace
DeFi #19May 2023MantaRustSmart Contracts, Solidity, NFT Marketplace
Rate Limiting NullifierReportMay 2023Ethereum PSECircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity
DeFi #15Apr 2023SoliditySmart Contracts, Solidity, AMM
ZK #2Apr 2023RustZK Circuits, arkworks, Library/Infrastructure
Satori: DwBizReportApr 2023Satori LabsSoliditySmart Contracts, Solidity
DeFi #13Apr 2023SoliditySmart Contracts, Solidity, Staking
Shib Original VisionReportApr 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Token / ERC20
UnirepReportApr 2023Ethereum PSESoliditySmart Contracts, ZK Circuits, Circom, Solidity, Reputation
Sismo CommitmentMapperReportMar 2023SismoSolidityZK Circuits, Solidity, Reputation
Sismo HydraS2ReportMar 2023SismoSolidityZK Circuits, Circom, Solidity
Gamma ProtocolReportMar 2023RibbonSoliditySmart Contracts, Solidity, Options
Prime Protocol #2ReportMar 2023Prime Protocol Inc.SoliditySmart Contracts, Solidity, Cross-Chain, Stablecoin, Staking
Manta ChainReportMar 2023MantaRustBlockchain Implementation, Substrate
Manta CircuitsReportMar 2023MantaRustZK Circuits, arkworks
Cata Labs CatalystReportFeb 2023Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain
PoolsharkReportFeb 2023Pool SharkSoliditySmart Contracts, Solidity, AMM
ANKR Token StakingReportFeb 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Staking
ANKR BNB Token StakingReportJan 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Staking
TonicReportJan 2023TonicRustSmart Contracts, NEAR, Orderbook
AlloyX #2Jan 2023AlloyXSoliditySmart Contracts, Solidity, Staking, Yields
Scroll ZkEVMJan 2023ScrollRustBlockchain Implementation, ZK Circuits, Solidity, Blockchain
DeFi #4Dec 2022Circom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity
Parallel #2ReportDec 2022Para ChainSoliditySmart Contracts, Solidity, Lending
SemaphoreReportDec 2022SemaphoreSoliditySmart Contracts, ZK Circuits, Circom, Solidity, Identity
DeFi #2Nov 2022SoliditySmart Contracts, Solidity, NFT Marketplace
SuccinctReportOct 2022SuccinctCircomZK Circuits, Circom, Bridge, Cross-Chain
Dogechain #3Oct 2022Doge ChainSoliditySmart Contracts, Solidity, Library/Infrastructure
ZK #1Sep 2022CircomZK Circuits, Circom, Library/Infrastructure
Prime Protocol #1ReportAug 2022Prime Protocol Inc.SoliditySmart Contracts, Solidity, Cross-Chain, Lending
Dogechain #2Aug 2022Doge ChainSolidityBlockchain Implementation, Solidity
Davos #1Aug 2022Sikka TechnologySoliditySmart Contracts, Solidity, Rewards / Distribution, Stablecoin
MakerDAOReportAug 2022MakerDAOCairoSmart Contracts, ZK Circuits, Cairo, Stablecoin
Circom-Bigint (Circomlib)ReportJul 2022CircomlibCircomZK Circuits, Circom, Library/Infrastructure
Ribbon EarnReportJul 2022RibbonSoliditySmart Contracts, Solidity, Staking
AlloyXReportJul 2022AlloyXSoliditySmart Contracts, Solidity, Staking, Yields
Infrastructure #1Jul 2022SoliditySmart Contracts, Solidity, Library/Infrastructure
DeFi #1Jun 2022SoliditySmart Contracts, Solidity, Orderbook
HelioReportMay 2022HelioSoliditySmart Contracts, Solidity, Rewards / Distribution, Stablecoin
Parallel #1ReportMay 2022Para ChainSoliditySmart Contracts, Solidity
Dogechain #1ReportMay 2022Doge ChainGo,SolidityBlockchain Implementation, Smart Contracts, Solidity

How to prepare for an audit?

We are the leading security and analysis tools providers for all layers of the Web3 ecosystem, including smart contracts, zero-knowledge circuits, blockchain implementations and much more.

We have a deep track record of identifying critical vulnerabilities in projects and protocols that other security companies and auditors missed.

So far, we have audited thousands of lines of code and counting, and have found more than 100 high-severity bugs.

Considering an audit?
Contact us today!