CORE AUDIT DISCIPLINES

Fuzzing is one of our core disciplines

Our work includes differential compiler fuzzers for Vyper, novel differential transactional fuzzers for Solana validators, rBPF JIT fuzzers, and Move VM bytecode fuzzers.

$36.82B+ On-chain TVL secured66% Core-severity findings120+ Projects audited

FUZZERS WE’VE BUILT

Four fuzzing projects

Different systems call for different techniques. We pick the mix that fits yours.

Vyper compiler

Differential compiler fuzzers for Vyper, part of our partnership with Vyper to develop differential fuzzing infrastructure.

Solana validators

Novel differential transactional fuzzers built for Solana validators.

rBPF JIT

rBPF JIT fuzzers, with the resulting issues linked to solana-labs/rbpf pull requests 472 and 474.

Move VM

Move VM bytecode fuzzers that produced over half a dozen crashes.

RESULTS

What our fuzzers have found

  1. Solana validator fuzzers leading to multiple critical denial of service findings.
  2. rBPF JIT fuzzers resulting in multiple denial of service and integrity issues.
  3. Move VM bytecode fuzzers resulting in over half a dozen crashes.

READY TO START

Talk to us about fuzzing your system

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

Get an audit