1/ Postingan baru: Jolt sekarang membuktikan program RISC-V dengan register 64-bit (RV64IMAC), pada kecepatan melebihi yang kami laporkan sebelumnya untuk 32-bit. 1,5 juta siklus/detik pada CPU 32-core, 500 ribu siklus/detik pada MacBook. Inilah mengapa ini penting 🧵

2/ Mengapa peduli dengan pembuktian 64-bit? Dua alasan: 🔹 Kinerja: banyak aplikasi membutuhkan lebih sedikit siklus dengan regulasi 64-bit. Contoh: perkalian 256-bit membutuhkan 6× siklus lebih sedikit. 🔹 Dukungan bahasa: beberapa bahasa (seperti Go) tidak dikompilasi ke RV32, jadi RV64 diperlukan untuk membuktikan program seperti Geth

3/ Jadi bagaimana Jolt mencapai kecepatan RV64 yang sesuai dengan hasil RV32 kami? Dua alasan: 1️⃣ Jolt dibuat untuk register besar. ZkVM lain membagi nilai 64-bit menjadi byte (8 elemen bidang per nilai), overhead yang sangat besar. Bidang karakteristik besar Jolt menanganinya secara langsung.

4/ Akibatnya, ketika zkVM lain menggandakan ukuran register, seringkali 2× lebih lambat per siklus. Jolt hanya 1,5× lebih lambat.

5/ 2️⃣ Kami terus mengoptimalkan. Di samping teknik yang diketahui, kami telah menambahkan kemajuan baru tingkat penelitian. Keuntungan ini sudah lebih dari mengimbangi perlambatan 1,5×, sehingga RV64 terbukti sekarang berjalan lebih cepat daripada RV32 dua bulan lalu.

6/ Penggunaan memori terus turun juga, sekarang pada ~700 MB per juta siklus. Saat ini, dalam <2 GB, Anda dapat membuktikan pengetahuan tentang banyak tanda tangan digital atau bahwa lusinan KB data di-hash SHA dengan benar.

7/ Dengan Twist & Shout terintegrasi, kami berada pada irama tonggak sejarah yang stabil. Selanjutnya: –Rekursi – Pembuktian streaming (pertahankan ruang pembuktian di bawah 2 GB untuk jumlah siklus besar secara sewenang-wenang, tanpa rekursi) – Pengetahuan nol