Audit Portal

// get started

Explore previous work

Browse our full library of past security audits.

See featured audits, compare ecosystems, and jump straight to published reports before you start a new request.

Explore all audits
Request an audit

Audits by formal methods experts.

Tell us about your project so we can scope your audit and provide a tailored quote. This takes less than 2 minutes.

Step 1 of 3Takes less than 2 minutes!
1

Current step

Project Details

2

Upcoming

Repository Access

3

Upcoming

Contact Info

Project Name *
Project Website
Ecosystem *
How urgent is your audit?
What kind of security are you looking for? *
How did you find us? *
Project Description
Before you request an audit

Audit Readiness Guide

Prepare your project for a successful audit by following our comprehensive 5-step readiness guide. Ensure your codebase, documentation, and team are fully prepared before the audit begins.

Codebase Status
Test Coverage
Documentation
Guide snapshot
5 practical steps before kickoff

A fast checklist for teams who want cleaner handoff, fewer blockers, and a more productive audit window.

View Guide

// previous security audits

A hand-picked set of engagements that highlights the depth of our work across formal verification, design review, code review, and fuzzing.

Selected audits from the AMP archiveSee all audits
Featured audit

Monad

design reviewcode reviewformal verification

Ethereum Compatible L1

MonadJan 2026

Curated from our public audit archive

details
Featured audit

Mithril

fuzzingdesign reviewformal modellingformal verificationcode review

Go-Based Solana Node

SolanaDec 2025

Curated from our public audit archive

details
Featured audit

Espresso Systems

code reviewdesign reviewformal verification

decentralized-rollup-sequencer

EthereumNov 2025

Curated from our public audit archive

details