Certora is eager to contribute to the security and robustness of the digital and financial infrastructure being built. We believe our unique expertise offers a valuable perspective to the Security Council. Our extensive Web3 experience, coupled with the Web2 expertise of our researchers, enables us to offer comprehensive and cutting-edge insights.
About Certora
Certora specializes in advanced security solutions, combining auditing governance review and formal verification, utilizing our core open-source product, the Certora Prover. Formal verification is a method to mathematically prove code correctness, providing the highest assurance for smart contracts. We have a proven track record of preventing significant vulnerabilities in leading protocols before deployment and have identified critical bugs in compilers like Solidity and LLVM. We also participate in the governance review process of key players in this space including Aave and Uniswap.
Leveraging our deep expertise in Web3 security, Certora also incorporates valuable skills from the Web2 security landscape, allowing us to identify and address a broader spectrum of potential threats.
Our commitment to security is validated by our industry-leading customer base, which includes prominent protocols such as Aave, Uniswap, EigenLayer, Symbiotics, GMX, Lido, Silo and more. These organizations trust Certora to ensure the integrity and safety of their critical infrastructure. Over 70,000 Prover rules were written (50% by external researchers and Solidity developers) to prevent bugs before deployment.
Furthermore, Certora’s recent transition to open source signifies our commitment to transparency and community collaboration. By making our technology accessible to all, we aim to foster a more secure and resilient Web3 ecosystem.
Certora’s Representative
Elad, Certora’s VP of Code Security representing us in this candidacy, brings over two decades of experience from the Israeli Prime Ministers Office primarily focused on threat management and risk assessment within the Web2 domain. This seasoned perspective, combined with Certora’s team’s deep knowledge in both Web3 and Web2 security, makes us a uniquely qualified candidate to contribute meaningfully to the Security Council.
We are passionate about ensuring the safety and reliability of the ecosystem and believe Certora’s expertise and open approach make us a strong and valuable addition to the Security Council.