Lungsod ng New York, New York, Pebrero 5, 2026, Chainwire
Ang Certora, ang full-stack security assurance platform na pinagkakatiwalaan ng mga pinaka-advanced na team sa Web3, ay ginawaran ng research grant mula sa Ethereum Foundation upang beripikahin ang tamang pagkakagawa ng autoprecompiles. Ang mga autoprecompiles ay isang mahalagang optimization sa ZK computation na binuo ng Powdr Labs para sa inisyatiba ng Ethereum Foundation na zkEVM.
Ang zkEVM ay magbubukas ng malaking optimization sa scalability ng Ethereum network sa pamamagitan ng pagpapalit ng kasalukuyang execution model para sa smart contracts ng isang optimized at ZK-enabled na alternatibo. Ang pagtiyak ng tamang operasyon ng execution engine ng zkEVM ay napakahalaga sa tagumpay ng inisyatibong ito.
Ang mga autoprecompiles ay awtomatikong naihahayag, mababang-level na ZK circuit components na muling ginagamit upang i-optimize ang performance at payagan ang mas mabilis na cryptographic at arithmetic operations sa zkEVM. Ang optimization na ito ay mahalaga sa paggawa ng isang performant na zkEVM, at sa pamamagitan ng grant na ito, ang Certora at Powdr Labs ay nagtatambalan upang gumawa ng mga bagong verification techniques upang matiyak ang tama ng teknik na ito ng optimization.
Ang zkEVM ay pundasyon ng isang zero-knowledge na hinaharap para sa EVM, na may mas mababang gas, mas mabilis, mas ligtas, at napakalaking scalability. Ang layunin ay lumikha ng isang mas episyenteng modelo na makikinabang ang buong ekosistema.
“Ginagawang posible ng autoprecompiles ang execution layer ng zkEVM, ngunit pinapalakas din nito ang importansya ng pagberipika sa tamang operasyon ng buong toolchain,” sabi ni Seth Hallem, CEO ng Certora. “Nagpapasalamat kami sa Ethereum Foundation sa pagsuporta sa gawaing ito, na nagdadala ng mathematical verification sa mismong pundasyon ng ZK computation. Ang expertise ng Certora sa ZK at ang aming kolaborasyon sa Powdr Labs ay tutulong upang matiyak na ang teknik na ito ng optimization ay gaganap ng mahalagang papel sa zkEVM toolchain nang hindi isinusuong ang kaligtasan o katumpakan.”
Ibubukas ng Certora ang kanilang mga specifications, proofs, at verification frameworks na mabubuo sa inisyatibong ito, na mag-aambag ng reusable infrastructure para sa lahat ng implementasyon ng zkEVM, rollup builder, at mga mananaliksik ng ZK protocol.
“Ang mga precompiles ay naging susi sa performance ng zkEVM, at ang mga autoprecompiles ay makakapagpalawak pa nito sa pamamagitan ng awtomatikong pagberipika ng mga optimization habang sila ay nabubuo,” sabi ni Alexander Hicks, Researcher sa Ethereum Foundation. “Mapapababa rin natin ang pangangailangang beripikahin ang manual precompiles at sana ay makabuo ng mga pangkalahatang kapaki-pakinabang na verification techniques na magagamit din sa ibang use case.”
Tungkol sa Certora
Ang Certora ay kasangga sa seguridad na pinagkakatiwalaan ng mga pinaka-advanced na team sa Web3. Itinatag noong 2018 ng mga pioneer sa programming languages at formal methods, tinutulungan ng Certora ang mga nangungunang protocol gaya ng Lido, Aave, Uniswap, at Compound na maprotektahan ang bilyon-bilyong halaga nang may kumpiyansa.
Tungkol sa Ethereum Foundation
Ang Ethereum Foundation ay isang non-profit na nakatuon sa pagsuporta sa Ethereum at mga kaugnay na teknolohiya. Sa pamamagitan ng mga grant at research initiatives, isinusulong ng EF ang open-source development ng decentralized infrastructure.
Tungkol sa Powdr Labs
Ang Powdr Labs ay gumagawa ng compiler technology para sa episyenteng zero-knowledge proofs ng high-level programs. Sa pamamagitan ng pag-specialize sa compilation at optimization pipelines, nilalapit ng Powdr ang performance ng custom ZK circuits at zkVMs, nang hindi isinusuong ang usability.
