1/ 新しい投稿: Jolt は、以前に 32 ビットで報告した速度を超える速度で、64 ビット レジスタ (RV64IMAC) を備えた RISC-V プログラムを証明しました。 32コアCPUで1.5Mサイクル/秒、MacBookで500kサイクル/秒。 これが重要な🧵理由は次のとおりです

2/ なぜ64ビット証明を気にするのですか?2つの理由: 🔹 パフォーマンス: 多くのアプリでは、64 ビットのレギュレーションで必要なサイクルが少なくなります。例: 256 ビットの乗算は 6× サイクル少なくて済みます。 🔹 言語サポート:一部の言語(Goなど)はRV32にコンパイルされないため、Gethなどのプログラムを証明するにはRV64が必要です

3/ では、Jolt はどのようにして RV64 の結果に一致する RV32 の速度に達したのでしょうか?2つの理由: 1️⃣ Jolt は大きなレジスター用に構築されています。 他のzkVMは、64ビット値をバイト(値ごとに8つのフィールド要素)に分割しますが、これは大きなオーバーヘッドです。Joltの大きな特性フィールドは、それらを直接処理します。

4/ その結果、他の zkVM がレジスタ サイズを 2 倍にすると、多くの場合、サイクルあたり 2× 遅くなります。 Jolt は 1.5× 遅くなります。

5/ 2️⃣ 最適化を続けています。既知の技術に加えて、新しい研究レベルの進歩を追加しています。 これらの利益はすでに1.5×の減速を相殺し、RV64は2か月前のRV32よりも速く動作していることが証明されています。

6/ メモリ使用量も減少し続けており、現在は 100 万サイクルあたり ~700 MB です。現在、<2 GB では、多くのデジタル署名の知識、または数十 KB のデータが正しく SHA ハッシュ化されたことを証明できます。

7/ Twist & Shout が統合されたことで、私たちは着実なマイルストーンのリズムをたどっています。 次は: –再帰 –ストリーミング証明者(任意の大きなサイクルカウントのために証明者スペースを2GB未満に保ち、再帰なし) – ゼロ知識