[Довгий тред англійською] Дослідницький звіт Brevis: необмежено верифікований обчислювальний шар zkVM та ZK Data Coprocessor

Chainfeeds Вступ:

Brevis, інтегруючи універсальну zkVM (Pico/Prism) із співпроцесором даних (zkCoprocessor), створив багатоланцюговий рівень верифікованих обчислень.

Джерело:

Jacob Zhao

Думка:

Jacob Zhao: «Верифіковані обчислення» (Verifiable Computing) вже стали універсальною обчислювальною моделлю для блокчейну, основна ідея якої — «обчислення поза ланцюгом + верифікація на ланцюгу». Ця парадигма дозволяє блокчейну зберігати децентралізацію та мінімізацію довіри, водночас отримуючи майже необмежену свободу обчислень. Zero-knowledge proof (ZKP) є основою цієї системи, а основні напрямки застосування включають масштабованість, захист приватності та інтероперабельність / цілісність даних. Серед них масштабованість — це перший напрямок, що був реалізований: обчислення виконуються поза ланцюгом, а на ланцюгу верифікується короткий доказ, що забезпечує високу пропускну здатність і низькі витрати для масштабування довіри. Еволюція ZK-технологій може бути описана так: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup вперше реалізував виконання поза ланцюгом і верифікацію на ланцюгу, значно підвищивши продуктивність; zkVM розширив це до універсального рівня верифікованих обчислень, підтримуючи крос-ланцюгову верифікацію, AI-інференс та криптографічні задачі; zkCoprocessor модулює цю модель, стаючи plug-and-play сервісом доказів для DeFi, RWA, управління ризиками; L1 zkEVM зрештою вбудовує zero-knowledge верифікацію у виконувальний рівень Ethereum, реалізуючи Realtime Proving (RTP). Ця еволюція означає перехід блокчейну від «масштабованості» до «верифікованості» та вступ у епоху обчислень без довіри. Шлях zkEVM для Ethereum проходив два етапи: перший етап (2022–2024), коли L2 Rollup переносить виконувальний рівень, але вводить фрагментацію ліквідності та стану; другий етап (2025–), коли L1 RTP замінює N-of-N перевірку на 1-of-N доказ, зберігаючи децентралізацію при підвищенні пропускної здатності. За межами Ethereum zero-knowledge обчислення рухаються до ширшої сфери верифікованих обчислень, основними компонентами якої є zkVM та zkCoprocessor. zkVM (zero-knowledge virtual machine) — це універсальний двигун верифікованого виконання, який підтримує виконання будь-яких програм на RISC-V, MIPS або WASM, а результати доказів можуть бути верифіковані на ланцюгу, використовуючись для верифікації блоків, AI-інференсу та крос-ланцюгових задач. Його переваги — універсальність і гнучкість, але вартість генерації доказів висока, а оптимізація паралелізму складна. Серед представників — RiscZero, SP1 від SuccinctLabs та Pico zkVM від Brevis. Порівняно з цим, zkCoprocessor більше схожий на «верифікований модуль для конкретних сценаріїв», що надає стандартизовані інтерфейси обчислень і доказів для DeFi, RWA тощо; додатки можуть отримувати результати та докази, просто викликаючи SDK або API, що забезпечує швидку інтеграцію та низькі витрати, але обмежену універсальність. Обидва підходи поділяють логіку «обчислення поза ланцюгом + верифікація на ланцюгу»: вартість виконання обчислень на ланцюгу набагато вища, ніж сукупна вартість генерації доказу поза ланцюгом і верифікації на ланцюгу. З точки зору бізнесу, zkVM — це модель «Proving-as-a-Service», що надає обчислювальний двигун для інфраструктури; zkCoprocessor — це «Proof-API-as-a-Service», SaaS-структура з оплатою за завдання для прикладного рівня. Перший створює технологічний бар'єр, другий сприяє комерціалізації. Разом вони формують два полюси недовірчої обчислювальної мережі: zkVM створює обчислювальну основу, zkCoprocessor стимулює екосистему. Brevis Network поєднує архітектури zkVM і zkCoprocessor, створюючи універсальну високопродуктивну інфраструктуру верифікованих обчислень, яку називають «шаром необмежених обчислень». Його Pico zkVM використовує модульну архітектуру, розділяючи універсальний виконувальний рівень і апаратно-прискорений співпроцесор, реалізуючи двошарову систему «General + Specialized», підтримуючи різні бекенди доказів і модулі рекурсивної компресії; розробники можуть писати бізнес-логіку на Rust і автоматично генерувати докази, значно знижуючи поріг входу. Pico Prism ще більше підвищує продуктивність багатоядерних GPU-кластерів: у середовищі 64×RTX5090 досягає середнього часу доказу 6,9 секунди та RTP-покриття 96,8%, що у 3,4 рази перевищує співвідношення продуктивності до вартості аналогів. zk Data Coprocessor від Brevis надає смарт-контрактам «пам'ять», дозволяючи їм отримувати доступ до історичних даних і виконувати верифікацію без довіри, що використовується для винагороди ліквідності, крос-ланцюгової ідентифікації та data-driven DeFi. Його Incentra incentive layer забезпечує прозорий розподіл на ланцюгу через ZK-докази, вже обслуговуючи такі протоколи, як PancakeSwap, Euler, UsualMoney, Linea. Згідно з Brevis Explorer, до жовтня 2025 року мережа вже згенерувала 125 millions ZK-доказів, підтримує понад 2.8 billions доларів TVL і верифікувала обсяг транзакцій понад 1 billions доларів. Brevis, спираючись на безпековий рівень Ethereum та EigenLayer, розширюється до BNB, Linea, 0G та інших екосистем, забезпечуючи базову підтримку для ончейн-стимулювання, оптимізації ліквідності та крос-ланцюгової верифікації, створюючи флайвіл-мережу верифікованих обчислень із двостороннім зворотним зв'язком між технологіями та застосуваннями. [Оригінал англійською]