Altcoins News
By Maheen Hernandez
1 / 15
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…
2 / 15
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.
3 / 15
Seth Hallem, Certora's CEO, knows what's at stake here. "Autoprecompiles are vital but demand rigorous verification," he said.
4 / 15
Certora won't keep its findings secret. The company plans to release all research openly - specifications, proofs, verification frameworks, the whole package.
5 / 15
Alexander Hicks from the Ethereum Foundation thinks autoprecompiles can seriously boost zkEVM performance.
6 / 15
The grant amount? Nobody's talking numbers.
7 / 15
Certora started in 2018 and has worked with major Web3 teams like Lido and Uniswap on security audits.
8 / 15
The collaboration between Certora and Powdr Labs could push zero-knowledge computation into new territory.
9 / 15
Certora's reputation in Web3 security made this grant pretty logical. Since 2018, the company secured protocols handling billions in assets.
10 / 15
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…
11 / 15
The financial details stay secret though. No funding amounts, no project timeline, no specific deliverables mentioned publicly.
12 / 15
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.
13 / 15
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.
14 / 15
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…
15 / 15
February 5, 2026 marked a pivotal moment in zero-knowledge computation when this partnership got announced.
The Currency Analytics
Want the full story?