По сравнению с @SuccinctLabs, @boundless_xyz далеко не получил должного внимания и важности на рынке, однако он, как и Succinct, имеет потенциал стать лидером в области zk-универсальной инфраструктуры, что и является причиной, по которой я написал эту статью, которая является самой подробной на китайском языке в интернете в настоящее время.
В настоящее время наиболее обсуждаемым протоколом на рынке zk-доказательств безусловно является @SuccinctLabs, который благодаря приглашениям на звездные мероприятия для конечных пользователей быстро вышел на новый уровень. Однако, одновременно с этим, поддерживаемая @RiscZero сеть zk-доказательств @boundless_xyz набирает популярность, и я считаю, что она является крупнейшим конкурентом Succinct на целевом сегменте, в котором он позиционируется.
В этом твите мы просто поговорим о сходствах и различиях между @SuccinctLabs и @boundless_xyz, а также о конкурентных преимуществах. Кто станет лидером в этой области, пока не известно.
Невозможный zkVM
Независимо от того, @SuccinctLabs или @boundless_xyz, их техническая реализация не может обойтись без zkVM. Отличительной особенностью является то, что Succinct использует виртуальную машину SP1, а Boundless использует виртуальную машину R0VM, разработанную на базе RISC?
Что такое zkVM?
zkVM - это виртуальная машина с нулевым раскрытием, которая позволяет разработчикам доказывать выполнение любых программ на Rust( или других языках программирования на базе LLVM).
Говоря простыми словами, разработчики на основе zkVM могут не выполнять трудоемкий процесс генерации zk-доказательства (ручное построение и оптимизация цепей), генерация доказательства будет автоматически завершена в фоне, что значительно сокращает время разработки zk-доказательства.
Сжатый: SP1 против Безграничного: R0VM
zkVM виртуальная машина упрощает сложность нулевых знаний, создавая объективную среду, что делает процесс генерации доказательств таким же простым, как и в традиционных вычислениях.
SP1 от Succinct и R0VM от Boundless основаны на наборе команд RISC-V, оба поддерживают написание на языке Rust и автоматическую генерацию ZK-доказательств. Они также подходят для универсальных вычислительных сценариев.
Система доказательств на базе @SuccinctLabs SP1 заимствовала модульный инструмент для ZK-доказательств Plonky3, разработанный командой Polygon, который является итеративным обновлением Plonky2, вышедшего еще в начале 2022 года. Технологическая зрелость выше, Succinct фактически стоит на плечах гиганта Polygon;
R0VM от @boundless_xyz основан на собственных технологиях его материнской компании RISC. После выхода версии R0VM 1.0 в июне 2024 года, он также прошел через несколько технологических итераций (1.1.0-1.1.2) и в настоящее время обновлен до последней версии R0VM 2.0.
2）Степень открытости;
@SuccinctLabs SP1 заявляет, что является первым 100% открытым zkVM. Я нашел соответствующую информацию и обнаружил, что RISC R0VM на ранних этапах был частично открытым, а в августе 2024 года также объявил о 100% полном открытии.
3）Производительность；
Производительность — это один из основных показателей zkVM, который обычно относится ко времени генерации и времени проверки zk-доказательств. Из-за конфиденциальности этих данных, а также того факта, что Succinct и Boundless являются прямыми конкурентами, данные, которые они публикуют, могут быть несправедливыми (например, данные испытаний для конкретной среды и т. д.), и я не нашел нейтральную третью сторону с более авторитетными и достоверными данными, поэтому я не буду раскрывать данные, чтобы обеспечить объективность и конкретные данные.
В настоящее время в отрасли преобладает мнение, что @SuccinctLabs SP1 показывает лучшие результаты в хэшноемких рабочих задачах (таких как верификация легких клиентов Tendermint), что проявляется в более быстром времени генерации доказательств; R0VM от @boundless_xyz более подходит для универсальных вычислительных сценариев, обладая явными преимуществами в управлении памятью.
Поддержка предварительной компиляции SP1 уменьшила количество циклов команд RISC-V, необходимых для генерации доказательства, что ускорило время генерации доказательства и снизило затраты на его создание. Однако с выходом версии R0VM 2.0 были добавлены два основных предварительных компилятора: BN254 и BLS12-381, которые также приведут к значительному увеличению производительности.
Генерация zk-доказательств является основой для @SuccinctLabs и @boundless_xyz на пути к массовой коммерциализации, их конечной целью является создание более эффективного и децентрализованного рынка zk-доказательств, который превратит проверяемые вычисления в универсальный товар, не требующий доверия.
Рынок играет роль посредника между покупателями и продавцами, рынок zk-доказательств можно понимать как рынок, соединяющий поставщиков и потребителей zk-доказательств. Поставщиками zk-доказательств являются генераторы доказательств, обычно операторы, работающие на GPU или других аппаратных устройствах; потребителями zk-доказательств в основном являются B-клиенты, имеющие потребность в верификации.
Механизм сопоставления сторон спроса и предложения на рынке доказательств @SuccinctLabs не сложен. Сеть Succinct состоит из 2 типов основных участников: запрашивающих (сторона, нуждающаяся в zk-доказательствах) и доказателей (сторона, предоставляющая zk-доказательства).
Succinct выступает в качестве посредника для расчетов: доказатели вносят залог на блокчейне, чтобы получить право участвовать в соревнованиях по доказательствам, при этом протокол Succinct предварительно удерживает плату за услуги доказательства, запрашиваемые заявителем; доказатели соревнуются через аукцион доказательств, и победитель аукциона в конечном итоге передает zk-доказательство заявителю и получает соответствующую плату за услуги. На этом этапе весь процесс сводится к замкнутому кругу.
Более подробную информацию о механизме реализации технической архитектуры можно найти в официальных документах @SuccinctLabs:
@boundless_xyz только что выпустила белую книгу, которая служит механизмом реализации рынка zk-доказательств и в основном схожа с @boundless_xyz, здесь не будем повторяться, технические детали реализации можно найти по ссылке на белую книгу Boundless в конце документа.
В качестве универсального инфраструктурного протокола, который пользуется большим вниманием со стороны капитала, @SuccinctLabs и @SuccinctLabs имеют свои собственные основные группы пользователей B-сектора, что привело к образованию сторонников Succinct и сторонников RISC(Boundless).
** Фракция «За лаконичность»:**
Как Cosmos, встроенная интеграция IBC Eureka предоставляет услуги генерации zk-доказательств, реализуя межсетевую совместимость IBC в глобальной гетерогенной сети цепей. Включая, но не ограничиваясь: предоставление ранней технической поддержки Polygon, DA-уровня @celestia, @AvailProject и др.;
Pro-RISC(Boundless) фракция:
такие как ETH повторное залоговое соглашение @eigenlayer, zk кросс-цепное взаимодействие соглашение @union_build, Bitcoin zk-Rollup @citrea_xyz и т.д.
Резюме
@boundless_xyz и @SuccinctLabs имеют очень сильное сходство в своих ключевых позициях, а также высокий уровень пересечения в области бизнеса. На мой взгляд, конкуренция между двумя сторонами заключается не в технологических инновациях, а в борьбе за основных пользователей на стороне B и C.
Конкуренция на B-стороне равна, C-сторона Succinct явно имеет преимущество, Boundless необходимо устранить свои недостатки и, скорее всего, запустит аналогичные программы лояльности/приглашения, чтобы захватить пользователей C-стороны.
Написано в конце
Если вы не можете представить, насколько велик потенциальный рынок под ледяной горой zk универсальных доказательств, вы не можете представить, насколько высок потолок потенциала @SuccinctLabs и @boundless_xyz.
Но все это будет прослеживаться, если вы сейчас не понимаете и не признаете ценность рынка zk-доказательств, просто оставайтесь в курсе.
Я думаю, что в конце концов мы будем вовлечены в эту революцию zk, и сейчас эта революция только начинается.
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Соперничество лидеров на рынке ZK-протоколов: Succinct против Boundless
Автор: yyy Источник: X, @y_cryptoanalyst
По сравнению с @SuccinctLabs, @boundless_xyz далеко не получил должного внимания и важности на рынке, однако он, как и Succinct, имеет потенциал стать лидером в области zk-универсальной инфраструктуры, что и является причиной, по которой я написал эту статью, которая является самой подробной на китайском языке в интернете в настоящее время.
! qmpGkK5I0XbHF8jYekNUOnVaV8Tzn0esF7CWi7XZ.png
В настоящее время наиболее обсуждаемым протоколом на рынке zk-доказательств безусловно является @SuccinctLabs, который благодаря приглашениям на звездные мероприятия для конечных пользователей быстро вышел на новый уровень. Однако, одновременно с этим, поддерживаемая @RiscZero сеть zk-доказательств @boundless_xyz набирает популярность, и я считаю, что она является крупнейшим конкурентом Succinct на целевом сегменте, в котором он позиционируется.
В этом твите мы просто поговорим о сходствах и различиях между @SuccinctLabs и @boundless_xyz, а также о конкурентных преимуществах. Кто станет лидером в этой области, пока не известно.
Невозможный zkVM
Независимо от того, @SuccinctLabs или @boundless_xyz, их техническая реализация не может обойтись без zkVM. Отличительной особенностью является то, что Succinct использует виртуальную машину SP1, а Boundless использует виртуальную машину R0VM, разработанную на базе RISC?
Что такое zkVM?
zkVM - это виртуальная машина с нулевым раскрытием, которая позволяет разработчикам доказывать выполнение любых программ на Rust( или других языках программирования на базе LLVM).
Говоря простыми словами, разработчики на основе zkVM могут не выполнять трудоемкий процесс генерации zk-доказательства (ручное построение и оптимизация цепей), генерация доказательства будет автоматически завершена в фоне, что значительно сокращает время разработки zk-доказательства.
Сжатый: SP1 против Безграничного: R0VM
zkVM виртуальная машина упрощает сложность нулевых знаний, создавая объективную среду, что делает процесс генерации доказательств таким же простым, как и в традиционных вычислениях.
SP1 от Succinct и R0VM от Boundless основаны на наборе команд RISC-V, оба поддерживают написание на языке Rust и автоматическую генерацию ZK-доказательств. Они также подходят для универсальных вычислительных сценариев.
! 1UuwP6JKRDlta0cJQdpV29ZXtoKAJe130kODWKAC.png
Дифференциация:
1）Оригинальность базовых технологий;
Система доказательств на базе @SuccinctLabs SP1 заимствовала модульный инструмент для ZK-доказательств Plonky3, разработанный командой Polygon, который является итеративным обновлением Plonky2, вышедшего еще в начале 2022 года. Технологическая зрелость выше, Succinct фактически стоит на плечах гиганта Polygon;
R0VM от @boundless_xyz основан на собственных технологиях его материнской компании RISC. После выхода версии R0VM 1.0 в июне 2024 года, он также прошел через несколько технологических итераций (1.1.0-1.1.2) и в настоящее время обновлен до последней версии R0VM 2.0.
2）Степень открытости;
@SuccinctLabs SP1 заявляет, что является первым 100% открытым zkVM. Я нашел соответствующую информацию и обнаружил, что RISC R0VM на ранних этапах был частично открытым, а в августе 2024 года также объявил о 100% полном открытии.
3）Производительность；
Производительность — это один из основных показателей zkVM, который обычно относится ко времени генерации и времени проверки zk-доказательств. Из-за конфиденциальности этих данных, а также того факта, что Succinct и Boundless являются прямыми конкурентами, данные, которые они публикуют, могут быть несправедливыми (например, данные испытаний для конкретной среды и т. д.), и я не нашел нейтральную третью сторону с более авторитетными и достоверными данными, поэтому я не буду раскрывать данные, чтобы обеспечить объективность и конкретные данные.
В настоящее время в отрасли преобладает мнение, что @SuccinctLabs SP1 показывает лучшие результаты в хэшноемких рабочих задачах (таких как верификация легких клиентов Tendermint), что проявляется в более быстром времени генерации доказательств; R0VM от @boundless_xyz более подходит для универсальных вычислительных сценариев, обладая явными преимуществами в управлении памятью.
Поддержка предварительной компиляции SP1 уменьшила количество циклов команд RISC-V, необходимых для генерации доказательства, что ускорило время генерации доказательства и снизило затраты на его создание. Однако с выходом версии R0VM 2.0 были добавлены два основных предварительных компилятора: BN254 и BLS12-381, которые также приведут к значительному увеличению производительности.
! d2jSbG55IK5BG8DaojfPmAo9vR4LFXluPagWH2VO.png
Что такое рынок zk-доказательств?
Генерация zk-доказательств является основой для @SuccinctLabs и @boundless_xyz на пути к массовой коммерциализации, их конечной целью является создание более эффективного и децентрализованного рынка zk-доказательств, который превратит проверяемые вычисления в универсальный товар, не требующий доверия.
Рынок играет роль посредника между покупателями и продавцами, рынок zk-доказательств можно понимать как рынок, соединяющий поставщиков и потребителей zk-доказательств. Поставщиками zk-доказательств являются генераторы доказательств, обычно операторы, работающие на GPU или других аппаратных устройствах; потребителями zk-доказательств в основном являются B-клиенты, имеющие потребность в верификации.
Механизм сопоставления сторон спроса и предложения на рынке доказательств @SuccinctLabs не сложен. Сеть Succinct состоит из 2 типов основных участников: запрашивающих (сторона, нуждающаяся в zk-доказательствах) и доказателей (сторона, предоставляющая zk-доказательства).
Succinct выступает в качестве посредника для расчетов: доказатели вносят залог на блокчейне, чтобы получить право участвовать в соревнованиях по доказательствам, при этом протокол Succinct предварительно удерживает плату за услуги доказательства, запрашиваемые заявителем; доказатели соревнуются через аукцион доказательств, и победитель аукциона в конечном итоге передает zk-доказательство заявителю и получает соответствующую плату за услуги. На этом этапе весь процесс сводится к замкнутому кругу.
Более подробную информацию о механизме реализации технической архитектуры можно найти в официальных документах @SuccinctLabs:
@boundless_xyz только что выпустила белую книгу, которая служит механизмом реализации рынка zk-доказательств и в основном схожа с @boundless_xyz, здесь не будем повторяться, технические детали реализации можно найти по ссылке на белую книгу Boundless в конце документа.
! hbUgNpWOClQ50f5Tqk54HtVvnJF2EEqFvrt8aLIe.png
Становление пользователей B-канала
В качестве универсального инфраструктурного протокола, который пользуется большим вниманием со стороны капитала, @SuccinctLabs и @SuccinctLabs имеют свои собственные основные группы пользователей B-сектора, что привело к образованию сторонников Succinct и сторонников RISC(Boundless).
** Фракция «За лаконичность»:**
Как Cosmos, встроенная интеграция IBC Eureka предоставляет услуги генерации zk-доказательств, реализуя межсетевую совместимость IBC в глобальной гетерогенной сети цепей. Включая, но не ограничиваясь: предоставление ранней технической поддержки Polygon, DA-уровня @celestia, @AvailProject и др.;
Pro-RISC(Boundless) фракция:
такие как ETH повторное залоговое соглашение @eigenlayer, zk кросс-цепное взаимодействие соглашение @union_build, Bitcoin zk-Rollup @citrea_xyz и т.д.
Резюме
@boundless_xyz и @SuccinctLabs имеют очень сильное сходство в своих ключевых позициях, а также высокий уровень пересечения в области бизнеса. На мой взгляд, конкуренция между двумя сторонами заключается не в технологических инновациях, а в борьбе за основных пользователей на стороне B и C.
Конкуренция на B-стороне равна, C-сторона Succinct явно имеет преимущество, Boundless необходимо устранить свои недостатки и, скорее всего, запустит аналогичные программы лояльности/приглашения, чтобы захватить пользователей C-стороны.
Написано в конце
Если вы не можете представить, насколько велик потенциальный рынок под ледяной горой zk универсальных доказательств, вы не можете представить, насколько высок потолок потенциала @SuccinctLabs и @boundless_xyz.
Но все это будет прослеживаться, если вы сейчас не понимаете и не признаете ценность рынка zk-доказательств, просто оставайтесь в курсе.
Я думаю, что в конце концов мы будем вовлечены в эту революцию zk, и сейчас эта революция только начинается.