Polygon приймає SP1

Polygon Labs співпрацює з Succinct для використання zkVM SP1 для захисту AggLayer

Ми раді повідомити, що Polygon Labs буде використовувати zkVM SP1 від Succinct для критично важливого компонента AggLayer: флагманського протоколу взаємодії, який забезпечує уніфіковану ліквідність між роллапами в екосистемі Ethereum. Завдяки SP1 команда Polygon змогла написати песимістичний доказ (основний ZKP для захисту AggLayer) у звичайному Rust-коді. Значно спрощений досвід розробників і провідна на ринку продуктивність SP1 значно прискорили терміни розробки AggLayer, скоротивши їх з місяців до декількох тижнів.

Як SP1 дозволив Polygon створювати компоненти ZKP для AggLayer за в 10 разів менше часу для розробників без втрати продуктивності

Коли Polygon вирішувала, як найкраще зібрати ZKP, необхідні для AggLayer (“песимістичний доказ”), у них було кілька варіантів: зібрати його за допомогою одного з існуючих стеків, згорнутих вручну, або зібрати його за допомогою одного з багатьох доступних zkVM. Ось чому вони обрали SP1:

Досвід розробників: Досвід розробників SP1 у написанні програми песимістичного доведення на Rust значно прискорив терміни розробки AggLayer.

• За допомогою SP1 два інженери з команди Polygon написали програму перевірки песимістичних прогнозів менш ніж за 1000 рядків коду на Rust за кілька тижнів. За допомогою стеку ZK на основі схем, створеного вручну, це завдання зайняло б кілька місяців у набагато більшої, вузькоспеціалізованої команди. (Ознайомтеся з реалізацією пресистентного доведення тут).
• Використовуючи звичайний код Rust, програма песимістичного доведення може повторно використовувати існуючі ящики Rust, покращуючи ремонтопридатність і можливість аудиту, полегшуючи розуміння логіки ZKP для звичайних інженерів; звичайний Rust також дозволяє легко модифікувати програму песимістичного доведення, щоб дозволити додаткові ланцюжки з різними механізмами консенсусу інтегруватися з AggLayer.

Найкраща продуктивність на ринку: AggLayer вимагає частої генерації доказів з низькою вартістю та низькою затримкою, щоб забезпечити якомога дешевшу та частішу взаємодію між підключеними ланцюжками. Завдяки архітектурі, орієнтованій на прекомпіляцію, сучасна продуктивність SP1 значно зменшує кількість циклів для таких блокчейн-програм, як обчислення функції переходу до згорнутого стану, перевірка доказу консенсусу або перевірка багатьох доказів за методом Меркла.

• Програма песимістичного доведення, зокрема, вимагає перевірки великої кількості доведень Меркла за допомогою хеш-функції keccak. Прекомпіляція keccak на SP1 забезпечує на порядок вищу продуктивність, ніж інші zkVM для програм зі значним хешуванням, що робить її очевидним вибором для використання в AggLayer.
• Блискавична продуктивність SP1 робить практичним використання zkVM для генерації песимістичного доказу у виробництві, де вартість і затримка мають найбільше значення.

З відкритим вихідним кодом: SP1 — це єдина zkVM, де обмеження на 100% відкриті. Це необхідно для аудиту та безпеки, щоб гарантувати, що RISC-V ISA працює так, як заявлено.

• Дозвіл будь-кому перевірити, що RISC-V ISA правильно доведено, є критично важливим для безпеки в контексті блокчейну.

Ми раді, що провідна команда ZK побачила очевидну цінність підходу на основі zkVM і вирішила співпрацювати з Succinct. Ми очікуємо, що їхніми слідами піде ще більше команд, які займаються роллапсом, інтероперабельністю, налагодженням зв’язків тощо, оскільки ми працюємо над завершенням роботи над zkVM.

Як SP1 допомагає забезпечити уніфіковану ліквідність та надійну інтероперабельність для AggLayer

Останнім часом ведеться багато дискусій про те, що фрагментовані екосистеми рол-апів потребують безперебійної інтероперабельності для покращення користувацького досвіду та підвищення ефективності використання капіталу. AggLayer розвиває це бачення, і ZKP є ключем до забезпечення низької затримки, безпеки та бездозвільної участі в будь-якій рулонній екосистемі.

• Швидка фінальність: ZKP — це єдиний практичний спосіб досягти швидкої фіналізації для рулонів, підключених до AggLayer. ZKP усувають тривалий період очікування, необхідний для оптимістично спроектованого ролапу, скорочуючи затримку (без сторонніх мостів) з 7 днів до ❤0 хвилин (AggLayer також теоретично може підтримувати інтероперабельність, яка є швидшою за фінальність Ethereum).
• Безпека: ZKP дозволяють протоколам інтероперабельності мати швидку фінальність, не покладаючись на припущення про довіру. Налагодження мостів без довіри є критично важливим у світі, де незахищені мости стали причиною мільярдних збитків. Перевіряючи ZKP стану ланцюжка, а також те, що транзакції між усіма ланцюжками належним чином враховані, песимістичне доведення не вимагає додаткових припущень про довіру для забезпечення інтероперабельності.
• Безперешкодна участь будь-якої екосистеми: Оскільки SP1 легко програмується, він може бути використаний для перевірки функцій переходу стану згортання, а також для перевірки доказів консенсусу для інших ланцюжків, які не є ZK-згортаннями. Інші рішення для забезпечення інтероперабельності вимагають, щоб усі ланцюжки, які беруть участь у взаємодії, використовували один стек. У AggLayer може брати участь будь-який стек (включаючи стеки OP, ланцюжки Polygon CDK, навіть ланцюжки на основі Tendermint тощо), якщо можна написати програму SP1 у звичайному Rust’і для перевірки їхнього переходу стану.

SP1 x Plonky3: сила співпраці з відкритим вихідним кодом з додатною сумою

Polygon Plonky3 — це модульна системна бібліотека, створена командою Polygon Zero для ZK-додатків та розробників zkVM. Для створення SP1 компанія Succinct обрала Polygon Plonky3 через її модульність, продуктивність та всеохоплюючу ліцензію з відкритим вихідним кодом.

Polygon Plonky3 дозволив нам налаштувати систему доведення для конкретної zkVM, яку ми намагалися зібрати, що дозволило SP1 використовувати реалізацію FRI Plonky3 над полем BabyBear. Ця модульність не йде на шкоду продуктивності; бібліотека Plonky3 включає в себе багато різних оптимізацій при складанні, включаючи Neon і AVX-512.

Співпраця між Succinct та командою Polygon Zero була надзвичайно плідною, обидві команди зробили внесок у відповідні кодові бази одна одної. Ми вдячні за співпрацю з такими талановитими партнерами!

Слідкуйте за розвитком подій

Протягом наступних кількох тижнів Succinct завершить аудит SP1 і підготує його до промислового використання в мейннеті. У той же час, Polygon продовжить роботу над протоколом AggLayer і підготує його до запуску в основній мережі, який очікується в найближчі місяці. Ми з нетерпінням чекаємо на продовження співпраці з чудовою командою Polygon і продовжуємо розширювати межі ZKP для поліпшення екосистеми Ethereum.