Profile picture for Certora

Certora

@certora
Industry-leading formal verification tools & smart contract audits for DeFi protocols.
Joined August 2024
8Hosted
22Attended