1/ Новый пост: Jolt теперь проверяет программы RISC-V с 64-битными регистрами (RV64IMAC) на скоростях, превышающих те, которые мы ранее сообщали для 32-битных. 1,5M циклов/сек на 32-ядерном ЦП, 500k циклов/сек на MacBook. Вот почему это важно 🧵

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

3/ Как же Jolt достиг скоростей RV64, которые соответствуют нашим результатам RV32? Две причины: 1️⃣ Jolt создан для работы с большими регистрами. Другие zkVM разбивают 64-битные значения на байты (8 полевых элементов на значение), что создает огромные накладные расходы. Поля с большой характеристикой Jolt обрабатывают их напрямую.

4/ В результате, когда другие zkVM удваивают размер регистрации, они часто работают в 2 раза медленнее за цикл. Jolt медленнее только в 1.5 раза.

5/ 2️⃣ Мы продолжаем оптимизировать. Наряду с известными техниками, мы добавили новые, исследовательского уровня достижения. Эти улучшения уже более чем компенсируют замедление в 1.5×, поэтому выполнение RV64 теперь происходит быстрее, чем это было у RV32 два месяца назад.

6/ Использование памяти также продолжает снижаться, сейчас около ~700 МБ на миллион циклов. Сегодня, имея <2 ГБ, вы можете доказать знание многих цифровых подписей или что десятки КБ данных были правильно SHA-хэшированы.

7/ С интеграцией Twist & Shout мы находимся на стабильной милестонной каденции. Следующий этап: – Рекурсия – Стриминговый провайдер (сохранять пространство провайдера менее 2 ГБ для произвольно больших количеств циклов, без рекурсии) – Нулевое знание