Zaklada Ethereum ulaže 'milijune' u ovu novu tehnologiju

Zaklada Ethereum Foundation (EF) najavila je značajnu financijsku obvezu, ulažući “desetke milijuna” dolara u unapređenje virtualnih strojeva bez znanja (zkVM), vrhunske tehnologije koja je spremna poboljšati skalabilnost i sigurnost unutar Ethereum ekosustava.

Justin Ðrake, istraživač u Zakladi Ethereum, otkrio je ulaganje putem objave na X: “EF ulaže desetke milijuna u zkVM-ove: verified-zkevm.org—zkRISC-V formalna verifikacija poseidon-initiative.info—Poseidon cryptanalysis ethproofs .org—L2beat za zkVM, uskoro™ Pošaljite mi DM o doprinosu zkVM-u javna dobra :)”

Zaklada Ethereum ulaže milijune u istraživanje zkEVM-a

Kamen temeljac ove investicije je zkEVM formalni projekt verifikacije, detaljno opisan na verified-zkevm.org. Ova inicijativa ima za cilj primijeniti formalne metode verifikacije na zkEVM-ove, osiguravajući njihovu pouzdanost i sigurnost. Prema pregledu projekta, EF nastoji postići “zkEVM-ove bez grešaka” raspodjelom potpora i nagrada tijekom razdoblja od 18 do 24 mjeseca kroz više faza.

“Projekt će podići svijest o formalnim metodama verifikacije koje se primjenjuju na zkEVM-ove, dokumentirati njihovu primjenu i povećati njihovu upotrebu”, navodi se u pregledu projekta. Dodatno, cilj mu je poboljšati koordinaciju među različitim timovima unutar ekosustava, razviti alate i standarde za održavanje i proširivost te istražiti bolju integraciju formalnih metoda verifikacije u procese razvoja i održavanja softvera.
Opseg projekta ograničen je na RISC-V zkVM-ove koji mogu pokretati EVM kompajliran na RISC-V, stvarajući tako zkEVM. Strukturiran je u tri primarna kolosijeka:

RISC-V zkVM zapis: Fokusira se na provjeru ispravne implementacije RISC-V CPU-a, aritmetizacije i sklopova. Naglašava da sklopovi nisu ni premalo ni previše ograničeni te da su izračuni točni. Formalna provjera predkompilacija je također uključena.

EVM zapis: Cilj je pokazati da se EVM koji radi na RISC-V pridržava EVM specifikacije. Kandidati za verifikaciju moraju predstaviti učinkovite i kompajbilne EVM implementacije na RISC-V zkVM, kao što je revm/Reth.

Kriptografski zapis: Nastoji provjeriti specifikacije, sigurnosne dokaze i implementacije kriptografskih primitiva i protokola koje koriste zkVM-ovi, fokusirajući se na integracije FRI-a i Circle STARK-a.

Projekt naglašava fleksibilnost u pristupima za povećanje stručnosti zajednice i olakšavanje usporedbe različitih metodologija. “Podržat ćemo različite pristupe gdje je to moguće kako bismo imali koristi od različitih stručnih znanja unutar zajednice”, ističe se u projektu, dodajući da se uspješnim metodologijama može dati prioritet u sljedećim fazama.

Trenutno su otvorene prijave za Stage 1, koji se fokusira na uspostavljanje okvira koji se mogu održavati i proširivati. Prijedlozi moraju sadržavati detaljne preglede, tehničke pristupe, planove upravljanja projektima i informacije o timu.

Druga značajna komponenta ulaganja EF-a je Poseidon Initiative, kao što je opisano na poseidon-initiative.info. Poseidon i Poseidon2 su hash funkcije optimizirane za računske protokole koji se mogu provjeriti, posebno dizajnirane za minimiziranje veličine sklopa preko primarnih polja. Ove hash funkcije sastavni su dio raznih Ethereum aplikacija koje koriste dokaze bez znanja.

Inicijativa ima za cilj poboljšati sigurnosnu analizu instanci Poseidon, određujući njihovu prikladnost za aplikacije visoke vrijednosti unutar Ethereuma. Faza 1 projekta traje do prosinca 2025., a faza 2 predviđena je za sredinu 2025. i završava u prosincu 2026. Projektom upravlja Ethereum Foundation Poseidon Group (EFPG), koja se sastoji od stručnjaka kao što su George Kadianakis, Dmitry Khovratovich i Antonio Sanso, a nadzire ga savjetodavni odbor koji uključuje značajne osobe poput Eli Ben-Sassona iz StarkNeta i Daira-Emma Hopwood iz ZCasha.

Ključna značajka Poseidon Initiative je njen sveobuhvatni program nagrada, koji nudi ukupno 130.000 dolara u nagradama za napredak u kriptoanalizi. Nagrade su dostupne za različite sigurnosne razine u različitim Poseidon instancama, potičući istraživače da otkriju ranjivosti ili potvrde sigurnosne pretpostavke. Na primjer, rješavanje napada 32-bitne predslike na Poseidon-256 moglo bi istraživaču zaraditi 10.000 dolara, dok više sigurnosne razine nude do 15.000 dolara.

Osim toga, inicijativa podržava radionice, povlačenja i škole usmjerene na kriptoanalizu Poseidon, potičući suradnju i dijeljenje znanja unutar kriptografske zajednice. Kratkoročne potpore u rasponu od 20.000 do 40.000 USD također su dostupne za istraživanja koja se bave kritičnim sigurnosnim pitanjima vezanim uz varijante Poseidon, napade na bazi Groebnera i vektore nealgebarskih napada.

Dok je ethproofs.org još uvijek u razvoju, očekuje se da će služiti kao platforma za L2beat integracije za zkVM-ove, dodatno poboljšavajući transparentnost i odgovornost u zkVM performansama i sigurnosnim metrikama.

U vrijeme tiska, ETH se trgovao po 3590 dolara.