Veridise | Our archive of past DeFi protocol security audits

DeFi Protocols

We’ve audited some of the largest DeFi protocols — including Ankr, Ribbon Finance, and Range — securing protocols that collectively hold billions of dollars in Total Value Locked (TVL).

Selected clients from this category

See more

Related blog posts

What is program analysis?

Picture of Isil Dillig

Isil Dillig

5 min read
Picture of Isil Dillig

Isil Dillig

5 min read

How does static analysis work?

Picture of Isil Dillig

Isil Dillig

4 min read
Picture of Isil Dillig

Isil Dillig

4 min read

Detecting smart contract vulnerabilities with static analysis

Picture of Isil Dillig

Isil Dillig

6 min read
Picture of Isil Dillig

Isil Dillig

6 min read

A gentle introduction to program verification

Picture of Isil Dillig

Isil Dillig

6 min read
Picture of Isil Dillig

Isil Dillig

6 min read

Introducing the [V] specification language

Picture of Isil Dillig

Isil Dillig

6 min read
Picture of Isil Dillig

Isil Dillig

6 min read

Medjai: Protecting Cairo code from bugs

Picture of Shankara Pailoor

Shankara Pailoor

13 min read
Picture of Shankara Pailoor

Shankara Pailoor

13 min read

DeFi Protocols audits

ProtocolResource
Start Date
CompanyLanguage(s)Tag(s)
ThetaNuts: Accreta MarketsReportFeb 2026ThetaNutsSoliditySmart Contracts, Solidity
Boundless: KailuaReportFeb 2026BoundlessSoliditySmart Contracts, zkVM Application, Solidity, OP-Stack Dispute Game, risc0
Verseprop: VersepropReportNov 2025VersepropRustSmart Contracts, Soroban, Rust, Token / ERC20, Privacy/Compliance, Soroban-SDK
Boundless: RISC Zero Solana VerifierReportOct 2025BoundlessRustZK Proof Infrastructure, Smart Contracts, Risc0, Rust, Library/Infrastructure
RedStone: Stellar ConnectorReportOct 2025RedStoneRustSmart Contracts, Stellar, Soroban, Rust, Radix
GumBall Labs: STICKRReportSep 2025GumBall LabsSoliditySmart Contracts, Solidity, Social, AMM, Launchpad, OpenZeppelin
Wormhole: Boundless TransceiverReportSep 2025WormholeSolidity, RustSmart Contracts, zkVM Application, Solidity, Risc0, Rust, OpenZeppelin, wormhole
AhaLabs: Scaffold RegistryReportSep 2025AhaLabsRustSmart Contracts, Soroban, Rust, Registry, Loam-SDK
Boundless: Fulfilment DataReportSep 2025BoundlessRust, SoliditySmart Contracts, zkVM Application, Risc0, Solidity, Rust, Auction
Forte Labs: Sealance Compliance Technology for Aleo audit reportReportSep 2025Forte LabsLeo, TypescriptSmart Contracts, Relayer/Off-Chain Backend Service, Leo, Typescript, Token / ERC20, Privacy/Compliance, dokojs
Aztec: GovernanceReportAug 2025AztecSoliditySmart Contracts, Solidity, OpenZeppelin
RISC Zero: ZKC StakingReportAug 2025RISC ZeroSoliditySmart Contracts, Solidity, Staking, ERC721, Token / ERC20
Venture23: VerulendReportAug 2025Venture23LeoSmart Contracts, Leo, Lending
Wormhole: Boundless ReceiverReportAug 2025WormholeSolidity, RustSmart Contracts, Solidity, Risc0, Rust, OpenZeppelin, wormhole
Lumina: MultisigReportAug 2025Lumina LabsTypescriptZK Circuits, Smart Contracts, o1js, Typescript, AMM, Multisig
3Jane: Morpho BlueReportAug 20253JaneSoliditySmart Contracts, Solidity, Lending, ERC4626
Hot Dao: Hot BridgeReportJul 2025HOT DaoRustSmart Contracts, Relayer/Off-Chain backend Service, NEAR, Soroban, Rust, Bridge
Navi: Volo VaultReportMay 2025NaviSui MoveSmart Contracts, Sui Move, Vault
RISC Zero: Kailua ProtocolReportMay 2025Risc ZeroRust, SoliditySmart Contracts, zkVM Application, Solidity, Risc0, Rust, OP-Stack Dispute Game, Optimism, Alloy, risc0
Untangled Finance: Untangled VaultReportMay 2025Untangled FinanceRust, TypescriptSmart Contracts, Relayer/Off-Chain Backend Service, Soroban, Rust, Typescript, Price Oracle, Vault
AlephZero: Common Yield AggregatorReportMay 2025Cardinal CryptographySoliditySmart Contracts, Solidity, Vault, OpenZeppelin
Fluent: Bridge ContractsReportMay 2025Fluent LabsSoliditySmart Contracts, Solidity, Blockchain, ZK Rollup, OpenZeppelin, SP1
Sygma Labs: Sprinter Liquidity PoolReportMar 2025Sygma LabsSoliditySmart Contracts, Solidity, Cross-Chain, Vault
Lombard: LBTC Solana ProgramReportMar 2025Lombard FinanceRustSmart Contracts, Solana, Rust, Liquid Staking, Corss-Chain
RiscZero: BoundlessReportMar 2025Risc ZeroSolidity, RustSmart Contracts, zkVM Applications, Risc0, Solidity, Rust, Library/Infrastructure
Mina: NFT StandardReportMar 2025Mina FoundationTypescriptSmart Contracts, ZK Circuits, o1js, Typescript, ERC721
Sygma Labs: Sprinter Liquidity MiningReportFeb 2025Sygma LabsSoliditySmart Contracts, Solidity, Staking
Inception: InceptionLRTReportFeb 2025InceptionLRTSoliditySmart Contracts, Solidity, Restaking, Vault
vlayerReportFeb 2025vlayerSolidity, RustSmart Contracts, Solidity, ZK Circuits, zkVM Application
PotLock: GrantPicksReportJan 2025PotLockRustSmart Contracts, Soroban, Rust
Malda: zk-coprocessorReportJan 2025MaldaRustSmart Contracts, Solidity, ZK Circuits, zkVM Application
Malda: LendingReportJan 2025MaldaSoliditySmart Contracts, Solidity, ZK Circuits, zkVM Application
Token Disbursement ProgramDec 2024Demox LabsLeoSmart Contracts, ZK Circuits, Aleo
Zenith Protocols: OrbitCDPReportDec 2024OrbitRustSmart Contracts, Soroban, Lending
Lumina: Lumina DexReportDec 2024Lumina LabsTypescriptSmart Contracts, ZK Circuits, o1js, Token / ERC20
Catalyst: Bitcoin Prism & Cross CatsReport1, Report2Oct 2024Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain, Light Client
Panther: Panther ProtocolReportSep 2024Panther ProtocolCircom, SolidityZK Circuits, Smart Contracts, Circom, Solidity, Shielded Pools, circomlib
DeFi84Sep 2024Sygma LabsSoliditySmart Contracts, Solidity, Substrate, Bridge, Cross-Chain
ZK #27Sep 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Rewards / Distribution
RiscZero: Blobstream ZeroReportSep 2024Risc ZeroRust,SolidityRelayer/Off-Chain Backend Service, Smart Contracts, zkVM Application, Risc0
RiscZero: risc0-solanaReportSep 2024Risc ZeroRustSmart 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
Demox Labs: Pondo ProtocolReportJul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Liquid Staking, Price Oracle
Smoo.th: Smooth Crypto LibraryReportJul 2024Smoo.thSoliditySmart Contracts, Solidity, Library/Infrastructure
Multi-Token Support ProgramReportJul 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Token / ERC20
57Blocks: Stellar Timelock ContractReportJul 202457blocksRustSmart Contracts, Soroban, Library/Infrastructure
Arianee Full Privacy ExtensionReport1, Report2Jul 2024ArianeeCircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity, Identity, NFT Marketplace
DeFi #80Jul 2024SoliditySmart Contracts, Gnark, Solidity, zkVM
DeFi #79Jul 2024Good EntrySoliditySmart 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 2024Lombard FinanceSoliditySmart Contracts, Solidity, Bridge, Cross-Chain, Liquid Staking
DeFi #76Jun 2024Generative LabsSoliditySmart Contracts, Solidity, AMM
DeFi #75Jun 2024Manta NetworkSoliditySmart Contracts, Solidity, Vault
Decentralized Oracle IntegrationReportJun 2024NaviSui MoveSmart Contracts, Sui Move, Price Oracle
DeFi #73May 2024SoliditySmart Contracts, Solidity, NFT Marketplace
Arbitrum Constructor ContractReportMay 2024onthisSoliditySmart Contracts, Solidity, Rewards / Distribution, Token / ERC20
DeFi #72May 2024Manta NetworkSoliditySmart Contracts, Solidity, Cross-Chain
DeFi #71May 2024Manta NetworkSoliditySmart 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 2024Ginger Joy GamesSoliditySmart Contracts, Solidity, Games, Rewards / Distribution
3Jane: 3JANE-EETH-X-CReportApr 20243JaneSoliditySmart Contracts, Solidity, Vault
Lydia Labs: HiYieldReportApr 2024Lydia LabsRustSmart Contracts, Soroban, Lending
Ankr: BNB Liquid StakingReportApr 2024AnkrSoliditySmart Contracts, Solidity, Liquid Staking
Leo Wallet: Aleo StakingReportApr 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Staking
Inception: bridgeReportApr 2024InceptionLRTSoliditySmart Contracts, Solidity, Bridge, Cross-Chain
DeFi #54Mar 2024SoliditySmart Contracts, Solidity, Rewards / Distribution, Staking
O(1) Labs: o1jsReportMar 2024o1LabsTypescriptSmart Contracts, ZK Circuits, o1js, Library/Infrastructure
Edgeless Network ContractsReportMar 2024Satori FinanceSoliditySmart Contracts, Solidity, Cross-Chain, Liquid Staking, Staking
DeFi #52Mar 2024Sui MoveSmart Contracts, Sui Move, Lending
Range Protocol: Vault Updates and Vertex VaultReport1, Report2Mar 2024Range ProtocolSoliditySmart Contracts, Solidity, Liquid Staking, Vault
Cata Labs: Generalised Incentives TimeoutReportMar 2024Cata LabsSoliditySmart Contracts, Solidity, Cross-Chain
DeFi #50Feb 2024AnkrSoliditySmart Contracts, Solidity, Payments
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
ZK #9Feb 2024Panther ProtocolSoliditySmart Contracts, ZK Circuits, Circom, Solidity, KYC, Shielded Pools
DeFi #55Feb 2024RustRelayer/Off-Chain Backend Service, Smart Contracts, AWS, Solidity, Soroban, ethers, Bridge, Cross-Chain
DeFi #47Jan 2024SoliditySmart Contracts, Solidity, NFT Marketplace
TIE Finance: WBTC Lending StrategyReportJan 2024TIE FinanceSoliditySmart 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 2024Manta NetworkSoliditySmart Contracts, Solidity, Rewards / Distribution
Ribbon: Aevo GovernanceReportJan 2024Ribbon FinanceSoliditySmart Contracts, Solidity, Staking, Token / ERC20
Cata Labs: Generalised Incentives and UnderwritingReport1, Report2Jan 2024Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain
DeFi #41Jan 2024Manta NetworkSoliditySmart 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 2023GenesisLRTSoliditySmart 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 2023Meow Protocol SoliditySmart Contracts, Solidity, Lending
DeFi #40ReportNov 2023Mesosphere LtdSoliditySmart Contracts, Solidity
DeFi #29Nov 2023DappLabsSoliditySmart Contracts, Solidity, Transaction Execution
Tie Finance: Eth Leverage On AAVEReportNov 2023TIE FinanceSoliditySmart Contracts, Solidity, Vault
Daimo WebauthnReportNov 2023Daimo PaySoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
GoodEntry geV2ReportOct 2023Good EntrySoliditySmart Contracts, Solidity, Options, Vault
Atem NetworkReportOct 2023Atem NetworkSoliditySmart Contracts, Solidity, Vesting
Tomo V2ReportOct 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Rewards / Distribution
Ribbon: Aevo Hybrid sDAIReportOct 2023Ribbon FinanceSoliditySmart Contracts, Solidity, Options, Vault
Aperture FinanceReportSep 2023Aperture FinanceSoliditySmart Contracts, Solidity
DeFi #20Sep 2023RustSmart Contracts, Solana
Ribbon: Aevo ExchangeReportSep 2023Ribbon FinanceSoliditySmart Contracts, Solidity, Options
Daimo P256VerifierReport1, Report2Sep 2023Daimo PaySoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
Range Vault Manager Contracts Range GHO VaultReport1, Report2Sep 2023Range ProtocolSoliditySmart Contracts, Solidity, Vault
DeFi #16Aug 2023SoliditySmart Contracts, Solidity
DeFi #22Aug 2023SoliditySmart Contracts, Solidity, Games
Cog FinanceReportJul 2023Cog FinanceVyperSmart Contracts, Vyper, AMM, Yields
Gamma Protocol | UnwindingReportJul 2023Ribbon FinanceSoliditySmart Contracts, Solidity, Yields
DeFi #18ReportJul 2023VersaSoliditySmart Contracts, Solidity, Account Abstraction / ERC 4337
DeFi #23Jul 2023SoliditySmart Contracts, Solidity, NFT Marketplace
Puffer: RAVeReportJul 2023Puffer FinanceSoliditySmart Contracts, Solidity, Library/Infrastructure
L-TokenReportJun 2023Mesosphere LtdSoliditySmart Contracts, Solidity, Token / ERC20
DeFi #24Jun 2023SoliditySmart Contracts, Solidity, Bridge, Token / ERC20
ANKR Sui Liquid StakingReportJun 2023AnkrSui MoveSmart Contracts, Sui Move, Staking
VersaJun 2023SoliditySmart Contracts, Solidity
Davos #2ReportMay 2023Sikka TechnologySoliditySmart Contracts, Solidity
AlloyX #3May 2023AlloyXSoliditySmart Contracts, Solidity
Shib Original Vision LockerReportMay 2023Mesosphere LtdSoliditySmart Contracts, Solidity
Prime Protocol #3ReportMay 2023Prime ProtocolSoliditySmart Contracts, Solidity, Cross-Chain, Stablecoin
DeFi #25May 2023SoliditySmart Contracts, Solidity, NFT Marketplace
DeFi #19May 2023Manta NetworkRustSmart Contracts, Solidity, NFT Marketplace
Rate Limiting NullifierReportMay 2023Ethereum PSECircom,SoliditySmart Contracts, ZK Circuits, Circom, Solidity
DeFi #15Apr 2023SoliditySmart Contracts, Solidity, AMM
Satori: DwBizReportApr 2023Satori FinanceSoliditySmart 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
Gamma ProtocolReportMar 2023Ribbon FinanceSoliditySmart Contracts, Solidity, Options
Prime Protocol #2ReportMar 2023Prime ProtocolSoliditySmart Contracts, Solidity, Cross-Chain, Stablecoin, Staking
Cata Labs CatalystReportFeb 2023Cata LabsSoliditySmart Contracts, Solidity, AMM, Cross-Chain
PoolsharkReportFeb 2023PoolsharkSoliditySmart Contracts, Solidity, AMM
ANKR Token StakingReportFeb 2023AnkrSoliditySmart Contracts, Solidity, Staking
ANKR BNB Token StakingReportJan 2023AnkrSoliditySmart Contracts, Solidity, Staking
TonicReportJan 2023Tonic FoundationRustSmart Contracts, NEAR, Orderbook
AlloyX #2Jan 2023AlloyXSoliditySmart Contracts, Solidity, Staking, Yields
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
Dogechain #3Oct 2022DogechainSoliditySmart Contracts, Solidity, Library/Infrastructure
Prime Protocol #1ReportAug 2022Prime ProtocolSoliditySmart Contracts, Solidity, Cross-Chain, Lending
Davos #1Aug 2022Sikka TechnologySoliditySmart Contracts, Solidity, Rewards / Distribution, Stablecoin
MakerDAOReportAug 2022MakerDAOCairoSmart Contracts, ZK Circuits, Cairo, Stablecoin
Ribbon EarnReportJul 2022Ribbon FinanceSoliditySmart 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 2022DogechainGo,SolidityBlockchain Implementation, Smart Contracts, Solidity

Secure your DeFi protocol
with industry experts

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

DeFi audits

Considering an audit?
Contact us today!

Contact Us

Contact us for a security audit quote

Secure an earlier audit slot by reaching out early.

 

* mandatory fields