ZK Конец игры: Boundless против Succinct Сезон ZK наступил, и рынок ZK инфраструктуры, как ожидается, вырастет до более чем 10 миллиардов долларов к 2030 году. Тем временем, Boundless и Succinct формируются как доминирующие игроки в этой области. Однако многие не понимают, что, хотя они и похожи, они различаются. Позвольте мне объяснить это ↓ Boundless: "Uber для ZK вычислений" - Модель выполнения: Предоставляет универсальную торговую площадку, где задания размещаются в блокчейне (возможно на любом блокчейне без мостов, что является ключевым отличием), обратные голландские аукционы и Доказательство Проверяемой Работы (PoVW), чтобы создать конкурентную торговую площадку, соединяющую запросы на доказательства и провайдеров, при этом вознаграждая последних на основе фактических вычислительных циклов, которые они выполняют. Boundless использует трехуровневую архитектуру: Bento (локальное доказательство), Broker (интерфейс рынка) и расчет в блокчейне. - Производительность и принятие: Открытая торговая площадка для доказательств, которая поддерживает R0 zkVM (основанную на RISC-V) от RiscZero, что снижает затраты на доказательства с тысяч до всего лишь нескольких долларов и производит доказательства в 7 раз меньше, чем SP1 (zkVM Succinct), что делает ее идеальной для верификации в блокчейне и меньших нагрузок. У Boundless уже более 1700 провайдеров, работающих в бета-версии основной сети, и более 391 тысячи запросов на доказательства только от "Сигнала" (ZK государственные доказательства для общественного блага). Succinct: Платформа для разработчиков с высокой производительностью - Модель выполнения: Компактная, высокопроизводительная сеть, действующая как "API для ZK доказательств", поддерживаемая ее SP1 zkVM (также основанной на RISC-V) и быстрым внеблокчейным аукционистом для сопоставления/назначения одного провайдера на задание, оптимизируя для низкой задержки и позволяя разработчикам генерировать доказательства из стандартного кода Rust, которые затем проверяются в блокчейне (в Ethereum). Succinct запускает SP1 через локальное доказательство или их API сети провайдеров. - Производительность и принятие: Высокопроизводительная сеть провайдеров SP1 превосходит в сложных криптографических операциях благодаря своей архитектуре предварительной компиляции. Она полностью готова к производству и, например, сокращает доказательство Tendermint более чем на 2 часа до всего лишь нескольких минут. Сеть провайдеров уже сгенерировала почти 5 миллионов доказательств с более чем 99,9% времени безотказной работы и хостит более 1600 программ. Каковы ключевые выводы? Хотя обе компании в конечном итоге стремятся сделать ZK доказательства более эффективными и широко доступными для строителей, они подходят к этой миссии с технической точки зрения по-разному. Boundless, например, является более открытой сетью, где любой провайдер может выполнять вычисления вне блокчейна, в то время как все доказательства подаются в блокчейн, и с рыночными контрактами по всем основным экосистемам/цепочкам. Тем временем PoVW обеспечивает измеряемые вознаграждения провайдеров на основе фактически выполненных вычислений. Это также инфраструктура, независимая от системы доказательств, и как разрешенная торговая площадка, она стремится стать универсальным магазином для всех проверяемых вычислений и потребностей в доказательствах (помимо поддержки полного набора продуктов RiscZero, включая R0 zkVM, Kailua, его сопроцессор Steel и т.д. или более недавно "Сигнал" от Boundless). В целом экосистема RiscZero вокруг Boundless предоставляет полное решение для разработки ZK. С другой стороны, в сети провайдеров Succinct именно система аукциониста сети находит самого дешевого провайдера в реальном времени, с одним провайдером, выигрывающим задание, и последующей верификацией доказательства в блокчейне, с компонентами в блокчейне, находящимися в Ethereum. Она специально сосредоточена на поддержке SP1, высокопроизводительного zkVM Succinct и инструментов разработки вокруг него. Большая часть текущего принятия Succinct происходит от "ZKfiyng" роллапов с его OP Succinct фреймворком или поддержки ZK приложений (например, Hibachi) с акцентом на модульную экосистему. Являются ли они конкурентами? В значительной степени да, потому что тот факт, что как @boundless_xyz, так и @SuccinctLabs в конечном итоге предоставляют услуги доказательства, также означает, что неизбежно будут продукты, построенные на этой инфраструктуре, которые в конечном итоге будут конкурировать друг с другом по уровню принятия (и спросу на доказательства, который накапливается в основной инфраструктуре). Некоторые примеры здесь - их zkVM (R0 и SP1) и многие случаи использования, которые они позволяют, включая OP Kailua от RiscZero для гибридных ZK мошеннических доказательств, которые конкурируют с OP Succinct (ZK фреймворк Succinct для OP цепочек), две версии Blobstream на базе ZK (DA мост для Celestia), которые обе команды построили на своей инфраструктуре, или их внутренние ZK сопроцессоры (Steel против SP1-CC) и т.д. Тем не менее, я считаю, что рынок ZK доказательной инфраструктуры достаточно велик для двух (или более?) крупных игроков, и что особенно в случае приложений с высокими ставками (например, институциональный DeFi, некоторые случаи использования ИИ и т.д.) или цепочек, которые обслуживают эти вертикали, многоуровневые системы провайдеров будут становиться все более распространенными (улучшая надежность и безопасность), что потенциально приведет к двойной интеграции с обеими сетями. Я также считаю, что мы увидим уровни агрегации, построенные на основе нескольких рынков/сетей доказательства, что в конечном итоге приведет к тому, что эти инфраструктурные уровни будут работать в тандеме в какой-то степени. ZK - это конечная игра. Сезон ZK наступил. Изучайте ZK.