ZKsync launched Airbender Prime, isang zero-knowledge prover, na nagpatunay ng 7,200 Ethereum blocks sa loob ng mas mababa sa 10 segundo gamit ang isang GPU lang. Tinawag ito ni Ethereum co-founder Vitalik Buterin na decisive milestone at sinabing dapat nang ituon ng zkEVM development ang pansin sa seguridad sa halip na bilis.
What actually happened
Inilunsad ng ZKsync ang Airbender Prime, isang zero-knowledge prover para sa Ethereum, noong 17 Oktubre 2026, ayon sa Wu Blockchain. Sa testing, isang NVIDIA RTX PRO 6000 Blackwell GPU lang ang gumawa ng proofs para sa magkakasunod na 7,200 Ethereum mainnet blocks. 99% ng block proofs ay natapos sa loob ng mas mababa sa 10 segundo, at lahat ng blocks ay na-finish sa loob ng 12 segundo, kasama na ang witness preparation time. Gumagamit ang prover ng open RISC-V standard at hash-based STARK proof technology, na dinisenyo para sa post-quantum security. May kasama itong standalone verifier para sa independent checks. Binati ni Ethereum co-founder Vitalik Buterin ang Airbender team at sinabing naabot na ng race sa zkEVM proof speed ang decisive results. Ayon sa kanya, dapat nang lumipat nang tuluyan ang priyoridad sa seguridad.
How we got here
Ang zero-knowledge proofs ay nagbibigay-daan sa isang rollup na patunayan ang validity ng Ethereum transactions nang hindi na kailangang ulitin ang buong computation, na nagpapababa ng gastos at nagpapabilis ng finality. Sa loob ng mga taon, nagkumpitensya ang mga zkEVM team pangunahin sa proof speed, dahil ang mabagal na proving ay nagpapatagal sa withdrawals at nagpapataas ng gastos. Ang resulta ng Airbender Prime — 99% ng blocks napatunayan sa loob ng 10 segundo gamit lang ang isang consumer-grade GPU — ay isa sa pinakamabilis na public benchmark para sa isang Ethereum-equivalent prover. Binanggit ni Buterin ang tatlong hindi pa nalulutas na gawain para sa formal verification: ang pagkumpirma na eksaktong tugma ang arithmetic ng proof system sa mga protocol rules ng Ethereum, ang pagtakda ng matitibay na cost limits na nakatali sa block gas usage, at ang pagpapatunay na sound ang zero-knowledge system mismo. Dahil dito, ang zkEVM race ay hindi na basta performance contest kundi isa nang security audit problem.
Why this matters for you
Para sa ZKsync, ang mas mabilis na proving ay maaaring magresulta sa mas murang fees at mas mabilis na finality para sa mga gumagamit na gumagamit ng bridge o nagti-trade sa kanilang rollup. Para sa ibang zkEVM teams, nagtakda si Buterin ng bagong bar: hindi na sapat ang raw speed para manalo sa argumento — kailangan na ng formal security guarantees. Posibleng unahin na ngayon ng mga builder na nagtatrabaho sa Ethereum scaling ang audits at mathematical proofs of correctness kaysa sa benchmark races. Dapat bantayan ng mga may-ari ng assets sa zk-rollups kung lilipat ang mga kakumpitensya ng resources patungo sa formal verification, dahil posibleng magpabagal ito sa ilang roadmap pero magpapababa naman ng panganib ng prover bug na magdulot ng pagkawala ng pondo. Sa huli, makikinabang ang mga user sa isang chain na mabilis at ligtas nang sabay.
The bigger question
Kung hindi na proof speed ang magiging desisyon, ano na ang magiging bagong standard para paghiwalayin ang mga magkakaibang zkEVM? Ang formal verification ay makapagkukumpirma na tugma ang isang system sa sarili nitong specification, pero hindi nito magagarantiya na saklaw ng specification na iyon ang bawat tunay na attack sa totoong mundo. Sino ang magdedesisyon kung kailan na sapat na ka-proven ang isang prover para pangalagaan ang bilyun-bilyong halaga ng assets?
What to watch
Wala pang anunsyong petsa ang ZKsync para sa mainnet integration ng Airbender Prime. Bantayan kung paano tutugon ang mga Ethereum core developer sa formal verification roadmap ni Buterin sa mga susunod na linggo. Posibleng maglabas din ang ibang zkEVM projects ng sarili nilang benchmark comparisons habang lumilipat ang focus patungo sa security audits. Susubaybayan ng Bonuz kung paano makakaapekto ang debate na ito sa proving infrastructure na maaaring sa huli ay suportahan ang lightweight, always-on devices tulad ng smart glasses, na umaasa sa mabilis at murang verification sa edge.
