[Isang GPU ang nagpatotoo sa 7,200 na ethereum block. Ngunit ang pagsubok sa totoong kalagayan ay iba.] Ang @zksync ay nagpatotoo sa 7,200 na sunod-sunod na ethereum mainnet block gamit ang isang GPU. Ang 99% sa kanila ay natapos sa loob ng 10 segundo, at lahat ng block ay natapos sa loob ng 12 segundo. Gayunpaman, ayon sa real-time proofing metrics ng EthProofs na suportado ng @ethereum Foundation, sa mga 8 na prover na pinagsusuri, dalawa lang ang nakapasa sa kanilang pinakabagong weekly eligibility criteria. Hindi direktang ma-compare ang dalawang resulta dahil iba-iba ang target at kapaligiran. Kundi kaya, ang pagkakaiba ay nagpapakita ng susunod na hamon ng ZK teknolohiya. Maikling buod: - Ang Airbender Prime ay nagpatunay na posible na tugunan ang ~12-segundo block generation cycle ng ethereum gamit ang isang GPU. - Sa totoong operasyon, hindi lang ang bilis ng proof kundi pati na rin ang uptime, proof failure, at hardware requirements ang kailangang isaalang-alang. - Sa mahabang panahon, mas mahalaga ang accuracy verification, proof cost sa pinakamalubhang kaso, at stable operational capability kaysa sa bilis ng proof generation para matukoy ang kompetensya ng zkEVM. Ang Airbender Prime na inilabas ni ZKsync noong Oktubre 13 ay nagpatotoo sa 7,200 na sunod-sunod na ethereum mainnet block gamit ang isang NVIDIA RTX PRO 6000 Blackwell GPU. Dahil gumagawa ang ethereum ng block tuwing ~12 segundo, ang 7,200 ay katumbas ng halos 24 oras na block. Ang kahalagahan ay nasa pagproseso ng 99% ng mga block sa loob ng 10 segundo, kabilang ang oras para maghanda ng input data (witness). Kung mas mabilis ang paggawa ng proof kaysa sa pagkakalikha ng bagong block, maaaring i-verify ng verifier ang resulta ng transaksyon gamit ang kriptograpikong proof nang hindi kailangang i-reexecute ang lahat ng transaksyon. Ito ay nagbubukas ng posibilidad na bawasan ang computation power na kailangan para i-verify. Ngunit ang performance test sa 7,200 block at ang patuloy na pagbibigay ng proof sa totoong operasyonal na kapaligiran ay dalawang magkaibang bagay. Ang EthProofs ay nagmamasid at naglalabas ng publikong data tungkol sa performance at operational status ng iba’t ibang sistema na nagpapatotoo sa ethereum blocks sa real-time. Noong Oktubre 26, ang dashboard ay nagpapakita ng mga sumusunod: - 8 na prover na pinagsusuri, 2 lang ang nakapasa sa pinakabagong weekly eligibility criteria - 69.7% success rate sa pagproso ng proof sa loob ng 10 segundo batay sa total block slots - 26.2% na itinuturing na offline Ang mga numero na ito ay hindi resulta ng Airbender Prime’s single-GPU test. Ito ay aggregation mula sa maraming prover, at may iba’t ibang hardware, execution environment, at eligibility criteria. Ngunit ipinapakita nito na upang gamitin ang proof sa tunay na network, kailangan mong matiyak ang operational reliability, hindi lang ang individual performance record. Kahit may average 5-segundo proof generation time ang isang prover, kung madalas itong tumigil o hindi makapagproso ng ilang block, mahirap magkaroon ng stable verification structure na nakadepende lamay sa isang sistema. Kailangan mong suriin kung may iba pang implementation na makakapagbigay ng proof kapag may prover na bumagsak, at kung maaari itong harapin ang pagkakaroon ng patuloy na mahirap na block nang hindi magkakaroon ng cumulative delay. Kailangan din ng pagsusuri sa hardware requirements. Ang GPU guide sa open repository ni Airbender ay nagsasabi na kailangan ang GPU para sa basic at recursive proof stages, at CPU kasama ang ~150GB RAM para sa final proof stage. Hindi pa napapatunayan kung pareho ang execution configuration nito sa pinakabagong Prime benchmark. Kaya hindi maaaring i-conclude mula sa resulta ng “isang GPU” ang kabuuang memory requirement o operational cost ng buong sistema. Noong Oktubre 15, si @VitalikButerin ay inaapresyahan ang performance ng Airbender team at binigay ang tatlong susunod na hamon para sa zkEVM: Una: Matiyak na matematikal na tama at sumusunod sa actual execution spec ng Ethereum ang computation gamit sa proof. Pangalawa: Itakda ang isang mahigpit na upper bound sa cost ng proof batay sa gas usage ng block. Pangatlo: I-verify ang cryptographic security mismo ng proof system. Ang pangalawang kondisyon ay direktang kaugnay sa operational cost. Ano kung mayroong isang tao na may pagsisikap na gumawa ng isang block na may computation na sobrang mahirap i-proof kahit nasa loob pa rin ito ng pinahihintulutang gas limit? Maaaring tama at maayos ang pagpapatakbo ng block — pero sobrang maraming computation at oras ang kailangan para i-proof ito. Kung posible ito, anuman man ang average proof time per block, hindi maaaring masukat nang maayos ang maximum load na maaaring harapin nang matatag ng network. Ang ekonomiya ng real-time proofing ay nakadepende hindi lamay sa average proof cost per block kundi pati na rin kung gaano karaming resources ang kailangan sa pinakamalubhang kaso. Ang roadmap ni EthProofs ay patuloy na umaabot dito.Nakumpleto na ang kasalukuyang yugto ng pagpapabuti ng performance, at nasa pagpapasa na ang yugto ng pagsusuri sa seguridad. Susunod ay nakaplanong i-integrate nang direkta ang proof-of-delay, proof-of-obligation, at proof sa protokol. Mahalaga ang pagkakasunod-sunod na ito dahil iba ang paggawa ng isang mabilis na sistema ng proof at ang paggawa ng Ethereum na maniwala sa proof na iyon sa proseso ng pagkakasundo. Ang pagpapahayag ni Airbender Prime ay nagbigay ng malakas na ebidensya na maaaring mabawasan ang hardware load ng real-time proof. Ang susunod na tagumpay ay hindi maaaring masukat lamang sa mas mabilis na record. Mahalaga kung gaano katagal matitigil ang mataas na rate ng pagkakamit ng proof sa tunay na operasyonal na kapaligiran, kung limitado ang gastos sa proof sa pinakamalala mong block, at kung ang iba’t ibang implementasyon ay makakapagpatotoo nang tama sa parehong resulta ng Ethereum execution. Ang teknolohiya ng ZK proof ay papasok na sa yugto kung saan ito ay nagsisilbing infrastraktura na maaaring tiyakin ng network, mula sa yugto kung saan ito ay nagpapakita ng mabilis na computation. #Ethereum #zkEVM