What we audit
EVM contracts, Solana programs and ZK circuits. The price is $999 for each.
EVM
Audits of Solidity and Vyper contracts on Ethereum and other EVM chains. $999 per audit.
Solidity, Vyper, Yul and inline assembly, Foundry and Hardhat
Solana
Audits of Solana programs written in Rust, with Anchor or without. $999 per audit.
Rust, Anchor, Native programs, SPL Token and Token-2022
ZK
Audits of ZK circuits, their on-chain verifiers and the contracts that use them. Circom, Noir, Halo2, gnark and Cairo. $999 per audit.
Circom, Noir, Halo2, gnark, Cairo, Solidity verifiers