According to the Ethereum Foundation, Certora will apply its security expertise to validate zero-knowledge precompiles from Powdr Labs, advancing verification methods for Ethereum’s zkEVM system.
On Feb. 5, Web3 security firm Certora announced receiving an undisclosed grant from the Ethereum Foundation to verify automated precompiles designed by Powdr Labs for the zkEVM project. The grant will support cryptographic checks of these zero-knowledge computation optimizations, aiming to boost reliability and efficiency. Certora will make its verification tools open source, enhancing transparency within Ethereum’s evolving zero-knowledge ecosystem.