Технология нулевых знаний переживает революционные изменения. Традиционные системы нулевых знаний похожи на собственные майнинговые фермы, требующие от разработчиков всестороннего управления аппаратным обеспечением, системой доказательства, рекурсией и проверкой на блокчейне. Инновационный подход Succinct больше похож на создание децентрализованной "электрической сети".

В этой новой модели доказательная вычислительная мощность объединена в распределенную сеть. Сторона, требующая доказательства, может делать заказы напрямую, а участники, обладающие вычислительной мощностью, могут принимать заказы для выполнения задач. После генерации доказательства оно быстро проверяется на блокчейне с помощью универсального пути проверки. Цель Succinct ясна и кратка — сделать технологии нулевого знания доступными для всех. В настоящее время сеть уже сгенерировала более 5 миллионов доказательств и установила партнерские отношения с более чем 35 экосистемами, предоставляя безопасную инфраструктуру для активов на сумму более 40 миллиардов долларов.

Система Succinct состоит из двух основных компонентов:

1. SP1 zkVM: Это "универсальная виртуальная машина доказательства", ориентированная на разработчиков. Разработчики могут напрямую использовать язык программирования Rust для написания программ, компилировать их в формат RISC-V ELF, а затем генерировать доказательства, которые можно проверять на виртуальной машине Ethereum (EVM). Это значительно упрощает процесс разработки, не требуя ручной записи сложных схем.

2. Prover Network: Это децентрализованная сеть для поставщиков вычислительной мощности. Она превращает процессы распределения задач, генерации доказательств и расчета вознаграждений в рыночные. Ожидается, что сеть официально запустит основную сеть в августе 2025 года.

Succinct использует инновационный подход для достижения эффективной проверки на цепи. Его основная стратегия заключается в рекурсивном сжатии нескольких поддоказательств в одно агрегированное доказательство с использованием высокопроизводительной технологии STARK за пределами цепи, а затем путем применения технологии преобразования STARK-to-SNARK Groth16 снижение затрат на проверку до уровня примерно 300000 gas на виртуальной машине Ethereum. Этот метод особенно подходит для приложений, требующих частой проверки на цепи, таких как решения по масштабированию rollup и легкие клиенты.

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