Ethereum istraživači ubrzano smanjuju 52-bitni jaz u zkEVM sigurnosti

zkEVM sigurnost: Natjecanje better.codes trenutno pokazuje razliku od 52.14 bita između verifikovanog lower certifikata (63.99 bitova) i upper certifikata napada (116.13 bitova) za fiksni profil koalaIRS12; Ethereum Foundation traži 128-bitnu sistemsku sigurnost i ≤300 KiB dokaza do početka decembra 2026.

Stanje zkEVM sigurnosti na leaderboardu

zkEVM sigurnost: Natjecanje better.codes trenutno pokazuje 63.99-bitni lower certificate i 116.13-bitni upper certificate za fiksni parametarski profil koalaIRS12, ostavljajući otvoren interval od 52.14 bita između provjerenih i osporenih tvrdnji. (kucoin.com)

Better.codes je javni, machine-checked izazov koji dozvoljava istraživačima da podižu "lower" certifikat (soundness track) ili spuste "upper" certifikat (attack track). Svaka prihvaćena (promoted) objava uključuje formalno provjerenu Lean dokaznu nit i pomjera mjerljivu granicu na tom parametru; snapshot koji se citira datira iz 21. avgusta (vremenska oznaka leaderboard-a 15:44:47 UTC). (blog.ethereum.org)

Koliko je do cilja i šta treba još uraditi

Ethereum Foundation je u okviru sigurnosnog sprinta formalizovala M3 cilj: provjerljiva 128-bitna sistemska sigurnost za proizvodni zkEVM, krajnja veličina dokaza ≤300 KiB i formalna arhitektonska argumentacija za rekurziju — rok je pomjeren na početak decembra 2026 radi revizije i pregleda. Te zahtjeve jasno je iznijela Fondacija u ažuriranjima o sigurnosti i u predstavljanju better.codes inicijative. (zkevm.ethereum.foundation)

Za koalaIRS12, podizanje lower certifikata na 128 bitova bi zatvorilo soundness stranu ovog konkretnog parametarskog punkt-a, ali proizvodna tvrdnja zahtijeva više: konsolidaciju sigurnosnog računa kroz sve relevantne komponente zkEVM stoga što single-point certifikat ne znači automatski end-to-end sigurnost. Treba dokumentovati kako se pojedinačne provjerljive granice komponuju, potvrditi da implementacije prate formalne specifikacije, i dokazati da konačni sistem ostaje unutar limita veličine dokaza (≤300 KiB) dok podržava rekurziju. (zkevm.ethereum.foundation)

Istraživačka i akademska pozadina

KoalaIRS12 potiče iz rada o Reed–Solomon proximity problemima i Proximity Prize linije istraživanja; pitanja poput list-decodinga, proximity gap-ova i korelisanih dogovora ostaju relevantna za sigurnost hash-baziranih SNARK-ova i objašnjavaju zašto formalni lower/upper certifikati odstupaju od pune sistemske sigurnosti. Akademski radovi i raniji tehnički doprinosi objasnili su zašto su ovi problemi centralni za FRI/RS redukcije korištene u modernim proof-sistemima. (usenix.org)

Better.codes kao format (autoresearch, machine-checked leaderboard) objedinjava formalne dokaze i reproducibilnost: nove lemma-e, tehike i negativni rezultati upstream-aju se u repo, što omogućava drugim timovima da grade na radu promovisanim kroz izazov. To je razlog zašto EF vidi better.codes kao koristan instrument u putu prema provjerljivoj zkEVM sigurnosti. (blog.ethereum.org)

Povezano: Ethereum odlaže Glamsterdam do kraja 2026. i žuri da sačuva Hegotá za 2027.