Краткий анализ Succinct SP1: самый быстрый zkVM

Succinct, который собрал 5 500 совершенных золотых, является топовым ZK-проектом, возглавляемым paradigm в двух раундах.

Основным продуктом этого топового ZK проекта является SP1, который является текущим самым быстрым zkVM.

• Лидирующая производительность, скорость подтверждения на 28 раз выше, чем у других zkVM, стоимость менее одной десятой.

• Поддержка написания ZKP на Rust, повторное использование существующих библиотек кода, повышение эффективности разработки в 100 раз.

• Поддержка производственных случаев, прошедших высококлассный аудит, использованы такими крупными проектами, как Polygon, Celestia и др.

Один. Что такое SP1?

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

! Краткий SP1: Самая быстрая zkVM

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

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

Доказательство с нулевым разглашением ( ZKP ) может доказать правильность вычисления без раскрытия каких-либо входных данных. Эта способность имеет бесконечные сценарии применения в блокчейне:

• Масштабирование: с помощью Rollup ZKP может сжать большое количество транзакций в одно доказательство, значительно снизив нагрузку на основную цепь.
• Интероперабельность: ZKP может проверять состояние различных цепочек, способствуя межцепочечному взаимодействию.
• Конфиденциальность: ZKP обеспечивает конфиденциальность транзакций или состояний, защищая данные пользователей.
• Мосты и оракулы: ZKP позволяет проверять данные или вычисления вне цепи без доверия на цепи. Однако сложность разработки традиционного ZKP можно назвать “кошмаром”. Это требует специализированной криптографической команды, многолетнего цикла разработки и высоких затрат на обслуживание.

Появление SP1 полностью изменило эту ситуацию.

Особенности SP1

1. Самая быстрая и мощная zkVM на данный момент

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

! Анализ краткого пакета обновления 1: самый быстрый zkVM

2. Поддержка написания ZKP на Rust

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

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

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

SP1 внедрил механизм “предварительной компиляции”, который был высоко оптимизирован для распространенных криптографических операций (таких как keccak, sha256, проверка подписи и т.д.). Эти предварительные компиляции значительно снизили вычислительные затраты, позволяя SP1 обрабатывать сложные блокчейн-нагрузки с легкостью. Например, SP1 запускает ZK Tendermint легкий клиент, сокращая время валидации с 2,2 часов до 4,6 минут.

4.100% Открытый исходный код, безопасность кода

SP1 является полностью открытым (лицензия MIT/Apache 2.0). Его модульная архитектура позволяет разработчикам настраивать “предварительно скомпилированные” версии, оптимизируя производительность для конкретных случаев использования. В отличие от традиционного закрытого zkVM, SP1 поддерживает вклад сообщества и привлекает разработчиков из команд Polygon, Celestia, Sovereign Labs и других для совместного улучшения.

И SP1 уже прошел многократные аудиты от нескольких ведущих компаний по безопасности ZK и достиг выдающегося результата “нулевых высоких уязвимостей” на открытых конкурсах по аудиту.

5. Качественные партнеры

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

Три. Применение SP1

SP1 реализовал множество случаев использования в блокчейне:

• Rollup: Построение ZK Rollup с использованием SP1, генерирующее нулевое знание для перехода состояния, соединяющее с основными цепями, такими как Ethereum или Bitcoin, для достижения высокой пропускной способности и низких затрат. Например, OP Succinct использует SP1 для предоставления производственного уровня доказательного движка для OP Stack.
• Кросс-чейн мост: SP1 может проверять консенсус Layer 1 (например, Tendermint или легкий клиент Ethereum), создавая безопасный и эффективный кросс-чейн мост. Например, SP1 Blobstream проверяет корень данных Celestia в Ethereum, а SP1 Vector пересылает Меркле-корень Avail в Ethereum.
• Интероперабельность: через SP1 между Rollup можно быстро установить детерминизм и интероперабельность, что способствует проектам, таким как AggLayer от Polygon.
• Оракул: SP1 поддерживает масштабные вычисления вне цепи (такие как запросы исторического состояния, машинное обучение на цепи) и генерирует проверяемые на цепи доказательства, значительно снижая затраты на Gas.
• Конфиденциальность: SP1 может реализовать частные сделки и состояния, защищая безопасность данных пользователей.
• Аггрегация: SP1 может агрегировать однородные ZKP,进一步降低链上验证成本，Nebra 等项目正在探索这一方向。