1/ Bài viết mới: Jolt hiện đang chứng minh các chương trình RISC-V với các thanh ghi 64-bit (RV64IMAC), với tốc độ vượt quá những gì chúng tôi đã báo cáo trước đó cho 32-bit. 1,5 triệu chu kỳ/giây trên CPU 32 lõi, 500k chu kỳ/giây trên MacBook. Đây là lý do tại sao điều này quan trọng 🧵

2/ Tại sao lại quan tâm đến việc chứng minh 64-bit? Hai lý do: 🔹 Hiệu suất: nhiều ứng dụng cần ít chu kỳ hơn với các thanh ghi 64-bit. Ví dụ: một phép nhân 256-bit mất ít hơn 6 lần chu kỳ. 🔹 Hỗ trợ ngôn ngữ: một số ngôn ngữ (như Go) không biên dịch sang RV32, vì vậy RV64 là cần thiết để chứng minh các chương trình như Geth

3/ Vậy Jolt đã đạt được tốc độ RV64 tương đương với kết quả RV32 của chúng ta như thế nào? Có hai lý do: 1️⃣ Jolt được xây dựng cho các thanh ghi lớn. Các zkVM khác chia giá trị 64-bit thành các byte (8 phần tử trường cho mỗi giá trị), một chi phí lớn. Các trường đặc trưng lớn của Jolt xử lý chúng trực tiếp.

4/ Kết quả là, khi các zkVM khác đăng ký kích thước gấp đôi, chúng thường chậm hơn 2× mỗi chu kỳ. Jolt chỉ chậm hơn 1.5×.

5/ 2️⃣ Chúng tôi tiếp tục tối ưu hóa. Bên cạnh các kỹ thuật đã biết, chúng tôi đã thêm những tiến bộ mới ở cấp độ nghiên cứu. Những cải tiến này đã bù đắp hơn cho sự chậm lại 1.5×, vì vậy việc chạy RV64 hiện tại nhanh hơn so với RV32 cách đây hai tháng.

6/ Sử dụng bộ nhớ cũng tiếp tục giảm, hiện tại khoảng ~700 MB cho mỗi triệu chu kỳ. Hôm nay, trong <2 GB, bạn có thể chứng minh kiến thức về nhiều chữ ký số hoặc rằng hàng chục KB dữ liệu đã được băm SHA một cách chính xác.

7/ Với Twist & Shout được tích hợp, chúng tôi đang trên một nhịp độ cột mốc ổn định. Tiếp theo: – Đệ quy – Prover streaming (giữ không gian prover dưới 2 GB cho số vòng lặp lớn tùy ý, không có đệ quy) – Bằng chứng không kiến thức