Community Trust ScoreVerified
Certora got funding. The Web3 security firm just scored a research grant from the Ethereum Foundation to verify autoprecompiles, which are pretty much the backbone of Ethereum’s upcoming zkEVM project.
The zkEVM wants to make Ethereum way faster and cheaper by using zero-knowledge proofs for smart contracts. Gas fees should drop, transactions speed up, and security gets better. But here’s the thing – making sure this zkEVM actually works right is absolutely critical. One bug could mess up billions in transactions. Powdr Labs built these autoprecompiles that optimize ZK circuit components for faster crypto operations. Now Certora has to check if they actually work properly.
Not exactly simple work.
Seth Hallem, Certora’s CEO, knows what’s at stake here. “Autoprecompiles are vital but demand rigorous verification,” he said. The partnership with Powdr Labs aims to keep safety standards high while pushing performance forward. Hallem didn’t specify how long verification will take or what specific bugs they’re hunting for.
Certora won’t keep its findings secret. The company plans to release all research openly – specifications, proofs, verification frameworks, the whole package. This move could help other teams building zkEVM implementations avoid the same pitfalls. And there’s probably going to be plenty of pitfalls in zero-knowledge computation.
Alexander Hicks from the Ethereum Foundation thinks autoprecompiles can seriously boost zkEVM performance. “Our goal is to automate and verify optimizations, reducing manual checks,” Hicks said. Manual verification takes forever and misses things that formal methods catch.
The grant amount? Nobody’s talking numbers.
Certora started in 2018 and has worked with major Web3 teams like Lido and Uniswap on security audits. The Ethereum Foundation hands out grants to support open-source blockchain infrastructure. Powdr Labs focuses specifically on zero-knowledge proof technology and compiler work. All three organizations declined to share more details about the partnership’s financial terms or timeline.
The collaboration between Certora and Powdr Labs could push zero-knowledge computation into new territory. Autoprecompiles basically streamline the zkEVM’s execution layer, and Certora’s formal verification expertise should make the whole system more robust. This fits with the Ethereum Foundation’s bigger plan to make blockchain scalability actually work at scale. The Foundation has been throwing money at scalability research for years now, with mixed results.
Certora’s reputation in Web3 security made this grant pretty logical. Since 2018, the company secured protocols handling billions in assets. Their role here shows the Ethereum Foundation trusts them with critical infrastructure verification. But formal verification is hard – it’s basically mathematical proof that code does what it’s supposed to do, nothing more, nothing less.
Powdr Labs brings compiler technology expertise that’s crucial for this project. The lab develops efficient zero-knowledge proofs and bridges high-level programs with ZK computation. Their work with Certora might set new industry standards for how ZK protocols get built and verified. Compiler optimization in the ZK space is still pretty experimental.
The financial details stay secret though. No funding amounts, no project timeline, no specific deliverables mentioned publicly. This leaves room for speculation about how big this project really is and what impact it’ll have on Ethereum’s ecosystem. Could be a small research grant or a massive multi-year initiative.
Certora’s decision to open-source verification frameworks is smart strategy. Making these tools public lets rollup builders and ZK researchers contribute to shared knowledge pools. This approach speeds up development and gets more eyes on potential problems. Community-driven verification efforts tend to catch bugs that internal teams miss.
Hicks from the Ethereum Foundation sees autoprecompiles transforming the entire zkEVM landscape. He wants verification techniques that work beyond just this specific zkEVM implementation. The Foundation’s research team thinks broadly applicable methods will benefit the whole ecosystem. That’s ambitious but necessary given how many different zkEVM projects are in development.
Powdr Labs specializes in bridging custom ZK circuits with zkVMs while keeping things usable. Performance improvements that break developer experience don’t really help anyone. Working with Certora should refine their optimization pipelines and make the zkEVM execution model more reliable overall. But ZK compiler technology is still evolving fast.
The undisclosed grant terms highlight how strategic this collaboration is. Industry analysts can only guess at the project’s scale and broader implications for Ethereum scalability. The lack of financial transparency suggests the partners care more about technological breakthroughs than publicity around funding amounts.
February 5, 2026 marked a pivotal moment in zero-knowledge computation when this partnership got announced. The Ethereum Foundation believes robust verification techniques are essential for zkEVM success. Given how much money flows through Ethereum daily, they’re probably right to be cautious about security.
Certora plans broader community engagement as work progresses. Workshops and conferences will share findings and gather feedback on new verification frameworks. This collaborative approach could establish benchmarks for future ZK proof innovations. The zero-knowledge computation field needs more standardized verification methods.
The project’s full scope remains unclear without detailed financial disclosure. While exact funding stays unspecified, the strategic partnership shows mutual commitment to advancing blockchain technology through serious research and development work.
The zkEVM race has intensified significantly over the past year. Polygon, Scroll, and StarkWare are all pushing competing implementations, each claiming superior performance metrics. Market pressure from these rivals makes Ethereum’s own zkEVM development increasingly urgent – especially since Layer 2 solutions are capturing more transaction volume daily.
Formal verification in blockchain remains notoriously expensive and time-consuming. A single smart contract audit can cost $50,000 to $200,000, while zkEVM verification involves exponentially more complexity. Previous high-profile failures like the Ronin bridge hack ($625 million) and Wormhole exploit ($320 million) demonstrate why the Ethereum Foundation prioritizes rigorous security checks over speed-to-market considerations.
