A16z выпускает Lattice Jolt, пока Cardano расширяет постквантовые ZK исследования

a16z crypto представила Lattice Jolt, заменив прежнюю схему полиномиальных обязательств Jolt на эллиптических кривых решеточной конструкцией, разработанной для постквантовой безопасности.

Основатель Cardano Charles Hoskinson ответил напрямую на объявление Justin Thaler, написав, «Lol, прощай мои выходные. Отличная работа.» Его реакция прозвучала на фоне того, что Input Output Research продолжает работу над связанными криптографическими примитивами в рамках исследовательской программы Cardano Vision, а также над новой инфраструктурой для верификации доказательств нулевого разглашения на Cardano Layer 1.

Lattice Jolt заменяет свою схему обязательств на эллиптических кривых

Jolt это zkVM с открытым исходным кодом, предназначенный для доказательства выполнения программ RISC-V. Верификатор может проверить компактное криптографическое доказательство вместо повторения полного вычисления.

Предыдущая версия использовала Dory, схему полиномиальных обязательств на основе криптографии на эллиптических кривых. Lattice Jolt заменяет ее на Akita, решеточную схему обязательств, построенную вокруг предположения Module-SIS.

Akita была разработана исследователями LayerZero совместно с исследователями из Carnegie Mellon University, University of Southern California и a16z crypto.

Согласно бенчмаркам a16z, Lattice Jolt обрабатывает более двух миллионов 64 битных циклов RISC-V в секунду на CPU. Процесс построения доказательств и верификация выполняются примерно в два три раза быстрее, чем в прежней версии на кривых, при этом размеры доказательств остаются менее 100 KB.

Его GPU бэкенд на Apple Metal превышает десять миллионов циклов в секунду на оборудовании MacBook, при этом требования по памяти у прувера снижены примерно до 200 байт на цикл.

Исследования Cardano включают решеточные SNARKs

Input Output Research уже включила решеточную криптографию в долгосрочную программу исследований нулевого разглашения Cardano.

Работа охватывает решеточные SNARKs, схемы свертки и полиномиальные обязательства, поддерживается Systematization of Knowledge, изучающей решеточную свертку и связанные конструкции доказательств.

Полиномиальные обязательства являются ключевыми компонентами многих современных систем доказательств. Akita применяет решеточную конструкцию на этом уровне, а IOR изучает схожие криптографические примитивы в рамках своих постквантовых ZK исследований.

Более широкая программа Cardano также охватывает рекурсивные доказательства и техники свертки, предназначенные для сжатия крупных вычислений в лаконичные доказательства. IOR описывает планируемую ZK архитектуру как модульную, что позволяет криптографическим компонентам эволюционировать по мере появления новых конструкций.

Реакция Hoskinson на релиз Lattice Jolt добавляет прямую связь с Cardano к разработке, которая уже ведется в том же исследовательском поле.

Cardano создает инфраструктуру ZK верификации на Layer 1

Работа Cardano в области нулевого разглашения также переходит к инфраструктуре прикладного уровня.

В своем промежуточном обновлении за 2026 год Input Output Research сообщила о новой инфраструктуре ZK верификации для Cardano Layer 1, включая инструменты для доказательств Groth16 и работу по оценке стоимости верификации Halo2 на цепи.

Вторая половина 2026 года включает дальнейшую работу над постквантовой безопасностью, лаконичными доказательствами и ZK роллапами, а также продолжение исследований криптографических примитивов, необходимых для их поддержки.

Lattice Jolt теперь демонстрирует решеточную систему обязательств внутри работающего высокопроизводительного zkVM, с опубликованными результатами по размеру доказательств, использованию памяти и скорости построения доказательств. Собственная программа Cardano продвигается за счет постквантовых исследований и инструментов верификации на Layer 1, а реакция Hoskinson помещает новый релиз Jolt прямо на радар основателя Cardano.