Что такое Succinct?

Succinct разрабатывает инфраструктуру, которая позволяет всем разработчикам эффективно использовать технологию доказательства с нулевым разглашением (ZK-proof). В настоящее время Succinct запустила модульную zkVM SP1 с открытым исходным кодом и в настоящее время разрабатывает децентрализованную сеть Succinct Prover Network. В будущем эта сеть будет способна запускать ZK-proof Rollups, сопроцессоры и другие инфраструктуры, выступая в качестве более продвинутой «инфраструктуры для инфраструктурных сервисов ZK».

Зачем важна технология ZK Proof?

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

В дорожной карте массового принятия блокчейна ZK-доказательства считаются ключевой технологией, важной для будущего блокчейна. Они позволяют разработчикам блокчейна необратимо доказать любое утверждение, такое как функция перехода состояния блокчейна или доказательство консенсуса.

Кроме того, доказательства ZK являются безразрешительными, не зависят от внешнего капитала или операторов для обеспечения безопасности, способны доказать правильность любого утверждения; Доказательства ZK также эффективны, требуя только одной стороне их сгенерировать и позволяя любому проверить.

Ситуация с развитием команды и финансированием

Компания Succinct была основана в 2022 году с небольшим количеством сотрудников и офисом в Сан-Франциско. Основатель ранее публиковал исследования по технологии ZK bridges, взаимодействию и совместному заказу. Участники команды также имеют многолетний опыт работы в области платформ обучения моделей, платформ обработки данных и искусственного интеллекта.

Многие клиенты Succinct - лучшие команды в индустрии. В настоящее время Wormhole, Lido, Near, Celestia (Blobstream X), Avail (Vector bridge) и Gnosis (native bridge) уже используют ранние версии сети Prover, разработанные Succinct, создавая ZK-proof DApps, соответствующие стандартам протокола Succinct.

22 марта 2024 года компания Succinct объявила, что получила финансирование серии A в размере 43 миллиона долларов под руководством Paradigm. На сегодняшний день общий объем финансирования команды (раунд зерна и серия A) составляет 55 миллионов долларов, с участием таких участников, как Robot Ventures, Bankless Ventures, Geometry, ZK Validator и ангельские инвесторы, такие как основатель Eigenlayer Sreeram Kannan, соучредитель Polygon Sandeep Nailwal, соучредитель Polygon Zero Даниэль Лубаров и соучредитель Bitwise Элад Гил.

Источник: Твиттер команды проекта

Фон команды разработчиков

Uma Roy

Ума Рой - сооснователь и генеральный директор компании Succinct. В подростковом возрасте она принимала участие в отборочных соревнованиях на Джуниорскую математическую олимпиаду США (USAJMO), считающуюся одним из самых престижных конкурсов для старшеклассников в Соединенных Штатах. USAJMO обычно отбирает участников на основе индекса AMC 10, и только 230-240 студентов проходят отборочный этап каждый год.

Ума получила оба своих бакалавра и магистра в Массачусетском технологическом институте, где продолжила свой интерес к теории представлений (ветвь абстрактной алгебры) и квантовой алгебре из старших классов. После 2019 года она переключила свое внимание на платформы данных и искусственный интеллект, начав программу резидентуры в Google Brain AI в августе. В 2021 году она стала первым инженером в стартапе Gantry, известном своими крупными клиентами, такими как Duolingo, помогая им развивать платформу мониторинга моделей машинного обучения.

Джон Гибас

Джон Гибас - сооснователь Succinct, и согласно Google Scholar, он публикует статьи с 2017 года, с текущим количеством цитирований 447. В 2017 году, будучи еще в старшей школе, Джон получил грант по искусственному интеллекту от известных инвесторов Ната Фридмана и Даниэля Гросса (которые ранее инвестировали в Figma и Stripe). Вначале этот проект предоставлял гранты на исследования для поддержки многообещающих исследований в области искусственного интеллекта без условий; позже он превратился в акселератор, поддерживающий стартапы в области искусственного интеллекта на ранних стадиях. В то время тема, над которой работал Джон и еще двое, уже была связана с конфиденциальностью: они исследовали, как использовать GANs для создания пригодных для использования и защищенных данных для обучения.

В 2019 году он поступил в Стэнфорд, чтобы изучать компьютерные науки, проведя большую часть своих учебных лет в лаборатории Стэнфорда DAWN и научно-исследовательском центре NVIDIA, сосредотачиваясь на базах данных и машинном обучении. В 2022 году он получил стипендию Paradigm и бросил учебу в Стэнфорде на третьем курсе. Тот же год он также участвовал в программе резидентуры в Фонде 0xPARC (фонд, поддерживающий экосистему Ethereum), где исследовал технологию ZK-proof.

В 2022 году он начал сотрудничать с профессорами и исследовательскими партнерами для разработки прототипа Succinct. Они обнаружили, что zkSNARKs очень подходят для верификации моделей машинного обучения, что привело к созданию бездоверительного уровня взаимодействия в экосистеме Ethereum, который использует zkSNARKs. Ключевыми участниками были Даниэль Канг, Тацу Хашимото, И Сунь и Матей Захария.

В 2023 году, благодаря основанию Succinct, Джон получил престижную стипендию Тил. Эта стипендия доступна для лиц моложе 22 лет и предоставляет $100 000 на двухлетнее свободное исследование. Среди известных стипендиатов - основатель Ethereum Виталик Бутерин и основатель Blur/Blast, Тишун Рокерр.

Какую проблему решает Succinct?

Проблема 1: Доверие столкнулось с многими вызовами в пространстве блокчейна

Безопасность мостов межцепочечного взаимодействия: мосты межцепочечного взаимодействия постоянно оказываются уязвимыми к хакерским атакам. Эта проблема безопасности остается нерешенной, что приводит к частым нарушениям и потере средств на различных блокчейн-сетях.

Доказательства мошенничества в мультиподписи: выпуск Blast привел к выявлению проблемы с мультиподписью (несколько подписей), когда пользователи указали на отсутствие доказательств мошенничества во многих решениях уровня 2, которые люди обычно используют. Это открытие показало, что большинство платформ уровня 2 не имеют механизмов для доказательства или опровержения мошеннической деятельности в своих операциях с мультиподписью.

Узлы Централизованной проверки: В 2022 году появились обвинения в адрес сети BNB, которую обвинили в контроле со стороны комитета, назначенного Binance. Этот комитет, который поочередно производит блоки, состоит из 21 узла проверки, контролирующих миллиарды долларов. Эти узлы выбираются из 11 участников, контролируемых Binance, что вызывает опасения относительно централизации и потенциала для манипуляций.

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

В ответ на эти проблемы Succinct поддерживает девиз "Программируемая истина". Нынешняя архитектура блокчейна построена на доверии, которое является чрезвычайно хрупким при столкновении с человеческой природой. Как говорит основатель Uma, "Эти структуры полагаются на криптографическую истину, а не на доверие" (защищены криптографической истиной, а не доверием). Широкое принятие доказательств нулевого знания (ZK) считается единственным способом достижения нового поколения архитектуры блокчейна, которая более безопасна, масштабируема и инновационна.

Проблема 2: Доказательства ZK важны, но слишком сложны

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

В ходе этого процесса Succinct понял, что ответ заключается в zkVM (виртуальная машина с нулевым доказательством), что привело к разработке SP1. Разработчики могут развертывать код Rust в продакшн, отслеживать его и запрашивать доказательства, что значительно упрощает конфигурацию API. Кроме того, Succinct предлагает встроенный браузер доказательств, который позволяет разработчикам просматривать все доказательства и отслеживать все процессы.

Проблема 3: Текущая область доказательства ZK фрагментирована

Этот момент касается будущего. Они считают, что хотя технология ZK развивается семимильными шагами, цепочка поставок ZK-доказательств фрагментирована и не может удержаться на шаге с развитием технологии ZK.

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

Продукт и операционный механизм компании Succinct

Открытая версия zkVM, SP1

Источник: Официальный блог

14 февраля 2024 года компания Succinct объявила о выпуске SP1 в Twitter. Разработка SP1 имеет некоторые сходства с эволюцией ИИ. До появления GPT-4 в разработке искусственного интеллекта требовался ряд сложных задач: сбор данных, очистка данных, обучение модели, настройка модели и т. д., а также соответствующая экспертиза. С появлением GPT-4 любой мог использовать ИИ, обращаясь к API OpenAI.

По аналогии, SP1, или любой продвинутый открытый zkVM, подобен GPT-4 миру нулевого доказательства знания (ZKP). В будущем все zkRollups, zk Оракулы или zkBridges смогут доказать свой ZKP-код, написанный на стандартных языках Rust или WASM, через zkVM, исключив необходимость составления замысловатых схем.

Ранее считалось, что проекты ZK должны были настраивать схемы, чтобы достичь приемлемой производительности. Однако SP1 приблизил производительность общего целевого zkVM к производительности настраиваемых ZK-схем, эхом участника Uma, который заявил, что "оставил все адские цепочки позади".

SP1 предоставляет множество пакетов и библиотек для повторного использования разработчиками, и его полная открытость является наиболее значительным аспектом. В прошлом zkVM имел закрытую логику ограничения, которую нельзя было изменить. SP1, с другой стороны, принимает модульную архитектуру, которая настраивается с самого начала. Эта настраиваемость позволяет разработчикам добавлять «предварительные компиляции» в основную логику zkVM, значительно повышая производительность.

Важность открытого исходного кода нельзя недооценить. RISC Zero, ключевой конкурент в этой области, имеет ядро с закрытым исходным кодом; хотя их скомпилированная версия является открытым исходным кодом, ее нельзя изменить внешними командами. Невозможность изменения RISC Zero мотивировала команду создать по-настоящему открытый zkVM, нацеленный на продукт, который можно настраивать, изменять сообществом и не содержащий поставщика или рисков платформы.

Еще одной причиной акцентирования внимания на открытом исходном коде является то, что сам SP1 был разработан с использованием Plonky3 от Polygon Zero. Например, ограничения логики Succinct выражены с использованием Air Builder Plonky3. Plonky является модульной библиотекой/набором инструментов, которые разработчики могут использовать для создания новых систем доказательств и zkVMs, восхваляющих сильное сообщество открытого исходного кода. Succinct использовал Plonky2 во многих прошлых проектах, причем Plonky3 является более качественной версией Plonky2, которая по-прежнему улучшается. Succinct даже влил в Plonky3 upstream некоторые PR, способствуя сообществу открытого исходного кода Plonky.

Децентрализованная сеть доказательств: Краткая сеть доказателей

Сеть Succinct Prover в настоящее время находится в стадии разработки. Это сеть уровня хостинга инфраструктуры, позволяющая децентрализованным приложениям (DApps) передавать свои процессы генерации доказательств на рынок доказательств. С помощью SP1 или других zkVM разработчики могут легко развертывать свои DApps, использующие доказательства с нулевым разглашением (ZK), на сети. Кроме того, эта сеть функционирует как открытый рынок доказательств: разработчикам нужно лишь отправлять запросы на доказательства в сеть, и механизм аукциона сопоставит эти запросы с доказателями, работающими на последнем оборудовании; доказатели также могут зарабатывать комиссионные, генерируя экономичные и надежные доказательства в этой открытой сети.

Будущее блокчейн поставок

Когда генерируется доказательство, в этом участвует разнообразные участники и этапы, которые можно назвать цепочкой поставок доказательств. Генерация доказательств работает следующим образом: разработчики запрашивают доказательство, выражая свою логику с использованием определенной системы доказательств, будь то схемы или zkVM; затем доказательство генерируется и может быть аггрегировано до достижения цепочки DApp. В ноябре 2023 года Succinct запустил первый «фронтенд» Сети производителей Succinct: alpha.succinct.xyz. DApps теперь могут быть развернуты через него. Это представляет упрощенную версию цепочки поставок доказательств, при этом сама платформа Succinct в настоящее время служит полной цепочкой поставок доказательств. Однако это неустойчивое состояние по двум основным причинам: сложность ценообразования, поскольку с увеличением сложности цепочки поставок доказательств возрастает сложность ценообразования; и аппаратное обеспечение может внести сложность в ценообразование, с возможностью различных поставщиков аппаратного обеспечения, возникает вопрос, захочет ли DApp вести переговоры с 20 различными поставщиками аппаратного обеспечения, чтобы найти лучшую цену или мощность.

Цель Succinct - предоставить пространство для координации всех участников цепочки поставок доказательств, сделав открытый рынок сетевых доказательств неотъемлемым компонентом всей цепочки поставок доказательств. В будущей экосистеме цепочки поставок доказательств, поскольку все DApps и инфраструктура без проблем наследуют последние системы ZK-доказательств и индивидуальные технологии аппаратного обеспечения в сети Succinct Prover, этот децентрализованный рынок сетевых доказательств достигнет экономии масштаба. Это позволяет разработчикам получать доступ к эффективным и недорогим ZK-доказательствам (конкурентный механизм свободного рынка обеспечивает возможность DApps получать наименьшие возможные затраты); в будущем децентрализованные доказательства могут генерироваться на различном оборудовании, снижая стоимость доказательств на 10-100 раз, в конечном итоге делая ZK-доказательства применимыми ко всей инфраструктуре.

Анализ конкурентной среды

Многие проекты с открытым исходным кодом имеют схожие цели с SP1:

• Команда Андрессена, включая Джастина Талера и Сэма Рагсдейла, исследовала Lasso и Jolt. Succinct считает, что развитие этих технологий может стать частью SP1 в будущем, и наоборот.
• Проекты, основанные на методе складывания
• Другие проекты, аналогичные методу ZK-Stark-FRI

Команда указывает, что, если возможно, будущая сеть Succinct Prover Network будет поддерживать не только SP1, но и Lasso, Jolt или open-source RISC Zero, так как они стремятся к полной модульности и гибкости. Именно этот подход может обеспечить быстрое развитие технологии ZK наиболее устойчивым образом.

Многие проекты с открытым исходным кодом разделяют схожие цели с SP1. Команда Андрессена, включая Джастина Талера и Сэма Рэгсдейла, изучает Lasso и Jolt. Succinct считает, что развитие этих технологий в будущем может стать частью SP1, и наоборот.

Команда указывает, что, если возможно, будущая Сеть Краткого Доказывателя будет поддерживать не только SP1, но и Lasso, Jolt или открытый исходный код RISC Zero, так как они стремятся к полной модульности и гибкости. Только такой подход может гарантировать быстрое развитие технологии ZK наиболее устойчивым образом.

Заключение

Безопасность

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

Высокий барьер для узлов

Фактическое программное обеспечение узла, работающее в сети Succinct Prover, может быть очень ограниченным, учитывая высокий порог для доказывающих, которые должны:

• Участвуйте в аукционах доказательств, предлагая генерировать доказательство по определенной цене
• Возможность загрузки двоичных файлов и артефактов схемы
• Быть способным запускать и генерировать доказательства

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