Succinct, который собрал 5 500 совершенных золотых, является топовым ZK-проектом, возглавляемым paradigm в двух раундах.
Основным продуктом этого топового ZK проекта является SP1, который является текущим самым быстрым zkVM.
• Лидирующая производительность, скорость подтверждения на 28 раз выше, чем у других zkVM, стоимость менее одной десятой.
• Поддержка написания ZKP на Rust, повторное использование существующих библиотек кода, повышение эффективности разработки в 100 раз.
• Поддержка производственных случаев, прошедших высококлассный аудит, использованы такими крупными проектами, как Polygon, Celestia и др.
Один. Что такое SP1?
SP1 является универсальной виртуальной машиной с нулевым знанием (zkVM), которая позволяет разработчикам писать обычный код на Rust (или любом другом языке, поддерживающем компиляцию LLVM), генерируя эффективные доказательства с нулевым знанием для проверки правильного выполнения программы.
Проще говоря, 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 секунд, стоимость составляет всего несколько центов.
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 等项目正在探索这一方向。
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Краткий анализ 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 ) может доказать правильность вычисления без раскрытия каких-либо входных данных. Эта способность имеет бесконечные сценарии применения в блокчейне:
Появление 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 реализовал множество случаев использования в блокчейне: