WHAT WE AUDIT
Solana work from runtime to protocol
We work with leading teams across multiple blockchains to provide a holistic and collaborative approach to security.
Core and runtime reports
Public reports include Solana Core v1.10 to v1.11, Solana Runtime Syscalls, and Solana Runtime Nonce Bug and Loss of Consensus.
Novel verification framework
We’ve built out our own tooling and developed a novel verification framework for Solana.
Fuzzing work
Our fuzzing work includes novel differential transactional fuzzers for Solana validators and rBPF JIT fuzzers.
Ecosystem protocols
Our audits include Marginfi, Parcl, Jupiter, Mayan, Jito, Ellipsis Phoenix, Raydium, Tensor, Squads, Kamino, GooseFX, and Pyth.