Private 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
How to read these private smart contract audits
Every row here is a scheduled smart contract audit, delivered to one client on a date they chose, newest first.
A report marked private is not an omission. Most clients do not publish, the ones who do are linked, and the engagement is listed either way - a record that showed only the publishable half would not be a record. A firm name beside a protocol means the work was delivered through that firm.
- 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.