Succinct SP1: найшвидший zkVM наразі

Succinct є провідним ZK проектом, його основний продукт SP1 є найшвидшим zkVM на сьогодні. Проект отримав фінансування в розмірі 55 мільйонів доларів.

SP1 має такі характеристики:

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

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

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

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

I. Вступ до SP1

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

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

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

Однак традиційна розробка ZKP дуже складна, вимагає команди професійних криптографів, тривалого циклу розробки та високих витрат на підтримку. Поява SP1 повністю змінила цю ситуацію.

Два, особливості SP1

1. Висока продуктивність

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

2. Підтримка розробки на Rust

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

3. Механізм попередньої компіляції

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

4. Відкритий код і безпека

SP1 є повністю відкритим проектом ( під ліцензією MIT/Apache 2.0 ). Його модульна архітектура дозволяє розробникам налаштовувати "попередньо скомпільовані" версії, оптимізуючи продуктивність для конкретних випадків використання. SP1 приваблює розробників з кількох відомих проектів для спільного вдосконалення.

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

5. Широке партнерство

Багато відомих проектів використовують SP1 для створення ZKP, що забезпечує понад 10 мільярдів доларів США на ланцюзі активів (TVL). Від Rollup до кросчейн-мостів, від оракулів до протоколів конфіденційності, SP1 стає стандартною конфігурацією блокчейн-інфраструктури.

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

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

SP1 має багато застосувань у сфері блокчейн:

• Rollup: Використання SP1 для побудови ZK Rollup, генеруючи нульові знання для переходу стану, підключаючи основні ланцюги, такі як Ethereum або Bitcoin, для досягнення високої пропускної здатності та низької вартості.

• Крос-ланковий міст: SP1 може перевіряти консенсус Layer 1 (, як-от Tendermint або легкий клієнт Ethereum ), побудувати безпечний та ефективний крос-ланковий міст.

• Взаємодія: через SP1 між Rollup можна швидко досягти детермінації та взаємодії.

• Оркестратор: SP1 підтримує масові обчислення поза ланцюгом (, такі як запити історичного стану, машинне навчання на ланцюзі ), і генерує перевірні докази на ланцюзі, що значно знижує витрати на Gas.

• Конфіденційність: SP1 може здійснювати приватні транзакції та статуси, захищаючи безпеку даних користувачів.

• Агрегація: SP1 може агрегувати подібні ZKP, що ще більше знижує витрати на верифікацію в ланцюзі.