Tinawag ni Vitalik Buterin ang isang mahigpit na hangganan sa mga gastos sa pagpapatotoo ng Ethereum bawat yunit ng block gas. Kinongratulahan ni Buterin ang koponan ng Airbender ng ZKsync sa isang post noong Oktubre 15 at tinukoy ang tatlong prioridad sa formal-verification: pagpapareho ng matematikal na pagkakatawan ng execution sa spesipikasyon ng Ethereum, pagpapalaki ng gastos ng prover kumpara sa block gas, at pagpapalakas ng proof system. Ang gas ay sumasaklaw sa paggawa ng execution at naglalimita sa pagkonsumo ng block resources, ngunit kailangan ng isang makabuluhang hangganan sa pagpapatotoo na kumonekta sa allowance na ito sa mga mapagkukunan ng pagbuo ng proof, kabilang ang mga malinaw na mahirap na workload. Itinakda ng Ethereum Foundation ang isang yugto na nakatuon sa seguridad noong Disyembre 2025.
Ang kasalukuyang pag-aaral ng compute-cost ng EIP-7904 ay nagrerekomenda na walang pagbabago sa compute gas-cost at hindi nagtatakda ng anumang pagbabago sa gas schedule ng Ethereum. Ang EIP-7904 ay isang Informational proposal na nasa Last Call noong Oktubre 18, may deadline noong Nobyembre 1. Ang pag-aaral ng EIP-7904 ay naglalayon sa 100 milyong gas bawat segundo sa optimized native execution clients. Ang EIP-7904 ay nagtatangi sa kanyang pagbabago sa konklusyon sa mga pagpapabuti na pinapagana ng Block-Level Access Lists, kabilang ang parallel work na nagpapabilis sa mga dating problema operasyon. Gayunpaman, ang EIP-7904 ay sumasakop sa execution sa bare CPU at eksplisitong naglalabas sa partikular na pag-uugali sa ZK-SNARK proof generation, na nagdadala ng iba’t ibang workload.
Ibinahayag ng ZKsync noong Oktubre 13 na ang isang NVIDIA RTX PRO 6000 Blackwell ay nagpatotoo sa 99% ng 7,200 magkakasunod na ethereum mainnet blocks sa loob ng higit sa 10 segundo bawat isa, kasama ang paghahanda ng witness. Ibinahayag ng ZKsync na natapos ang bawat sample block sa loob ng higit sa 12 segundo. Ibinahayag din ng ZKsync ang mga hiwalay na live ETHproofs configuration na gumagamit ng dalawa at apat na GPU. Gayunpaman, ang isang maximum-cost guarantee ay dapat maglalakbay sa bawat pinahihintulutang workload sa loob ng mga inilalahad na aksiyon, kabilang ang mga block na sadyang isinasaayos upang maging mahal na patotohanan. Maaaring mag-fit ang isang karaniwang block sa isang maliit na setup, samantalang ang isang mahirap na pinahihintulutang workload ang tumutukoy sa reserve capacity na kailangan ng isang operator upang makapag-produce ng proofs nang on time.
Nakita ni Lin Oshitani ng Nethermind Research sa 27 mga pagsukat noong Enero na ang cryptographic precompiles at ilang modular arithmetic o division operations ay relatif na mahal na patunayan bawat gas. Ipinakita ng mga pagsukat ni Oshitani na nagkakaiba ang gastos batay sa prover at hindi nagiging isang uniform na panahon ng pagpapatunay ang ZK-cycle counts sa iba’t ibang operasyon. Ipinag-estimate ng pag-aaral ang marginal proving time sa pamamagitan ng pagbabago ng bilang ng operasyon habang pinapanatili ang paligid na execution context. Sinubukan ng pag-aaral ang SP1 v5.2.3 kasama ang sp1-cluster at RISC0 v3.0.4, gamit ang reth v1.9.3 at apat na NVIDIA GeForce RTX 4090 GPUs. Gumamit ang RISC0 ng setting na RISC0_KECCAK_PO2=15. Ginamit ng mga pagsukat ang fixed representative o best-effort worst-case inputs, inalis ang block-header validation, at naka-labas nang walang kamalian ang BLOCKHASH. Ang isang buong pag-aaral ng argument-dependent costs ay nananatiling kinabukasan.
Ang January worst-case benchmarking framework ng Ethereum Foundation ay nag-uugnay sa kinakailangang proving throughput sa napiling block gas limit at proving deadline. Kailangan ng framework na magsaklaw ang mahirap na block sa inaasahang hardware at time budget. Nagpapaliwanag ang framework na kailangan ng operation-level estimates ang end-to-end checks dahil ang proof generation ay may fixed overhead, ang aggregation ay maaaring nonlinear, at ang hardware configurations at security parameters ay nakakaapekto sa performance. Mahalaga rin ang set ng execution clients at proof systems na inaasahang makikilahok.
Ang pagpapabuti ng isang mahal na circuit o execution path ay maaaring magbawas sa proving work nang hindi nagbabago sa gas units ng transaction execution, na nagpapahintulot sa operators na gamitin ang mas kaunting mga yaman para sa parehong workload. Ang pag-aaral ni Nethermind ay naglalahad din ng weighted ZK-gas metering na may per-block ceiling na maaaring maglimita sa proof-heavy na operasyon bago maubos ang ordinaryong execution-gas allowance. Ang proteksyon mula sa weighted ZK-gas metering ay magiging nakabatay sa kung gaano karami ang tumpak na pagkuha ng weights sa mga mahirap na input. Ang isang resource cap ay maaaring maglimita sa pinapayagang trabaho nang hindi tumutukoy sa mga bayarin ng application-user o kita ng prover. Ang pagpapautang para sa proving resource ay nangangailangan ng karagdagang desisyon sa disenyo. Ang EIP-7999 ay nananatiling isang Draft na multidimensional fee-market proposal na hihiwalay ang calldata sa sarili nitong yaman.
Ang pagrereprice ng opcode ay magtatadhana ng higit pang gas sa mga mahal na operasyon, na nagpapahintulot sa mas kaunting ganitong operasyon na maipasok sa isang block sa isang fixed gas limit. Ang mga aplikasyon na gumagamit ng mga repriced na operasyon ay maaaring kumain ng higit pang gas para sa parehong matagumpay na pagpapatupad. Ang mekanismo ng bayad sa pagpapatupad ng EIP-1559 ay nagpaparami ng nakakapagbabayad na gas sa epektibong presyo ng gas. Ang isang aplikasyon na nakakapagbabayad ng higit pang gas para sa parehong matagumpay na transaksyon ay magbabayad ng higit pa sa isang hindi nagbabago at positibong epektibong presyo ng gas.
Ang EIP-8025 ay nananatiling Draft na opsyonal na propuesta para sa execution-proof na nagbibigay ng walang insentibo sa prover at nananatili sa re-execution kahit na available ang mga proof. Ang mga prioridad ng Ethereum Foundation noong Setyembre ay naglalagay ng mandatory proofs sa huli, habang ang fork ordering ay nasa pagsusuri. Ang deadline ng pagsusuri noong Nobyembre 1 para sa EIP-7904 ay tumutukoy sa CPU analysis, habang ang independent provers ay kailangan ng isang bound na nakabatay sa mga eksplisitong workload, implementation, security settings, at hardware assumptions. Ang isang ganitong bound ay magiging isang mapagkakatiwalaang limitasyon sa proving resources na dapat handaing ibigay ng isang operator mula sa isang gas allowance.
Ang mga gastos sa pagpapatotoo ng Ethereum ay nakakaharap sa hamon ng hard limit ni Vitalik
CryptoSlateI-share
Summary
Propose ni Vitalik Buterin ang isang hard limit sa mga gastos sa pagpapatotoo ng Ethereum bawat yunit ng block gas upang pagtugmain ang pagbuo ng patotoo sa mga limitasyon ng gas. Ang EIP-7904, na nasa Last Call hanggang Nobyembre 1, ay naglalayong mapabuti ang mga Access List. Ipakita ng ZKsync at Nethermind ang mga pagkakaiba sa gastos at epi-siyensiya gamit ang mga GPU. Binubuo ng Ethereum Foundation ang isang framework para sa benchmarking sa pinakamalala mong mga skenaryo ng pagpapatotoo. Nakakatanggap muli ng atensyon ang mga risk-on assets dahil sa mga CFT measures.
Source:Ipakita ang original
Disclaimer: Ang information sa page na ito ay maaaring nakuha mula sa mga third party at hindi necessary na nagre-reflect sa mga pananaw o opinyon ng KuCoin. Ibinigay ang content na ito para sa mga pangkalahatang informational purpose lang, nang walang anumang representation o warranty ng anumang uri, at hindi rin ito dapat ipakahulugan bilang financial o investment advice. Hindi mananagot ang KuCoin para sa anumang error o omission, o para sa anumang outcome na magreresulta mula sa paggamit ng information na ito.
Maaaring maging risky ang mga investment sa mga digital asset. Pakisuri nang maigi ang mga risk ng isang produkto at ang risk tolerance mo batay sa iyong sariling kalagayang pinansyal. Para sa higit pang information, mag-refer sa aming Terms ng Paggamit at Disclosure ng Risk.