1/ Yeni gönderi: Jolt artık 64 bit kayıtlara (RV64IMAC) sahip RISC-V programlarını daha önce 32 bit için bildirdiğimiz hızları aşan hızlarda kanıtlıyor. 32 çekirdekli CPU'da 1,5 milyon döngü/sn, MacBook'ta 500 bin döngü/sn. İşte bunun neden önemli 🧵 olduğu

2/ 64 bit kanıtlamayı neden önemsiyorsunuz? İki sebep: 🔹 Performans: Birçok uygulama, 64 bit reg'lerle daha az döngüye ihtiyaç duyar. Örnek: 256 bitlik bir çarpma 6× daha az döngü alır. 🔹 Dil desteği: bazı diller (Go gibi) RV32'ye derlenmez, bu nedenle Geth gibi programları kanıtlamak için RV64 gereklidir.

3/ Peki Jolt, RV64 sonuçlarımızla eşleşen RV32 hızlarına nasıl ulaştı? İki sebep: 1️⃣ Jolt, büyük kayıtlar için tasarlanmıştır. Diğer zkVM'ler 64 bit değerleri baytlara (değer başına 8 alan öğesi) böler, bu da çok büyük bir ek yüktür. Jolt'un geniş karakteristik alanları bunları doğrudan ele alır.

4/ Sonuç olarak, diğer zkVM'ler çift kayıt boyutu olduğunda, genellikle döngü başına 2× daha yavaştırlar. Sarsıntı sadece ×1,5 daha yavaştır.

5/ 2️⃣ Optimize etmeye devam ediyoruz. Bilinen tekniklerin yanı sıra, araştırma düzeyinde yeni ilerlemeler ekliyoruz. Bu kazanımlar halihazırda ×1.5'lik yavaşlamayı fazlasıyla telafi etti, dolayısıyla RV64 artık RV32'nin iki ay önce yaptığından daha hızlı çalışıyor.

6/ Bellek kullanımı da düşmeye devam ediyor, şimdi milyon döngü başına ~700 MB. Bugün, <2 GB'ta, birçok dijital imza hakkında bilgi sahibi olduğunuzu veya düzinelerce KB verinin doğru şekilde SHA hash'lendiğini kanıtlayabilirsiniz.

7/ Twist & Shout entegre edildiğinde, istikrarlı bir kilometre taşı temposundayız. Sıradaki: –Özyineleme – Akış kanıtlayıcı (özyineleme olmadan isteğe bağlı olarak büyük döngü sayıları için kanıtlayıcı alanını 2 GB'ın altında tutun) – Sıfır bilgi