Certora Awarded Ethereum Foundation Grant to Help Create a ZK Future for EVM
Certora, the full-stack security assurance platform trusted by the most advanced teams in Web3, has been awarded a research grant from the Ethereum Foundation to verify the correctness of autoprecompiles. Autoprecompiles are a key optimization in ZK computation developed by Powdr Labs for the Ethereum Foundation’s zkEVM initiative. The zkEVM will unlock a massive optimization in scalability of the Ethereum network by replacing the current execution model for smart contracts