У порівнянні з @SuccinctLabs, @boundless_xyz далекий від того, щоб привернути увагу і увагу, на які заслуговує ринок, але він має такий же потенціал, як і Sucinct, стати лідером загального інфраструктурного треку zk, що також є моїм початковим наміром написати цей найдетальніший вступ до всієї мережі в китайському регіоні в даний час.
Наразі найпопулярнішим протоколом у сегменті ринку zk-доказів безумовно є @SuccinctLabs, а запрошувальна зіркова акція для гравців на кінцевому рівні дозволила Succinct швидко вийти на поверхню. Але водночас, підтримувана @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 віртуальна машина спрощує складність нульових знань, створюючи об'єктивне середовище, що робить генерацію доказів настільки ж простою, як традиційні обчислення.
Succinct SP1 та Boundless R0VM обидва базуються на інструкційному наборі RISC-V, підтримують написання на мові Rust та автоматизоване генерування ZK-доказів. Вони також підходять для загальних обчислювальних сцен.
Система доказів на базі SP1 від SuccinctLabs запозичила модульний 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 proof-of-production має фундаментальне значення для широкомасштабної комерціалізації @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).
Дорогий Succinct派：
Як Cosmos, рідна інтеграція IBC Eureka пропонує послуги генерації zk-доказів для реалізації міжланцюгової взаємодії IBC в глобальній гетерогенній мережі блокчейнів. Включаючи, але не обмежуючись: надання ранньої технічної підтримки Polygon, DA рівня @celestia, @AvailProject тощо;
Шановний 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 далекий від того, щоб привернути увагу і увагу, на які заслуговує ринок, але він має такий же потенціал, як і Sucinct, стати лідером загального інфраструктурного треку zk, що також є моїм початковим наміром написати цей найдетальніший вступ до всієї мережі в китайському регіоні в даний час.
! qmpGkK5I0XbHF8jYekNUOnVaV8Tzn0esF7CWi7XZ.png
Наразі найпопулярнішим протоколом у сегменті ринку zk-доказів безумовно є @SuccinctLabs, а запрошувальна зіркова акція для гравців на кінцевому рівні дозволила Succinct швидко вийти на поверхню. Але водночас, підтримувана @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 віртуальна машина спрощує складність нульових знань, створюючи об'єктивне середовище, що робить генерацію доказів настільки ж простою, як традиційні обчислення.
Succinct SP1 та Boundless R0VM обидва базуються на інструкційному наборі RISC-V, підтримують написання на мові Rust та автоматизоване генерування ZK-доказів. Вони також підходять для загальних обчислювальних сцен.
! 1UuwP6JKRDlta0cJQdpV29ZXtoKAJe130kODWKAC.png
Диференціація:
1）Оригінальність базових технологій;
Система доказів на базі SP1 від SuccinctLabs запозичила модульний 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 proof-of-production має фундаментальне значення для широкомасштабної комерціалізації @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).
Дорогий Succinct派：
Як Cosmos, рідна інтеграція IBC Eureka пропонує послуги генерації zk-доказів для реалізації міжланцюгової взаємодії IBC в глобальній гетерогенній мережі блокчейнів. Включаючи, але не обмежуючись: надання ранньої технічної підтримки Polygon, DA рівня @celestia, @AvailProject тощо;
Шановний 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, а наразі ця революція тільки починається.