Kuten luvattiin: huomaa, että jotkin dokumenttien osiot ovat vielä rakenteilla (paljon päivitettävää Twist/Shout-päivityksen 🥵 jälkeen)

kun Joltilla on lopulta Groth16-kääre, aion tehdä Kielletyn Kalimotxon

sumcheck ja Kurosawa: hatara yhteys

Tavalliset kasteet eivät ole idempotentteja, joten kirkon oli luotava sävellysturvallinen monadinen kaste

1/ Jolt osoittautuu nyt 1 MHz:n 🚨taajuudella suorittimella🚨. Viimeisten kuuden kuukauden aikana olemme hioneet lähes täydellistä uudelleenkirjoitusta integroidaksemme Twist & Shoutin, muistia tarkistavat argumentit, jotka @srinathtv ja @succinctJT julkaisivat aiemmin tänä vuonna. Tänään olemme innoissamme voidessamme julkistaa työmme 👇 hedelmät

1/ Jolt sai juuri 6× nopeutuksen. Todistamme nyt yli 1 000 000 RISC-V-sykliä sekunnissa 32-ytimisellä suorittimella ja yli 500 000 sykliä sekunnissa MacBookilla, noin 50 kt:n todisteilla. Tässä on uusia 🧵 ominaisuuksia

POV: katsot htopia ajaessasi Joltia

<something>-<jotain muuta> codesign, niin kuumaa juuri nyt

Suuria (mutta kapea-alaisia) asioita, jotka tapahtuvat "D multilineaarien tuote" -ryhmäkeskustelussa

Jolt on DAG; Selitän myöhemmin