1/ Нова публікація: Jolt тепер доводить програми RISC-V з 64-бітними регістрами (RV64IMAC), зі швидкістю, що перевищує ту, про яку ми раніше повідомляли для 32-біт. 1,5 млн циклів/сек на 32-ядерному процесорі, 500 тисяч циклів/сек на MacBook. Ось чому це важливо 🧵

2. Навіщо дбати про 64-бітне доведення? На це є дві причини: 🔹 Продуктивність: багатьом програмам потрібно менше циклів з 64-бітними регістрами. Приклад: 256-розрядне множення займає на 6× менше циклів. 🔹 Підтримка мов: деякі мови (наприклад, Go) не компілюються в RV32, тому RV64 потрібен для підтвердження таких програм, як Geth

3/ Отже, як Jolt досяг швидкості RV64, яка відповідає нашим результатам RV32? На це є дві причини: 1️⃣ Jolt створений для великих регістрів. Інші zkVM розбивають 64-бітні значення на байти (8 елементів поля на значення), що є величезними накладними витратами. Великі характерні поля Jolt обробляють їх безпосередньо.

4. В результаті, коли інші zkVM подвоюють розмір регістра, вони часто працюють на 2× повільніше за цикл. Поштовх відбувається лише на 1,5× повільніше.

5/ 2️⃣ Ми продовжуємо оптимізацію. Поряд з відомими методами, ми додаємо нові, дослідницького рівня, досягнення. Ці здобутки вже більш ніж компенсували уповільнення на 1,5×, тому RV64 тепер працює швидше, ніж RV32 два місяці тому.

6. Використання пам'яті також продовжує падати, зараз це ~700 МБ на мільйон циклів. Сьогодні в <2 ГБ можна довести знання багатьох цифрових підписів або те, що десятки КБ даних були правильно хешовані SHA.

7/ З інтегрованою функцією Twist & Shout ми знаходимося на стабільному етапному етапі. Далі: –Рекурсія – Потоковий провер (тримайте простір у сховищі менше 2 ГБ для довільно великої кількості циклів, без рекурсії) – Нульове розголошення