All audits
Private engagements 42
- CH
Chainpotwith Certora
Staking
Findings: -
Private 
Liquid Collectivewith Certora
Staking
Findings: -
Private
Lido - CSM v3 (Community Staking Module)with Certora
Staking
Findings: -
Private
Ether.fiwith Certora
Restaking
Findings: -
Private
Kaminowith Certora
Yield
Findings: -
Private
Safewith Certora
Account Abstraction
Findings: -
Private
EigenLayerwith Certora
Restaking
Findings: -
Private
Re - Reinsurancewith Certora
Insurance
Findings: -
Private
EigenLayerwith Certora
Tooling
Findings: -
Private
Compoundwith Certora
Governance
Findings: -
Private
Re - Reinsurancewith Certora
Insurance
Findings: -
Private
Irys (programmable data-service L1)with Certora
Infrastructure
Findings: -
Private- FD
Fire Digitalwith Certora
Stablecoin
Findings: -
Private - SN
Sky - Nova PSMwith Certora
Stablecoin
Findings: -
Private 
Tether (USDT0)with Certora
Cross-chain
Findings: -
Private
Liquid Collective - TVSwith Certora
Staking
Findings: -
Private
Liquid Collective - SMS-Litewith Certora
Staking
Findings: -
Private
Ironblocks Venn re-auditwith Certora
Security tooling
Findings: -
Private
Ironblocks Vennwith Certora
Security tooling
Findings: -
Private
Raydiumwith Certora
DEX
Findings: -
Private
Siloed Pinto
Vault
Findings: 1M3L2i

DAOS.FUN
DAO, Fundraising
Findings: -
Private
SIR-Trading
Leveraged Trading
Findings: 3H2M2L

Scale Bnb
Tokenomics
Findings: 1M2L3i

Wassabi - SVMwith Sherlock
Leveraged Trading
Findings: 6H10M

Wassabi - EVMwith Sherlock
Leveraged Trading
Findings: 8M

JuiceBox - V4
DAO, Fundraising
Findings: 11H20M

Scale
Tokenomics
Findings: 2H1M7L6i

Eden
Auction, Staking
Findings: 2M1L

Element369
NFT, Token Distribution
Findings: 2H2M2L1i
- VY
Vyper
Auction
Findings: 2M4L4i
- LO
Lotus
Auction, Staking
Findings: 2H4M3L8i

Element280
Auction, Tokenomics
Findings: 1C1H2M3L13i

Convergence
Staking
Findings: 2M5L7i

Volt
Auction
Findings: 1H7L1i
- FL
Flux
Auction, Staking
Findings: 1C3M10L4i

Inferno
Tokenomics
Findings: 4M4L6i

Sablier V2 Mitigation
Token Distribution
Findings: 1M2L1i

Blaze
GameFi, Staking
Findings: 1C2H4M10L9i
- TC
Trotel Coin V2
GameFi, Staking
Findings: 1C1H3M10L1i
- TC
Trotel Coin V1
GameFi, Staking
Findings: 4C1H1M1L
- LE
Lambdalf ERC Ethereum Contracts
NFT
Findings: 1H3M2L
Public competitions 39

Rain
Findings: -
Private
Summer-fi
Cross-chain, Governance
Findings: 2M

Allbridge
Cross-chain, Yield
Findings: 2M

Dodo - Cross chain
Cross-chain, DEX
Findings: 3H7M

Stealth
Cross-chain, Governance
Findings: 1M
Private- CI
C4 Invitational
Token, Yield
Findings: 2H1M
Private 
Ulti Invitational
Token
Findings: 3H2M
Private
Basin Mitigation
DEX
Findings: 1M

Sentiment V2
Lending
Findings: 1H8M

Basin
DEX
Findings: 1H2M

Chainlink CCIP
Cross-chain
Findings: 1M4L
Private
Palmera
Account Abstraction
Findings: 2M

Inverter
Token Infrastructure
Findings: 7M6L

Sablier
Token Distribution
Findings: 4M

Gamma
Staking
Findings: 1M

Aave
Lending
Findings: 1L

Sophon
Staking
Findings: 2H1M

Optimism
Account Abstraction
Findings: 2M

Ion
Lending
Findings: 1M

Convergence
Staking, Yield
Findings: 1M1L

Posseum
Yield
Findings: 1H1L

Venus
Cross-chain, Governance
Findings: 1M

Dyad
Stablecoin
Findings: 5H5M

Teller
Lending
Findings: 10H6M

Goat Finance
SocialFi
Findings: 6H5M

Decent
Cross-chain
Findings: 3H1M
- RP
Revolution Protocol
DAO, Auction
Findings: 4M

Ethereum Credit Guild
Lending, Auction
Findings: 1M

Kelp DAO - rsETH
Restaking
Findings: 2H1M

The Wildcat Protocol
Lending
Findings: 2H2M

PartyDAO
DAO, NFT
Findings: 4M

Venus Prime
Staking
Findings: 1H

Centrifuge
Lending, RWA
Findings: 1M

Allo V2
Grants
Findings: 3M

Cooler Update
Lending
Findings: 1H1M

Sparkn
Escrow
Findings: 1M1L

Beedle
Lending
Findings: 4H4M
- EC
Escrow Contract
Escrow
Findings: 1M
- FD
Foundry DeFi Stablecoin
Stablecoin
Findings: 1M
How to read this smart contract audit record
Two kinds of work sit in one record. A private smart contract audit is a scheduled review of your code by a named senior auditor who signs the report. A public contest opens the same code to hundreds of researchers competing for a prize pool, and the result is published by the platform rather than by us.
Every row is dated and every published report is linked. A row carrying another firm's name beside the protocol was delivered through that firm; a row with no byline is ours end to end.
- C
- Critical. Funds or control at direct risk.
- H
- High. Exploitable, with material loss.
- M
- Medium. Real impact, narrower conditions.
- L
- Low. Minor or hard to reach.
- i
- Informational. Hardening, no live risk.
- Report
- The published report, linked. 55 of them are public.
- Private
- Reviewed and reported to the client, never published.