Adevar Labs

Adevar Labs, Blockchain security firm; Smart contract audits, formal verification, custom fuzzing, infrastructure and operational security, and incident response for Solidity, Rust, and Move teams on Solana, Ethereum, Sui, Aptos and more.