sanntidsbevisende spørsmål og svar :) Hva er det? ELI12. A: En hær av nerder har nettopp løst et sci-fi-problem: å bevise hver Ethereum-hovednettblokk i sanntid. Disse zk-bevisene er eksponentielt billigere å verifisere enn å utføre transaksjoner på nytt – bare noen få millisekunder, uansett hvilken gass som brukes. Thicc-blokker, bittesmå validatorer. Desentralisering maxis gled deg. Var ikke sanntid umulig månematematikk? A: Det var det. For fem år siden var vi fem størrelsesordener unna. Men teknologien fortsatte å forsterkes 10 ganger i året, og nå er vi her. Ikke falme eksponentialer. Også på eksponentialer: → ikke falme kvantedatamaskiner som bryter ECDSA → ikke falme halveringer som bryter Bitcoin-sikkerheten Hvordan blir Ethereum L1 en "basert og native rollup"? A: La oss bryte det ned. → basert: L1-forslagsstillere bestiller transaksjoner. Ethereum L1 er basislaget – det er tautologisk basert. → innfødt: L1 utfører transaksjoner via den nedfelte EVM-tilstandsovergangsfunksjonen. Per definisjon er Ethereum L1 innfødt. Vil alltid være det. → beregnet verdi: En beregnet verdi har data på kjeden og kjøring utenfor kjeden. Ved å snarre mainnet-EVM-blokker blir Ethereum L1 til en zk-rollup. Rollups låser opp store gassgrenser. Basen er allerede på 35 megagass/sek – 20x Ethereum L1. Basen sikter mot 1 gigagaer/sek, Ethereum L1 kan også komme dit. Wen gigagas L1? A: Ethproofs call #3 vil være dedikert til gigagas L1 – følg med. Med EIP-9698 foreslår Dankrad ~3x/år gassstøt, eller ~10x hvert 2. Det er 1,000 ganger på 6 år. Respektabel – men fortsatt nybegynnertall. Min optimistiske oppfatning? Nå som zkVM-er samsvarer med EVM-ytelsesgrenser, kan gassgasser spore zkVM-forbedringer. Hvis vi fortsetter å nå 10x/år, er det 1 gigagaer/sek på 3 år. Jeg jobbet med Dankrad i over et tiår – virkeligheten lander vanligvis mellom hans forsiktighet og mitt hopium. Er ikke zkVM buggy? Hva med formell verifisering? Svar: Formell verifisering er sluttspillet – ikke trinn én. Den kortsiktige strategien: zkVM-mangfold. Ved slutten av Q2 vil en håndfull zkVM-er treffe sanntidsbevis. Akkurat som CL- og EL-klienter, antas enhver individuell klient å være buggy. Sikkerhet kommer fra mangfold. Kan bevis med lav latens skalere til gigagaer? Svar: Ja. SNARK-beviser er massivt parallelliserbare. Bare den første x86-utførelsen og chunkingen er sekvensiell. EIP-7825 foreslår å begrense den maksimale mengden gass som brukes per transaksjon. Dette gjør det enkelt å dele opp transaksjonsgrenser. Parallellisme skalerer. Ventetiden forblir lav. Hva er den neste zkVM-flaskehalsen? Kraft. Troverdig 1-av-n-beviser liveness betyr at hjemmebevising bør være tilgjengelig for entusiaster. Et rimelig mål kan være 10 kW eller mindre per prøveklynge. Hvordan øker vi gassgrensen 1,000 ganger på et budsjett på 10 kW? → programvare: Bevissystemer, kretser, algoer fortsetter å blande → maskinvare: Moores lov + SNARK ASIC-er → distribuert bevis: spre belastningen, tillitsløst