Короткий аналіз Succinct SP1: найшвидший zkVM

Sucinct, який зібрав 5 500 ідеальних золотих, є топовим проектом ZK, очолюваним парадигмою у два раунди.

Цей провідний ZK проект має основний продукт SP1, який є нині найшвидшим zkVM.

• Провідна продуктивність, швидкість підтвердження вища за інші zkVM до 28 разів, а витрати знижені до кількох відсотків.

• Підтримка написання ZKP на Rust і повторного використання існуючих кодових баз, підвищення ефективності розробки в 100 разів.

• Підтримка виробничих кейсів, пройшла перевірку провідними аудиторами, була прийнята такими великими проектами, як Polygon, Celestia тощо.

Од. Що таке SP1?

SP1 є універсальною віртуальною машиною нульових знань (zkVM), яка дозволяє розробникам писати звичайний код на Rust (або будь-якій мові, що підтримує компіляцію LLVM), генеруючи ефективні нульові докази для перевірки правильного виконання програми.

! Стисло SP1: Найшвидший zkVM

Простими словами, SP1 дозволяє розробникам швидко створювати перевіряємі обчислювальні додатки з криптографічною безпекою, використовуючи знайомі мови програмування, без необхідності глибоко вивчати складні теорії криптографії.

Основна інновація SP1 полягає в тому, що вона значно знижує вхідний бар'єр для розробки доказів з нульовим розголошенням, зберігаючи при цьому першокласну продуктивність і гнучкість. Зробіть ZKP таким же простим, як написання звичайного програмного забезпечення, і зробіть інфраструктуру блокчейну (наприклад, роллапи, кросчейн-мости, оракули тощо) перевіреною за допомогою підтримуваного коду.

Нульове знання ( ZKP ) може довести правильність певного обчислення без розкриття будь-яких вхідних даних. Ця здатність має безмежні можливості застосування в блокчейні:

• Розширення: за допомогою Rollup, ZKP може стиснути велику кількість транзакцій в одне доказ, значно зменшуючи навантаження на основний ланцюг.
• Інтероперабельність: ZKP може перевіряти стан різних ланцюгів, сприяючи міжланцюговій комунікації.
• Конфіденційність: ZKP забезпечує конфіденційність транзакцій або станів, захищаючи дані користувачів.
• Мости та оракули: ZKP дозволяє бездостовірну верифікацію даних або обчислень поза ланцюгом. Проте складність традиційної розробки ZKP можна назвати "кошмаром". Це вимагає команди спеціалістів з криптографії, багаторічного циклу розробки та високих витрат на обслуговування.

Поява SP1 кардинально змінила цю ситуацію.

Два. Особливості SP1

1.Найшвидший і найпотужніший zkVM на сьогодні

В реальних блокчейн-навантаженнях (таких як верифікація легких клієнтів, Rollup тощо) швидше за інші zkVM на 4-28 разів, навіть може зрівнятися з ручною оптимізацією спеціалізованих схем. Його остання версія SP1 Turbo (v4.0.0) під час роботи на GPU-кластерах верифікує блоки основної мережі Ethereum всього за 40 секунд, а витрати складають лише кілька центів.

! Аналіз стислого SP1: Найшвидший zkVM

2. Підтримка написання ZKP на Rust

SP1 дозволяє розробникам писати логіку ZKP на Rust і безпосередньо повторно використовувати існуючі бібліотеки Rust (наприклад, revm, reth, alloy і т.д.).

Розробники можуть безпосередньо взяти готовий код вузлів блокчейну і трохи його модифікувати, щоб згенерувати ZKP, що дозволяє уникнути необхідності з нуля писати складні схеми.

3. Попередня компіляція: секретна зброя продуктивності

SP1 впровадив механізм "попередньої компіляції", який був високо оптимізований для поширених криптографічних операцій (таких як keccak, sha256, перевірка підписів тощо). Ці попередньо скомпільовані функції значно зменшили обчислювальні витрати, дозволяючи SP1 справлятися зі складними навантаженнями блокчейну з легкістю. Наприклад, SP1 запускає легкий клієнт ZK Tendermint, що безпосередньо скорочує час валідації з 2,2 години до 4,6 хвилини.

4.100% відкритий код, безпечний код

SP1 на 100% відкритий вихідний код (ліцензія MIT/Apache 2.0). Його модульна архітектура дозволяє розробникам налаштовувати «попередні компіляції» для оптимізації продуктивності для конкретних випадків використання. На відміну від традиційних zkVM із закритим вихідним кодом, SP1 охоплює внески спільноти та залучає розробників із таких команд, як Polygon, Celestia, Sovereign Labs тощо.

І SP1 вже пройшов кілька аудитів від провідних компаній з безпеки ZK і здобув відмінні результати в публічних конкурсах аудиту, отримавши "нуль високих ризиків".

5. Якісні партнери

Polygon, Celestia, Avail, Taiko та інші використовують Succinct SP1 для побудови ZKP, що забезпечує понад 1 мільярд доларів на ланцюзі (TVL). Від Rollup до крос-ланцюгового моста, від оракулів до протоколів конфіденційності, SP1 стає стандартом для інфраструктури блокчейну.

Три. Сценарії застосування SP1

SP1 реалізував багато випадків використання в блокчейні:

• Rollup: побудувати ZK Rollup за допомогою SP1, створити нульові знання для переходу стану, з'єднати з основними ланцюгами, такими як Ethereum або Bitcoin, для досягнення високої пропускної здатності та низької вартості. Наприклад, OP Succinct використовує SP1 для забезпечення виробничого рівня двигуна доказів для OP Stack.
• Кросчейн-міст: SP1 перевіряє консенсус рівня 1 (наприклад, легкий клієнт Tendermint або Ethereum) для створення безпечного та ефективного кросчейн-мосту. Наприклад, SP1 Blobstream перевіряє корінь даних Celestia в Ethereum, тоді як SP1 Vector передає корінь Merkle Avail в Ethereum.
• Інтероперабельність: завдяки SP1, між Rollup можна досягти швидкої детермінації та інтероперабельності, що сприяє проектам, таким як AggLayer від Polygon.
• Оракул: SP1 підтримує масові обчислення поза ланцюгом (такі як запити історичного стану, машинне навчання на ланцюзі) та генерує перевіряємий на ланцюзі доказ, що значно знижує витрати на Gas.
• Приватність: SP1 може забезпечити приватні транзакції та статус, захищаючи безпеку даних користувачів.
• Агрегація: SP1 може агрегацію однорідних ZKP, що далі знижує витрати на верифікацію в мережі, проекти як Nebra наразі досліджують цей напрямок.