The Ethereum Foundation has awarded a strategic grant to Certora to advance zkEVM security in collaboration with Powdr Labs. The initiative focuses on the verification of “Autoprecompiles,” optimized zero-knowledge (ZK) circuit components designed to drastically improve computational performance. Certora CEO Seth Hallem stated that the project is fundamental to ensuring the network’s most advanced scalability infrastructure has rigorous mathematical validation at its core.
Certora is formally verifying @powdr_labs autoprecompiles, supported by a grant from @ethereumfndn.
All specs + proofs will be open-sourced for the ZK ecosystem š«” https://t.co/TiDeLgI4SZ
— Certora (@Certora) February 5, 2026
The implementation of these components allows the current execution model to be replaced by a ZK-enabled alternative, which means higher speed, increased security, and a decrease in gas costs. By automatically inferring low-level components, the zkEVM can efficiently process complex cryptographic operations.
As part of the agreement, Certora will open-source its specifications and verification frameworks, allowing Rollup developers and ZK protocol researchers to utilize this infrastructure. The next step will be to monitor the integration of these tools into Ethereumās various execution layers. The market will be watching how these automated verification techniques reduce manual errors and accelerate the mass adoption of Layer 2 solutions based on zero-knowledge technology.
Source:https://x.com/Certora/status/2019441186339962915
Disclaimer: Crypto Economy Flash News is prepared from official and public sources verified by our editorial team. Its purpose is to provide rapid information on relevant events in the crypto and blockchain ecosystem. This information does not constitute financial advice or investment recommendations. We recommend always verifying the official channels of each project before making related decisions.
