Мы создаем графовую zkVM на основе системы @ziskvm. Наша цель: переосмыслить архитектуру доказателя с нуля, чтобы обеспечить лучшую производительность, портативность и безопасность. 🧵

Доказательство ZKP вступает в эру «скорости в первую очередь». Почти каждый доказатель теперь поддерживает ускорение с помощью GPU (CUDA, Metal и т.д.). Но архитектура, стоящая за аппаратным разгрузкой, имеет такое же значение, как и сырое оборудование.

Сегодня существует два основных подхода: - Режим HAL: те же вызовы функций, разные аппаратные платформы. - Режим графа: кодирование всего процесса доказательства в виде вычислительного графа, затем оптимизация и компиляция для каждой платформы.

Разделение очевидно: - Системы ИИ → Графовый режим - Большинство ZKP-продуктов → Режим HAL (по историческим причинам, ориентированным на ЦП) HAL удобен, но скрывает глобальную структуру вычислений.

Режим графа делает весь процесс доказательства явным и подлежащим проверке, что позволяет углубленную оптимизацию, кроссплатформенное выполнение и повышенную безопасность и аудируемость. В следующем посте мы поделимся тем, как этот дизайн формирует нашу основанную на графах zkVM и что он открывает. ⚡️