Succinct SP1: производительная нулевая машина знаний
Succinct является одним из наиболее обсуждаемых проектов нулевых знаний (ZKP), его основной продукт SP1 считается самым быстрым zkVM на сегодняшний день.
SP1 обладает следующими преимуществами:
Высокая производительность, скорость доказательства может достигать 28 раз выше, чем у других zkVM, а стоимость составляет всего лишь долю от других решений.
Поддержка написания ZKP на языке Rust, возможность повторного использования существующих кодовых библиотек, что значительно увеличивает эффективность разработки.
Подходит для производственных приложений, прошел строгую проверку безопасности и уже был принят несколькими крупными проектами.
Введение в SP1
SP1 — это универсальная нулевая машина (zkVM), позволяющая разработчикам использовать Rust или другие языки, поддерживающие компиляцию LLVM, для написания обычного кода, генерируя эффективные нулевые доказательства для проверки правильного выполнения программы.
核心创新 SP1 заключается в значительном снижении порога разработки ZKP, при этом сохраняя высочайшую производительность и гибкость. Это делает разработку ZKP такой же простой, как написание обычного программного обеспечения, позволяя блокчейн-инфраструктуре (такой как Rollup, кроссчейн-мосты, оракулы и т.д.) достигать верифицируемости с помощью поддерживаемого кода.
Технология ZKP имеет широкое применение в области блокчейна, включая:
Масштабирование: с помощью Rollup множество транзакций сжимаются в одно доказательство, что снижает нагрузку на основную цепь.
Интероперабельность: проверка состояния различных цепочек, способствующая межцепочечному взаимодействию.
Защита конфиденциальности: обеспечение конфиденциальности транзакций или состояния, защита данных пользователей.
Мосты и оракулы: обеспечивают бездоверительную проверку данных или вычислений вне цепочки на цепочке.
Традиционная разработка ZKP имеет высокую сложность, требует специализированной криптографической команды, долгого цикла разработки и высоких затрат на обслуживание. Появление SP1 изменило эту ситуацию.
В реальных рабочих нагрузках блокчейна (таких как верификация легких клиентов, Rollup и т. д.) SP1 быстрее других zkVM в 4-28 раз, близко к производительности специализированных цепей с ручной оптимизацией. Последняя версия SP1 Turbo (v4.0.0) при работе на GPU кластерах требует всего 40 секунд для верификации блоков основной сети Ethereum, а стоимость снижается до нескольких центов.
Поддержка разработки на Rust
SP1 позволяет разработчикам использовать Rust для написания логики ZKP и напрямую повторно использовать существующие экосистемные библиотеки Rust (такие как revm, reth, alloy и т.д.). Разработчики могут непосредственно использовать готовый код блокчейн-узлов, с минимальными изменениями генерируя ZKP, избегая сложностей, связанных с написанием сложных схем с нуля.
Механизм предварительной компиляции
SP1 вводит механизм "предварительной компиляции", который высоко оптимизирует распространенные криптографические операции (такие как keccak, sha256, проверка подписи и т.д.). Это значительно снижает вычислительные затраты и улучшает эффективность обработки сложных блокчейн-рабочих нагрузок. Например, SP1 запускает ZK Tendermint легкий клиент, сокращая время проверки с 2,2 часов до 4,6 минут.
Открытый исходный код и безопасность
SP1 полностью открыт (лицензии MIT/Apache 2.0), его модульная архитектура позволяет разработчикам настраивать "предварительную компиляцию", оптимизируя производительность для конкретных случаев использования. SP1 привлек разработчиков из нескольких известных проектных команд для улучшения. Кроме того, SP1 прошел многократные аудиты от нескольких ведущих компаний по безопасности ZK и достиг результата "нулевых высоких уязвимостей" в открытых конкурсах по аудиту.
Широкое применение
Несколько известных проектов уже используют SP1 для создания ZKP, что обеспечивает защиту огромных активов на цепочке. От Rollup до кроссчейн-мостов, от оракулов до протоколов конфиденциальности, SP1 становится важной частью инфраструктуры блокчейна.
Сценарии применения SP1
SP1 имеет множество приложений в области блокчейна:
Rollup: Создание ZK Rollup, генерация нулевых доказательств для преобразования состояния, соединение с основной цепочкой для достижения высокой пропускной способности и низкой стоимости.
Кросс-цепочный мост: проверка консенсуса Layer 1 (например, Tendermint или легкий клиент Ethereum), создание безопасного и эффективного кросс-цепочного моста.
Интероперабельность: обеспечить быструю детерминированность и интероперабельность между Rollup.
Оракул: поддерживает масштабные вычисления вне цепи и генерирует проверяемые доказательства на цепи, снижая затраты на Gas.
Защита конфиденциальности: обеспечение приватных сделок и состояния, защита безопасности данных пользователей.
Агрегация: объединение однотипных ZKP для дальнейшего снижения затрат на верификацию в цепочке.
Появление SP1 открывает новые возможности для инфраструктуры блокчейна и, как ожидается, будет способствовать применению технологии ZKP в более широких сценариях.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
11 Лайков
Награда
11
3
Поделиться
комментарий
0/400
StableNomad
· 07-28 21:58
статистически многообещающе... но мы все это слышали раньше с оптимистичными роллапами, если честно
Посмотреть ОригиналОтветить0
SchrodingerGas
· 07-28 21:42
Точка равновесия в игре о конкурентоспособности экологической эффективности.
SP1: Succinct создает самый быстрый zkVM, пересматривая Блокчейн инфраструктуру
Succinct SP1: производительная нулевая машина знаний
Succinct является одним из наиболее обсуждаемых проектов нулевых знаний (ZKP), его основной продукт SP1 считается самым быстрым zkVM на сегодняшний день.
SP1 обладает следующими преимуществами:
Введение в SP1
SP1 — это универсальная нулевая машина (zkVM), позволяющая разработчикам использовать Rust или другие языки, поддерживающие компиляцию LLVM, для написания обычного кода, генерируя эффективные нулевые доказательства для проверки правильного выполнения программы.
核心创新 SP1 заключается в значительном снижении порога разработки ZKP, при этом сохраняя высочайшую производительность и гибкость. Это делает разработку ZKP такой же простой, как написание обычного программного обеспечения, позволяя блокчейн-инфраструктуре (такой как Rollup, кроссчейн-мосты, оракулы и т.д.) достигать верифицируемости с помощью поддерживаемого кода.
Технология ZKP имеет широкое применение в области блокчейна, включая:
Традиционная разработка ZKP имеет высокую сложность, требует специализированной криптографической команды, долгого цикла разработки и высоких затрат на обслуживание. Появление SP1 изменило эту ситуацию.
! Краткий SP1: Самый быстрый zkVM
Особенности SP1
В реальных рабочих нагрузках блокчейна (таких как верификация легких клиентов, Rollup и т. д.) SP1 быстрее других zkVM в 4-28 раз, близко к производительности специализированных цепей с ручной оптимизацией. Последняя версия SP1 Turbo (v4.0.0) при работе на GPU кластерах требует всего 40 секунд для верификации блоков основной сети Ethereum, а стоимость снижается до нескольких центов.
SP1 позволяет разработчикам использовать Rust для написания логики ZKP и напрямую повторно использовать существующие экосистемные библиотеки Rust (такие как revm, reth, alloy и т.д.). Разработчики могут непосредственно использовать готовый код блокчейн-узлов, с минимальными изменениями генерируя ZKP, избегая сложностей, связанных с написанием сложных схем с нуля.
SP1 вводит механизм "предварительной компиляции", который высоко оптимизирует распространенные криптографические операции (такие как keccak, sha256, проверка подписи и т.д.). Это значительно снижает вычислительные затраты и улучшает эффективность обработки сложных блокчейн-рабочих нагрузок. Например, SP1 запускает ZK Tendermint легкий клиент, сокращая время проверки с 2,2 часов до 4,6 минут.
SP1 полностью открыт (лицензии MIT/Apache 2.0), его модульная архитектура позволяет разработчикам настраивать "предварительную компиляцию", оптимизируя производительность для конкретных случаев использования. SP1 привлек разработчиков из нескольких известных проектных команд для улучшения. Кроме того, SP1 прошел многократные аудиты от нескольких ведущих компаний по безопасности ZK и достиг результата "нулевых высоких уязвимостей" в открытых конкурсах по аудиту.
Несколько известных проектов уже используют SP1 для создания ZKP, что обеспечивает защиту огромных активов на цепочке. От Rollup до кроссчейн-мостов, от оракулов до протоколов конфиденциальности, SP1 становится важной частью инфраструктуры блокчейна.
Сценарии применения SP1
SP1 имеет множество приложений в области блокчейна:
Появление SP1 открывает новые возможности для инфраструктуры блокчейна и, как ожидается, будет способствовать применению технологии ZKP в более широких сценариях.
! Краткий SP1: Самый быстрый zkVM