I dag delte @Xi_195 et innlegg om at en @boundless_xyz beviser leverte et bevis på 101B-syklusstørrelse på én gang, og @Nahoc10 kunngjorde at denne rekorden ble slått med et bevis på 106B-syklus. Men hva betyr egentlig 106B-sykluser i @RiscZero R0VM? Ser vi på referansedatabladet levert av RISC Zero, viser typiske operasjoner nivåer som litt overstiger 2M sykluser. Siden dette viser et enormt gap sammenlignet med tallet 106B, må vi finne et mer sammenlignbart tall. Jeg var i stand til å finne sammenlignbare tall på RISC Zeros blogg. I mai 2024 annonserte de Zeth, en åpen kildekode Ethereum ZK-blokkbeviser. Langs kunngjøringen avslørte de ulike beregninger, og sa at de genererte et bevis på omtrent 190B syklusstørrelse for å bevise 1,541 transaksjoner på tvers av 40 Ethereum-blokker (180 Optimism-blokker). Derfor er 100B-syklusbeviset generert gjennom Boundless denne gangen nesten en størrelse på et bevis for 20 Ethereum-blokker, som kan betraktes som et bevis for en enormt stor beregning (det er kanskje ikke strengt proporsjonalt). I det forrige eksperimentet uttalte de at det tok 1,624 minutter å generere et 190B-syklusbevis, og denne gangen brukte Boundless 727 minutter på å levere 101B-syklusbeviset, noe som viste noe forbedret effektivitet. * Men mens kostnaden for å generere et bevis så stort som 100B sykluser er estimert til rundt $500-600, viser det faktum at bevisprisen ble satt til bare 0,006 ETH på grunn av auksjonskonkurranse en viss avstand fra virkeligheten. Likevel tror jeg dette antyder at bevisere på institusjonelt nivå kan generere tilstrekkelig store bevis gjennom konkurranse på mainnet, noe som innebærer at vi virkelig kan bryte gjennom grensene for beregning på kjeden! Boundless sitt hovednett er ikke langt unna, og det vil være interessant å se korrekturauksjonene og bevisytelsen etter mainnet-lanseringen.
9,33K