a16z Crypto запустила две технологии, связанные со SNARK: Lasso и Jolt. Среди них Lasso — новый параметр поиска, который может значительно увеличить стоимость доказывающего; Jolt (Just One Lookup Table) — фреймворк, разработанный для Rollups, совместимый с виртуальной машиной Ethereum, новый способ создания виртуальных машин SNARK с использованием метода Lasso. Lasso и Jolt могут значительно ускорить масштабирование и создание приложений в Web3, и вместе они представляют новый подход к проектированию SNARK, который может повысить производительность широко используемых наборов инструментов на порядок и более. Он также обеспечивает более удобный и удобный интерфейс для разработчиков и упрощает аудит. Lasso и Jolt решают три ключевые проблемы: производительность, удобство для разработчиков и возможность аудита.
Более высокая производительность
Лассо — это новый параметр поиска, где доказывающий обещает все меньше и меньше значений, чем предыдущая работа. Исследовательская группа a16z crypto заявила, что Lasso может значительно улучшить общую скорость пруверов SNARK, по сравнению с такими инструментами, как цепочка инструментов Halo2, производительность может быть улучшена в десять раз, что помогает разрабатывать более быстрые ZK-свертки. Ожидается, что после завершения оптимизации производительность увеличится примерно в 40 раз. Поэтому команда считает, что технология проверки Lasso превзойдет все существующие технологии проверки SNARK с нулевым разглашением, используемые основными решениями масштабирования Ethereum L2.
Jolt реализует «сингулярность поиска» — видение, первоначально предложенное Барри Уайтхэтом из Ethereum Foundation, для создания более простых инструментов и облегченных схем, ориентированных на поиск. Команда ожидает, что Jolt достигнет аналогичной или лучшей производительности по сравнению с существующей zkVM и, что важно, обеспечит более оптимизированный и доступный опыт разработчиков.
Более удобный интерфейс для разработчиков
Lasso обеспечивает более удобный для разработчиков и проверяемый способ внедрения zkVM, чем существующие подходы.
Предыдущие подходы к проектированию SNARK формулировали инструкции ЦП в виде схем и оптимизировали их вручную — низкоуровневая и подверженная ошибкам задача, требующая знания предметно-ориентированного языка. Напротив, разработчики различных языковых экосистем должны иметь возможность относительно легко использовать Lasso.
Это связано с тем, что в Lasso инструкция определяется декомпозицией своей подтаблицы: ее «большая» таблица поиска может состоять из нескольких меньших «подтаблиц». Что еще более важно, такие декомпозиции могут быть кратко описаны на языках программирования высокого уровня. Например, инструкция может быть реализована всего в 50 строках Rust. Кроме того, многие инструкции в разных наборах инструкций концептуально одинаковы, и допускается повторение большого количества кода — например, WASM, EVM и RISC-V задают одни и те же базовые арифметические, побитовые операции и операции сравнения.
Проще просматривать
Способ, которым Lasso упрощает работу разработчика, также упрощает аудит, чем предыдущие методы. Возможность аудита zkVM особенно ценна, поскольку сегодня многие SNARK уже приобрели огромную ценность в блокчейнах. Поскольку Lasso реализует логику инструкций в Rust и поощряет дублирование кода в наборах инструкций, он концентрирует области, подлежащие аудиту, в относительно небольшой и удобочитаемой кодовой базе.
В настоящее время, в дополнение к работе, необходимой для полной реализации Jolt, существует множество задач, находящихся в стадии выполнения или ожидающих завершения другими разработчиками, в том числе:
Внедрение/интеграция различных схем полиномиальных обязательств, таких как многолинейные варианты KZG (PST, Zeromorph и т. д.), Dory, Ligero, Brakedown и Sona.
Реализовать оптимизацию параметров продукта, описанную в разделе 6 документа Quarks.
Более обширный бенчмаркинг и обработка ошибок
Используйте рекурсию SNARK для эффективной проверки доказательств в цепочке.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Lasso and Jolt, новый инструмент доказательства с нулевым разглашением на основе SNARK, запущенный a16z
Феликс, PANews
a16z Crypto запустила две технологии, связанные со SNARK: Lasso и Jolt. Среди них Lasso — новый параметр поиска, который может значительно увеличить стоимость доказывающего; Jolt (Just One Lookup Table) — фреймворк, разработанный для Rollups, совместимый с виртуальной машиной Ethereum, новый способ создания виртуальных машин SNARK с использованием метода Lasso. Lasso и Jolt могут значительно ускорить масштабирование и создание приложений в Web3, и вместе они представляют новый подход к проектированию SNARK, который может повысить производительность широко используемых наборов инструментов на порядок и более. Он также обеспечивает более удобный и удобный интерфейс для разработчиков и упрощает аудит. Lasso и Jolt решают три ключевые проблемы: производительность, удобство для разработчиков и возможность аудита.
Более высокая производительность
Лассо — это новый параметр поиска, где доказывающий обещает все меньше и меньше значений, чем предыдущая работа. Исследовательская группа a16z crypto заявила, что Lasso может значительно улучшить общую скорость пруверов SNARK, по сравнению с такими инструментами, как цепочка инструментов Halo2, производительность может быть улучшена в десять раз, что помогает разрабатывать более быстрые ZK-свертки. Ожидается, что после завершения оптимизации производительность увеличится примерно в 40 раз. Поэтому команда считает, что технология проверки Lasso превзойдет все существующие технологии проверки SNARK с нулевым разглашением, используемые основными решениями масштабирования Ethereum L2.
Jolt реализует «сингулярность поиска» — видение, первоначально предложенное Барри Уайтхэтом из Ethereum Foundation, для создания более простых инструментов и облегченных схем, ориентированных на поиск. Команда ожидает, что Jolt достигнет аналогичной или лучшей производительности по сравнению с существующей zkVM и, что важно, обеспечит более оптимизированный и доступный опыт разработчиков.
Более удобный интерфейс для разработчиков
Lasso обеспечивает более удобный для разработчиков и проверяемый способ внедрения zkVM, чем существующие подходы.
Предыдущие подходы к проектированию SNARK формулировали инструкции ЦП в виде схем и оптимизировали их вручную — низкоуровневая и подверженная ошибкам задача, требующая знания предметно-ориентированного языка. Напротив, разработчики различных языковых экосистем должны иметь возможность относительно легко использовать Lasso.
Это связано с тем, что в Lasso инструкция определяется декомпозицией своей подтаблицы: ее «большая» таблица поиска может состоять из нескольких меньших «подтаблиц». Что еще более важно, такие декомпозиции могут быть кратко описаны на языках программирования высокого уровня. Например, инструкция может быть реализована всего в 50 строках Rust. Кроме того, многие инструкции в разных наборах инструкций концептуально одинаковы, и допускается повторение большого количества кода — например, WASM, EVM и RISC-V задают одни и те же базовые арифметические, побитовые операции и операции сравнения.
Проще просматривать
Способ, которым Lasso упрощает работу разработчика, также упрощает аудит, чем предыдущие методы. Возможность аудита zkVM особенно ценна, поскольку сегодня многие SNARK уже приобрели огромную ценность в блокчейнах. Поскольку Lasso реализует логику инструкций в Rust и поощряет дублирование кода в наборах инструкций, он концентрирует области, подлежащие аудиту, в относительно небольшой и удобочитаемой кодовой базе.
В настоящее время, в дополнение к работе, необходимой для полной реализации Jolt, существует множество задач, находящихся в стадии выполнения или ожидающих завершения другими разработчиками, в том числе: