Candidate Profile

To contribute to the development of safe digital and financial infrastructure built on Arbitrum.

We believe that our expertise in formal verification gives us a unique and valuable voice on the Security Council.

We are experts in smart contract formal verification. Formal verification is the discipline of mathematically proving code to be correct, and is the most rigorous form of security testing for pre-deployed code.

We have formally verified the EVM bytecode of a wide variety of applications for whom security is paramount. We would like to see as many contracts as possible formally verified for the sake of safety in the ecosystem.

https://www.certora.com/

MakerDAO, AAVE, Lido, Euler, Ajna, Gnosis Safe, Tether, Balancer, Silo, among others.