1/ Uusi viesti: Jolt todistaa nyt RISC-V-ohjelmia 64-bittisellä rekisterillä (RV64IMAC), nopeuksilla, jotka ylittävät aiemmin raportoimamme 32-bittiset. 1,5 miljoonaa sykliä sekunnissa 32-ytimisellä suorittimella, 500 tuhatta sykliä sekunnissa MacBookilla. Tästä syystä tällä on merkitystä 🧵

2/ Miksi välittää 64-bittisestä todistamisesta? Kaksi syytä: 🔹 Suorituskyky: Monet sovellukset tarvitsevat vähemmän jaksoja 64-bittisellä reg:llä. Esimerkki: 256-bittinen kertolasku kestää 6× vähemmän jaksoja. 🔹 Kielituki: jotkut kielet (kuten Go) eivät käänny RV32:een, joten RV64:ää tarvitaan Gethin kaltaisten ohjelmien todistamiseen

3/ Joten miten Jolt saavutti RV64-nopeudet, jotka vastaavat RV32-tuloksiamme? Kaksi syytä: 1️⃣ Jolt on rakennettu suurille rekistereille. Muut zkVM:t jakavat 64-bittiset arvot tavuiksi (8 kenttäelementtiä arvoa kohti), mikä on valtava yleiskustannus. Joltin suuret ominaiskentät käsittelevät niitä suoraan.

4/ Tämän seurauksena, kun muut zkVM:t kaksinkertaistavat rekisterikoon, ne ovat usein 2× hitaampia sykliä kohden. Jolt on vain 1,5 × hitaampaa.

5/ 2️⃣ Jatkamme optimointia. Tunnettujen tekniikoiden rinnalle olemme lisänneet uusia, tutkimustason edistysaskeleita. Nämä voitot jo enemmän kuin kompensoivat 1,5 × hidastumisen, joten RV64 toimii nyt nopeammin kuin RV32 kaksi kuukautta sitten.

6/ Myös muistin käyttö laskee jatkuvasti, nyt ~700 Mt miljoonaa sykliä kohden. Nykyään <2 Gt:ssa voit todistaa, että tiedät monista digitaalisista allekirjoituksista tai että kymmeniä kilotavuja tietoja on tiivistetty oikein SHA-tiivistettynä.

7/ Kun Twist & Shout on integroitu, olemme tasaisessa virstanpylväässä. Seuraavaksi: –Rekursio – Suoratoistotodistus (pidä näyttötila alle 2 Gt mielivaltaisen suurille jaksomäärille, ilman rekursiota) – Nollatieto