Доказательства с нулевым разглашением (ZKPs) — это одна из тех технологий, которые звучат как магия: они позволяют вам доказать, что что-то является истинным, не раскрывая всех деталей. Они могут защищать блокчейны, проверять вычисления и даже защищать конфиденциальность в Интернете. Но магия часто приходит с уловкой - с ними notoriously трудно работать. Настройка инфраструктуры, найм экспертов по криптографии и создание пользовательских систем доказательства были недоступны для большинства команд.$PROVE
@Succinct Labs, небольшая стартап-компания из Сан-Франциско, хочет изменить это. Их предложение удивительно просто: что если использование доказательств с нулевым разглашением будет так же легко, как запускать программное обеспечение на вашем ноутбуке или вызывать облачное API?
Чтобы это осуществить, они создали две ключевые вещи: мощный zkVM под названием SP1 и децентрализованную сеть провайдеров, к которой может подключиться любой. Вместе эти инструменты нацелены на демократизацию ZK, переводя его от нишевых криптографов к повседневным разработчикам.
SP1: zkVM, который кажется знакомым.
Большинство систем с нулевым знанием заставляют разработчиков мыслить как криптографы. Вам нужно разрабатывать схемы, изучать специальные языки и оптимизировать для ограничений, о которых вы никогда не слышали. SP1 (сокращенно от Succinct Prover 1) переворачивает эту модель с ног на голову.
Вместо того чтобы переписывать все, вы просто пишете свой код на Rust, C++ или любом языке, который компилируется в RISC-V. SP1 берет это на себя, запускает вашу программу и выдает доказательство с нулевым знанием.
Это как если бы кто-то вручил разработчикам эквивалент компилятора для доказательств. Вам не нужно знать, как работает движок под капотом – вы просто пишете код, и система гарантирует, что выходные данные проверяемы.
И это не только доступно, но и быстро. Тесты показывают, что SP1 может быть в десятки раз быстрее, чем предыдущие zkVM. Система также поддерживает передовые функции, такие как рекурсия (доказательства внутри доказательств) и имеет оптимизированные предустановленные модули для распространенных криптоопераций, таких как хеширование и эллиптические кривые.
Важно, что SP1 является открытым исходным кодом и прошел аудит, поэтому это не черный ящик. Команды, такие как Celestia, Mantle, Polygon и Lido, уже создают реальные продукты с его помощью.
Сеть провайдеров: ZK как услуга.
Даже с SP1 выполнение тяжелых вычислений доказательства на ваших собственных серверах может быть сложной задачей. Вот тут-то и приходит сеть провайдеров Succinct.
Думайте об этом как о децентрализованном рынке для доказательств. Разработчики отправляют задания (программы плюс ввод), а независимые провайдеры делают ставки на возможность создать доказательство. Побеждающий провайдер использует SP1, отправляет результат и получает оплату.
Почему это важно? Потому что разработчикам не нужно специализированное оборудование, GPU фермы или криптографы в штате. Они просто подключаются к сети, а под капотом доказательства обрабатываются на GPU, FPGA и других высокопроизводительных машинах.
Сеть сама координируется с помощью смарт-контрактов Ethereum. Платежи, стейкинг и проверка происходят прозрачно в сети. Провайдеры ставят токен под названием PROVE для участия, согласовывая стимулы и обеспечивая безопасность.
На практике этот дизайн означает:
Быстрая финализация: World Chain сократила время финализации с семи дней до примерно часа.
Снижение затрат: агрегированные доказательства снижают газовые сборы за проверку.
Надежность: Несколько провайдеров конкурируют, так что доступность остается высокой.
На 2025 год сеть уже обработала более 5 миллионов доказательств, обеспечив более 4 миллиардов долларов в стоимости. Это не демонстрация тестовой сети, это производственный масштаб.
Почему эта архитектура работает.
Подход Succinct кажется свежим, потому что он заимствует лучшее из обоих миров.
Вне сети: Вся тяжелая работа (запуск SP1, обработка доказательств) происходит быстро на специализированном оборудовании.
В сети: расчет, платежи и проверка записываются на Ethereum, с доказательствами SP1, обеспечивающими проверяемость всего.
Даже собственная бухгалтерия сети доказана – балансы, назначения работ и выплаты реализованы как проверяемые приложения в RISC-V. Другими словами, сеть доказывает саму себя.
Этот рекурсивный, самодостаточный дизайн и придает Succinct его доверие. Разработчики не должны доверять серверам Succinct – они могут проверить математику сами.
Примеры использования в реальном мире.
Поскольку SP1 является универсальным, диапазон его применения широк:
Масштабирование блокчейнов: Mantle и другие свертки используют SP1, чтобы стать zkRollups, значительно сокращая время подтверждения.
Кросс-цепочные мосты: Succinct поддерживает IBC Eureka, связывая более 120 цепочек Cosmos с Ethereum.
Приложения для совместимости: Партнерство с LayerZero представило vApps, которые объединяют кросс-цепочную передачу сообщений с доказательствами.
DeFi и торговля: Проекты используют SP1 для оракулов и ордеров в сети.
Идентификация и конфиденциальность: От проверяемых розыгрышей до частного голосования, SP1 поддерживает легкие приложения с защитой конфиденциальности.
Легкие клиенты: Полные клиенты блокчейна (такие как Tendermint) могут быть доказаны кратко, позволяя безопасные мобильные кошельки.
Тематика последовательная: вместо того чтобы изобретать ZK для каждого проекта, разработчики могут просто подключиться к SP1 и сети провайдеров.
Импульс принятия.
Succinct - это не просто теория – она быстро набирает популярность.
Arbitrum: Однолетнее эксклюзивное соглашение с Tandem (Offchain Labs) для внедрения ZK-доказательств в цепи Arbitrum.
OP Stack: Цепочка Worldcoin использовала SP1, чтобы сократить финализацию до часа. Другие проекты OP Stack экспериментируют с аналогичными настройками.
Polygon, Celestia, Lido, Near, Avail: Все строят или экспериментируют с SP1.
Партнеры по оборудованию: Команды, такие как Cysic и ZAN, присоединяются к сети, при этом ZAN показывает 20-кратное ускорение с использованием FPGA.
Параллельно Succinct запустила Фонд Succinct, который сейчас работает с почти 40 протоколами для финансирования и развития экосистемы.
Как он выделяется.
По сравнению с zkSync, Polygon zkEVM или StarkWare, Succinct меньше о владении цепочкой и больше о том, чтобы быть универсальным слоем доказательств. В то время как другие оптимизируют специально для Ethereum, zkVM RISC-V от Succinct может обрабатывать любую программу, на любой цепочке.
Этот универсальный подход объясняет, почему его партнеры варьируются от L2 сверток до AI проектов. Он не привязан к одной экосистеме – это нейтральная платформа для доказательств.
Команда, финансирование и видение.
Succinct Labs была основана Умой Рой (бывший Google Brain) и Джоном Гибаасом (фоновое образование MIT). Команда все еще небольшая – менее десяти инженеров – но они привлекли около 66 миллионов долларов на начальных и раундах серии A, возглавляемых Paradigm, с поддержкой ангелов от крупных имен в криптоиндустрии.
Их видение простое, но амбициозное: донести ZK до широкой аудитории, сделав его похожим на облачные вычисления. Генеральный директор Ума Рой объясняет это просто: доказательства станут стандартным способом, которым интернет устанавливает доверие. Технический директор Джон Гибаас называет инфраструктуру Prover Network на уровне интернета.
Почему это важно.
@Succinct решает трудную, но критически важную задачу: превращение доказательств с нулевым знанием из инструмента специализированного криптографа в повседневную инфраструктуру. Объединив SP1 (zkVM, который делает доказательства доступными) с сетью провайдеров (рынок, который делает доказательства масштабируемыми), они создают новую цепочку поставок доказательств.
Если они добьются успеха, разработчикам не придется вообще думать о ZK – они просто будут писать код, запускать его и получать доказательство, которому мир может доверять.
Это большой сдвиг. И он может сделать Succinct не просто еще одним проектом блокчейна, а слоем доказательств для самого интернета.
