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 Isil Dillig

Isil Dillig

13 min read
Picture of Isil Dillig

Isil Dillig

13 min read

DeFi Protocols audits

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
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
DeFi84Sep 2024Sygma LabsSoliditySmart Contracts, Solidity, Substrate, Bridge, Cross-Chain
ZK #27Sep 2024Demox LabsLeoSmart Contracts, ZK Circuits, Leo, Rewards / Distribution
ZK #26Sep 2024Rust,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
ZK #19Jul 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
DeFi #62Apr 2024SoliditySmart 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