1/ Nový příspěvek: Jolt nyní dokazuje RISC-V programy s 64-bitovými registry (RV64IMAC), a to rychlostmi překračujícími ty, které jsme dříve uváděli pro 32-bitové. 1,5 milionu cyklů/s na 32jádrovém procesoru, 500 tisíc cyklů/s na MacBooku. Zde je důvod, proč je to důležité 🧵

2/ Proč se zajímat o 64-bit proving? Dva důvody: 🔹 Výkon: mnoho aplikací potřebuje méně cyklů s 64bitovými regulacemi. Příklad: 256bitové násobení trvá o 6× méně cyklů. 🔹 Jazyková podpora: některé jazyky (jako Go) se nekompilují do RV32, takže RV64 je potřeba k prokázání programů jako Geth

3/ Jak tedy Jolt dosáhl rychlosti RV64, která odpovídá našim výsledkům RV32? Dva důvody: 1️⃣ Jolt je vytvořen pro velké registry. Jiné zkVMs rozdělují 64bitové hodnoty na bajty (8 prvků pole na hodnotu), což je obrovská režie. Pole s velkými charakteristikami systému Jolt s nimi pracují přímo.

4/ Výsledkem je, že když jiné zkVMs zdvojnásobí velikost registru, jsou často o 2× pomalejší za cyklus. Jolt je jen o 1,5× pomalejší.

5/ 2️⃣ Neustále optimalizujeme. Vedle známých technik přidáváme nové pokroky na úrovni výzkumu. Tyto zisky již více než kompenzovaly zpomalení o 1,5 ×, takže RV64 nyní běží rychleji než RV32 před dvěma měsíci.

6/ Využití paměti také neustále klesá, nyní na ~700 MB na milion cyklů. Na <2 GB dnes můžete dokázat, že víte o mnoha digitálních podpisech nebo že desítky kB dat byly správně SHA-hashovány.

7/ S integrovanou technologií Twist & Shout dosahujeme stabilního tempa milníků. Dále: –Rekurze – Zkušební doba streamování (udržujte prostor pro dokazování pod 2 GB pro libovolně velké počty cyklů, bez rekurze) – Nulové znalosti