Succinct — это заметный проект с нулевыми знаниями, его основной продукт SP1 считается самым быстрым zkVM на сегодняшний день. Проект собрал 55 миллионов долларов в двух раундах финансирования.
Основные преимущества SP1 включают:
• Скорость доказательства превышает другие zkVM в 28 раз, затраты значительно снижены.
• Поддержка написания ZKP с использованием Rust, возможность повторного использования существующих библиотек кода, эффективность разработки увеличивается в сто раз.
• Подходит для производственных приложений, прошедших строгий аудит, и принятых несколькими крупными проектами.
SP1 является универсальной нулевой знаниевым виртуальным машиной (zkVM), которая позволяет разработчикам использовать Rust или другие языки, поддерживающие компиляцию LLVM, для написания кода, генерируя эффективные нулевые доказательства для проверки корректности выполнения программы.
Инновация SP1 заключается в значительном снижении порога разработки нулевых доказательств (ZKP), одновременно обеспечивая выдающуюся производительность и гибкость. Это делает разработку ZKP такой же простой, как написание обычного программного обеспечения, позволяя инфраструктуре блокчейна (, такой как Rollup, межцепочные мосты, оракулы и т.д. ), достигать проверяемости с помощью поддерживаемого кода.
Доказательство нулевого знания ( ZKP ) позволяет доказать корректность вычисления без раскрытия каких-либо входных данных. Эта технология имеет широкое применение в области блокчейна:
Масштабирование: с помощью Rollup ZKP может сжимать большое количество транзакций в одно доказательство, значительно уменьшая нагрузку на основную цепь.
Интероперабельность: ZKP может проверять состояние различных цепочек, способствуя межцепочечному взаимодействию.
Конфиденциальность: ZKP обеспечивает конфиденциальность транзакций или состояния, защищая данные пользователей.
Мосты и оракулы: ZKP позволяет проверять внецепочные данные или вычисления без доверия в цепи.
Однако традиционная разработка ZKP обладает высокой сложностью, требуя профессиональной криптографической команды, долгих циклов разработки и высоких затрат на обслуживание. Появление SP1 полностью изменило эту ситуацию.
Особенности SP1
1. Высокопроизводительный zkVM
В реальных нагрузках блокчейна (, таких как проверка легких клиентов, Rollup и т.д. ), SP1 быстрее других zkVM в 4-28 раз и даже может соперничать с ручной оптимизацией специализированных схем. Его последняя версия SP1 Turbo (v4.0.0), при запуске на GPU-кластерах, проверяет блоки основной сети Ethereum всего за 40 секунд, а стоимость снижается до нескольких центов.
2. Поддержка разработки ZKP на 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 привлек разработчиков из нескольких известных проектов для совместного улучшения и прошел множество аудитов от ведущих компаний по безопасности ZK, получив отличные результаты с «нулевыми высокими рисками» на публичных аудитах.
5. Широкое сотрудничество
Несколько известных проектов уже используют SP1 для построения ZKP, что обеспечивает защиту более чем 1 миллиарда долларов цепочечных активов ( TVL ). От Rollup до кросс-чейн мостов, от оракулов до протоколов конфиденциальности, SP1 становится стандартной конфигурацией для инфраструктуры блокчейна.
SP1 реализовал множество приложений в области блокчейна:
Rollup: Использование SP1 для построения ZK Rollup, генерация нулевых доказательств состояния перехода, соединение с основными цепями, такими как Ethereum или Bitcoin, для достижения высокой пропускной способности и низких затрат.
Кроссчейн мост: SP1 может проверять консенсус Layer 1 (, такой как Tendermint или легкий клиент Ethereum ), создавая безопасный и эффективный кроссчейн мост.
Интероперабельность: через SP1 Rollup могут быстро достигать детерминированности и интероперабельности.
Оракул: SP1 поддерживает масштабные вычисления вне цепи (, такие как запросы исторического состояния, машинное обучение на цепи ) и генерирует проверяемые на цепи доказательства, значительно снижая затраты на Gas.
Приватность: SP1 может осуществлять частные сделки и состояния, защищая безопасность данных пользователей.
Агрегация: SP1 может агрегировать однотипные ZKP, тем самым дополнительно снижая затраты на верификацию в цепочке.
Разнообразные приложения SP1 демонстрируют его важную роль в продвижении развития технологий блокчейн, закладывая прочную основу для будущих инноваций.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
13 Лайков
Награда
13
5
Репост
Поделиться
комментарий
0/400
GweiTooHigh
· 07-23 17:39
Эти баллы почти сравнялись с моим маленьким электрическим скутером.
Succinct: Создание эффективного zkVM, которое ведет новую эпоху блокчейн-инфраструктуры
Succinct: Пионер в革新e технологий ZK
Succinct — это заметный проект с нулевыми знаниями, его основной продукт SP1 считается самым быстрым zkVM на сегодняшний день. Проект собрал 55 миллионов долларов в двух раундах финансирования.
Основные преимущества SP1 включают:
• Скорость доказательства превышает другие zkVM в 28 раз, затраты значительно снижены.
• Поддержка написания ZKP с использованием Rust, возможность повторного использования существующих библиотек кода, эффективность разработки увеличивается в сто раз.
• Подходит для производственных приложений, прошедших строгий аудит, и принятых несколькими крупными проектами.
! Краткий SP1: Самый быстрый zkVM
Введение в SP1
SP1 является универсальной нулевой знаниевым виртуальным машиной (zkVM), которая позволяет разработчикам использовать Rust или другие языки, поддерживающие компиляцию LLVM, для написания кода, генерируя эффективные нулевые доказательства для проверки корректности выполнения программы.
Инновация SP1 заключается в значительном снижении порога разработки нулевых доказательств (ZKP), одновременно обеспечивая выдающуюся производительность и гибкость. Это делает разработку ZKP такой же простой, как написание обычного программного обеспечения, позволяя инфраструктуре блокчейна (, такой как Rollup, межцепочные мосты, оракулы и т.д. ), достигать проверяемости с помощью поддерживаемого кода.
Доказательство нулевого знания ( ZKP ) позволяет доказать корректность вычисления без раскрытия каких-либо входных данных. Эта технология имеет широкое применение в области блокчейна:
Однако традиционная разработка ZKP обладает высокой сложностью, требуя профессиональной криптографической команды, долгих циклов разработки и высоких затрат на обслуживание. Появление SP1 полностью изменило эту ситуацию.
Особенности SP1
1. Высокопроизводительный zkVM
В реальных нагрузках блокчейна (, таких как проверка легких клиентов, Rollup и т.д. ), SP1 быстрее других zkVM в 4-28 раз и даже может соперничать с ручной оптимизацией специализированных схем. Его последняя версия SP1 Turbo (v4.0.0), при запуске на GPU-кластерах, проверяет блоки основной сети Ethereum всего за 40 секунд, а стоимость снижается до нескольких центов.
2. Поддержка разработки ZKP на 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 привлек разработчиков из нескольких известных проектов для совместного улучшения и прошел множество аудитов от ведущих компаний по безопасности ZK, получив отличные результаты с «нулевыми высокими рисками» на публичных аудитах.
5. Широкое сотрудничество
Несколько известных проектов уже используют SP1 для построения ZKP, что обеспечивает защиту более чем 1 миллиарда долларов цепочечных активов ( 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, тем самым дополнительно снижая затраты на верификацию в цепочке.
Разнообразные приложения SP1 демонстрируют его важную роль в продвижении развития технологий блокчейн, закладывая прочную основу для будущих инноваций.