Company
Ecosystem
The chains we audit on and the tooling we use. We invest in deep expertise across the ecosystems that matter most to our clients.
Supported Chains
Ethereum
Arbitrum
Optimism
Base
Polygon
Solana
CosmWasm
Tooling We Use
Foundry / Forge
Our primary testing and PoC framework. All proofs-of-concept are delivered as reproducible Forge tests.
Slither / Aderyn
Static analysis tools we augment with custom detection rules for DeFi-specific vulnerability patterns.
Certora Prover
Formal verification tool we use to mathematically prove safety properties for high-value contracts.
OpenZeppelin Contracts
We audit against the latest OZ library versions and recommend battle-tested implementations where applicable.
Interested in partnering?
We are always exploring new partnerships that strengthen ecosystem security.
Get in Touch