Короткий огляд нових інструментів Lasso та 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, є багато завдань, які виконуються або очікують на виконання іншими розробниками, зокрема:

• Впровадження/інтеграція різних схем поліноміальних зобов’язань, таких як багатолінійні варіанти KZG (PST, Zeromorph тощо), Dory, Ligero, Brakedown і Sona
• Здійсніть оптимізацію параметрів продукту, описану в розділі 6 статті Quarks
• Розширений порівняльний аналіз і обробка помилок
• Використовуйте рекурсію SNARK для ефективної перевірки доказів у ланцюжку

Література: The Block, a16z Crypto

Пов’язане: Доказ нульового знання | Що таке ZK-STARK і які його технічні переваги?