COMPILER AUDITS

Compiler audits from a team that loves compilers

We’re partnered with Vyper to audit their compiler and develop differential fuzzing infrastructure. We’ve also reviewed the Move compiler rewrite on behalf of Aptos.

$36.82B+ On-chain TVL secured$1.00B+ Vulnerabilities patched120+ Projects audited

HOW WE AUDIT

Steps from our auditing process

  1. 01

    Info gathering

    We’ll send an MNDA and look at repositories within scope to understand the details of your project and requests.

  2. 02

    Kickoff

    We’ll begin the audit, share findings as they emerge, and ask questions as needed.

  3. 03

    Report delivery

    At completion, we will send you a report with our findings and suggestions for fixes.

OUR COMPILER WORK

Compiler work across Vyper, Move, Solana, and Solidity

  • Partnered with Vyper to audit their compiler and develop differential fuzzing infrastructure.
  • Reviewed the Move compiler rewrite on behalf of Aptos.
  • Discovered vulnerabilities in Solana’s LLVM backend and solc.
  • GET SECURED

    Get your compiler audited by a team that loves compilers

    We work with leading teams across multiple blockchains to provide a holistic and collaborative approach to security.

    Get in touch