Brevis аналітичний звіт: ZKVM та безмежний рівень довірчої обробки даних

2025-10-27 07:54:21

Автор: JacobZhao Джерело: mirror

Парадигма «позамежних обчислень + перевірки в межах ланцюга» (Verifiable Computing) стала загальною обчислювальною моделлю для блокчейн-систем. Вона дозволяє застосування блокчейну отримати майже безмежну обчислювальну свободу (computational freedom) при збереженні децентралізації та мінімізації довіри (trustlessness) безпеки. Нульові знання (ZKP) є основною опорою цієї парадигми, її застосування зосереджене на трьох основних напрямках: масштабованість (Scalability), приватність (Privacy), а також міжоперабельність та цілісність даних (Interoperability & Data Integrity). Серед них, масштабованість є найпершим випадком впровадження технології ZK, що досягається шляхом перенесення виконання транзакцій за межі ланцюга, з короткими доказами для перевірки результатів на ланцюзі, що забезпечує високу TPS та низькі витрати на довірену масштабованість.

Еволюція ZK надійних обчислень може бути узагальнена як L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Ранні L2 zkRollup перенесли виконання на другий рівень і подали докази дійсності (Validity Proof) на першому рівні, щоб досягти високої пропускної здатності та низьких витрат на розширення з мінімальними змінами. Потім zkVM розширився до загального рівня перевіряємих обчислень, що підтримує кросчейн перевірку, AI інференцію та криптографічні обчислення (представлені проекти: Risc Zero, Succinct, Brevis Pico). zkCoprocessor розвивався паралельно, як модуль для перевірки на основі сценаріїв, щоб надати послуги обчислень і доказів на вимогу для DeFi, RWA, управління ризиками тощо (представлені проекти: Brevis, Axiom). У 2025 році концепція zkEVM розшириться до L1 реального часу (Realtime Proving, RTP), створюючи перевіряємі схеми на рівні інструкцій EVM, що дозволяє вбудувати нульові знання безпосередньо в процес виконання та перевірки основної мережі Ethereum, ставши рідною перевіряємою механікою виконання. Ця лінія демонструє технологічний стрибок блокчейну від “масштабованості” до “перевіряємості”, відкриваючи нову стадію надійних обчислень.

І. Шлях розширення Ethereum zkEVM: від L2 Rollup до L1 реального доказу

Шлях масштабування zkEVM Ethereum проходить два етапи:

Етап 1 (2022–2024): L2 zkRollup буде виконувати перенесення на другий рівень, подаючи докази дійсності на першому рівні; суттєво знижує витрати та підвищує пропускну здатність, але призводить до фрагментації ліквідності та стану, L1 все ще обмежений повторним виконанням N-of-N.
Етап другий (2025–): L1 Реальний доказ (Realtime Proving, RTP) заміщує повторне виконання за допомогою “1-of-N доказу + легка верифікація по всій мережі”, підвищуючи пропускну здатність без жертвування децентралізацією, все ще перебуває в стадії розвитку.

L2 zkRollup етап: баланс між сумісністю та продуктивністю розширення

У 2022 році, на етапі, коли екосистема Layer2 була різноманітною, засновник Ethereum Віталік Бутерин запропонував чотири категорії ZK-EVM (Тип 1–4), систематично розкриваючи структурні компроміси між сумісністю (compatibility) та продуктивністю (performance). Ця структура встановила чіткі координати для подальшої технологічної траєкторії zkRollup:

Тип 1 Повна еквівалентність: відповідає байт-коду Ethereum, найнижча вартість міграції, найповільніше підтвердження. Taiko.
Тип 2 повна сумісність: дуже мало оптимізації на рівні бази, найсильніша сумісність. Scroll, Linea.
Тип 2.5 часткова сумісність: незначні зміни (gas/попередня компіляція тощо) заради продуктивності. Polygon zkEVM, Kakarot.
Тип 3 часткова сумісність: більші зміни, може запускати більшість додатків, але важко повністю повторно використовувати інфраструктуру L1. zkSync Era.
Тип 4 мовний рівень: відмова від сумісності байт-коду, безпосередньо компілюється з високорівневої мови в схему, найвища продуктивність, але потрібно відновити екосистему (представник: Starknet / Cairo).

Поточний режим L2 zkRollup став зрілим: шляхом перенесення виконання на другий рівень та подання доказів дійсності (Validity Proof) на першому рівні, з мінімальними змінами зберігаючи екосистему та інструменти Ethereum, він став основним рішенням для розширення та зниження витрат. Об'єктом доказу є L2 блоки та трансфери стану, тоді як розрахунок та безпека залишаються прив'язаними до L1. Ця архітектура суттєво підвищує пропускну здатність та ефективність, а також зберігає високу сумісність для розробників, але також призводить до ліквідності та фрагментації стану, і L1 все ще обмежена вузьким місцем повторного виконання N-of-N.

L1 zkEVM: Перевірка в реальному часі переосмислює легку логіку верифікації Ethereum

У липні 2025 року Фонд Ethereum опублікував статтю «Shipping an L1 zkEVM #1: Realtime Proving», в якій офіційно запропонував маршрут L1 zkEVM. L1 zkEVM оновлює Ethereum з N-of-N повторного виконання до 1-of-N доказу + швидкої валідації по всій мережі: невелика кількість prover генерує короткі докази для цілого стану EVM, всі валідатори виконують перевірку за постійний час. Ця схема досягає L1 рівня в реальному часі (Realtime Proving) без жертвування децентралізацією, підвищує верхню межу газу в основній мережі та пропускну здатність, а також помітно знижує апаратні вимоги до вузлів. Його реалізація передбачає заміну традиційних виконавчих клієнтів на zk клієнти, які спочатку працюватимуть паралельно, а після зрілості продуктивності, безпеки та механізмів стимулів поступово стануть новою нормою на рівні протоколу.

N з N стара парадигма: всі валідатори повторно виконують цілий блок транзакцій для перевірки, безпечно, але продуктивність обмежена, пікові збори високі.
1 з N нова парадигма: невелика кількість провайдерів виконують цілий блок і генерують короткі докази; у всій мережі проводиться верифікація за константний час. Вартість верифікації значно нижча за повторне виконання, що дозволяє безпечно підвищити верхню межу L1 gas і зменшити вимоги до апаратного забезпечення.

Три основні напрямки дорожньої карти L1 zkEVM

Реальний доказ (Realtime Proving): завершення повного доказу за 12-секундний слот, шляхом паралелізації та апаратного прискорення для зменшення затримок;
Інтеграція клієнта з протоколом: стандартизований інтерфейс перевірки доказів, спочатку необов'язковий, потім за замовчуванням;
Стимули та безпека: створення ринку Prover та моделі витрат, зміцнення антикорупційних механізмів та активності мережі.

Ethereum L1 реальний доказ (RTP) використовує zkVM для повторного виконання всіх транзакцій поза ланцюгом і генерування криптографічного доказу, що дозволяє валідаторам не перераховувати, а лише верифікувати невеликий доказ протягом 10 секунд, що реалізує “перевірку замість виконання”, суттєво підвищуючи масштабованість Ethereum та ефективність децентралізованої верифікації. Згідно з офіційною сторінкою zkEVM Tracker фонду Ethereum, основними командами, що беруть участь у маршруті L1 zkEVM реального доказу, є SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM(Axiom) та Jolt(a16z).

Два, перевершуючи ефір: універсальний zkVM та zkCoprocessor

А в екосистемі Ethereum технологія нульових знань (ZKP) також поширилася на більш широкий сектор загальних верифікованих обчислень (Verifiable Computing), сформувавши дві основні технологічні системи з ядром zkVM та zkCoprocessor.

zkVM: універсальний верифікуємий обчислювальний шар

Віртуальний двигун перевіреного виконання, орієнтований на будь-які програми, з популярними архітектурами команд, такими як RISC-V, MIPS та WASM. Розробники можуть компілювати бізнес-логіку в zkVM, де провайдер виконує її поза ланцюгом і генерує нульовий доказ (ZKP), який може бути перевірений в ланцюзі, що може бути використано як для доказів блоків Ethereum L1, так і для міжланцюгової верифікації, AI-інференції, криптографічних обчислень та складних алгоритмів. Його перевагами є універсальність та широкий спектр адаптації, але складність схем, висока вартість доказів вимагають використання паралельних обчислень на декількох GPU та сильну інженерну оптимізацію. Представлені проекти включають Risc Zero, Succinct SP1, Brevis Pico / Prism.

zkCoprocessor: сценарний верифікаційний модуль

Надає “п Plug-and-Play” обчислювальні та доказові послуги, орієнтуючись на конкретні бізнес-сцени. Платформа має вбудований доступ до даних та логіку схем (таку як читання історичних даних з блокчейну, TVL, розрахунок доходів, верифікація особи тощо), а застосувальники можуть отримувати результати обчислень та підтвердження через SDK/API. Цей режим швидко освоюється, має високу продуктивність та низькі витрати, але має обмежену універсальність. Типові проекти включають Brevis zkCoprocessor, Axiom тощо.

В цілому, zkVM та zkCoprocessor обидва дотримуються парадигми надійних обчислень “обчислення поза ланцюгом + верифікація в ланцюзі”, перевіряючи результати, отримані за межами ланцюга, за допомогою нульових знань. Їхня економічна логіка ґрунтується на такій передумові: витрати на виконання безпосередньо в ланцюзі набагато вищі, ніж загальні витрати на генерацію доказів поза ланцюгом і верифікацію в ланцюзі.

Основна різниця між ними в універсальності та складності інженерії:

zkVM є універсальною обчислювальною інфраструктурою, що підходить для складних, міждоменних або AI-сценаріїв і має максимальну гнучкість;
zkCoprocessor є модульним сервісом валідації, що забезпечує низькозатратні, безпосередньо викликувані інтерфейси валідації для високочастотних повторно використовуваних сценаріїв (DeFi, RWA, управління ризиками тощо).

У комерційному контексті різниця між zkVM та zkCoprocessor полягає в тому, що:

zkVM використовує модель Proving-as-a-Service, що оплачується за кожне підтвердження (ZKP), в основному орієнтуючись на інфраструктурних клієнтів, таких як L2 Rollup. Основні характеристики: великий обсяг контракту, тривалість циклу, стабільна валова маржа;
zkCoprocessor використовує Proof API-as-a-Service, що дозволяє виставляти рахунки за завдання через API або інтеграцію SDK, більш близько до моделі SaaS, орієнтуючись на додатки, такі як DeFi, з швидкою інтеграцією та сильною масштабованістю.

У цілому, zkVM є базовим двигуном для верифікованих обчислень, а zkCoprocessor - це модуль верифікації на прикладному рівні: перший створює технологічний бар'єр, а другий сприяє комерціалізації, разом формуючи універсальну мережу надійних обчислень.

Три. Продуктова лінія та технологічний шлях Brevis

Починаючи з L1 реального часу доказів Ethereum (Realtime Proving), технологія ZK поступово переходить до ери верифікованих обчислень, де в центрі уваги знаходяться універсальні zkVM та zkCoprocessor архітектури. Brevis Network є злиттям zkVM та zkCoprocessor, що побудувала універсальну інфраструктуру верифікованих обчислень, засновану на обчисленнях з нульовим знанням, яка поєднує високу продуктивність та програмованість — безмежний обчислювальний шар для всього (The Infinite Compute Layer for Everything.)

3.1 Pico zkVM: модульна архітектура доказів для загально доступних верифікованих обчислень

У 2024 році Віталік у статті «Glue and Coprocessor Architectures» запропонував архітектуру «**універсальний виконувальний шар + прискорювальний шар для копроцесорів» (glue & coprocessor)**. Складні обчислення можна розділити на універсальну бізнес-логіку та структуровані інтенсивні обчислення — перша прагне до гнучкості (наприклад, EVM, Python, RISC-V), друга прагне до ефективності (наприклад, GPU, ASIC, хеш-модулі). Ця архітектура стає загальною тенденцією для блокчейну, ШІ та криптообчислень: EVM прискорюється за допомогою precompile, ШІ використовує паралелізм GPU, а ZK-докази поєднують універсальну VM і спеціалізовані схеми. Ключовим у майбутньому буде оптимізація «клейового шару» для безпеки та досвіду розробки, тоді як «шар копроцесорів» зосередиться на ефективному виконанні, досягаючи балансу між продуктивністю, безпекою та відкритістю.

Pico zkVM розроблений компанією Brevis і є яскравим проявом цієї концепції. Завдяки архітектурі “універсальний zkVM + прискорення за допомогою ко-процесора” поєднує гнучку програмованість із високопродуктивними обчисленнями спеціалізованих схем. Його модульний дизайн підтримує різні бекенди доказів (KoalaBear, BabyBear, Mersenne31) і дозволяє вільно комбінувати компоненти виконання, рекурсії, стиснення тощо для формування ProverChain.

Модульна система Pico не лише дозволяє вільно компонувати основні елементи, але й може впроваджувати нові механізми доказу та прикладні сопроцесори (такі як дані в ланцюгу, zkML, крос-ланцюгові перевірки), що забезпечує безперервну еволюцію масштабованості. Розробники можуть безпосередньо використовувати інструментальний комплект Rust для написання бізнес-логіки, без потреби в знанні нульових доказів, автоматично генеруючи криптографічні докази, що значно знижує поріг входження в розробку.

У порівнянні з архітектурою відносної монолітності RISC-V zkVM Succinct SP1 та загальною моделлю виконання RISC-V RISC Zero R0VM, Pico реалізує декомпозицію та розширення етапів виконання, рекурсії та стиснення через Modular zkVM + Coprocessor System, підтримуючи перемикання між кількома бекендами та інтеграцію копрограм, формуючи диференційовані переваги в продуктивності та масштабованості.

3.2 Піко Призма: прорив продуктивності багато GPU кластерів

Pico Prism є важливим проривом Brevis у багатосерверній архітектурі GPU та встановив новий рекорд у рамках “реального доказування (Real-Time Proving, RTP)” Фонду Ethereum. На кластері з 64×5090 GPU було досягнуто середнього часу доказування 6,9 секунди з покриттям RTP 96,8%, що робить його лідером у своєму класі серед zkVM. Ця система реалізує оптимізації на рівні архітектури, інженерії, апаратного забезпечення та системи, що означає, що zkVM переходить від дослідницького прототипу до інфраструктури виробничого класу.

Архітектурний дизайн: традиційні zkVM (як SP1, R0VM) в основному покладаються на оптимізацію одного GPU. Pico Prism вперше реалізує паралельне доведення на багатосерверному, багатографічному кластері (Cluster-Level zkProving), шляхом багатопотокового та фрагментного планування, розширюючи zk-доведення до розподіленої обчислювальної системи, що значно підвищує паралелізм і масштабованість.
Реалізація проекту: побудова багатоступеневої асинхронної конвеєрної системи (виконання / рекурсія / стиснення) та механізму повторного використання даних між шарами (кеш proof chunk та повторне використання embedding), а також підтримка перемикання між кількома бекендами (KoalaBear, BabyBear, M31), що значно підвищує ефективність пропускної здатності.
Апаратура: при конфігурації 64×RTX 5090 GPU (приблизно $128K) Pico Prism досягає середнього часу підтвердження 6.0–6.9 секунд, покриття RTP 96.8%, коефіцієнт продуктивності/витрат зріс приблизно в 3.4 рази, що краще, ніж SP1 Hypercube (160×4090 GPU, 10.3 секунд).
Еволюція системи: Як перший zkVM, що відповідає показникам RTP Ethereum Foundation (>96% sub-10s, <$100K витрат), Pico Prism знаменує собою перехід системи zk-доказів від дослідницького прототипу до виробничої інфраструктури рівня основної мережі, надаючи більш економічні рішення для нульових знань у таких сценаріях, як Rollup, DeFi, AI та міжланцюгове підтвердження.

3.3 ZK Data Coprocessor：Рівень інтелектуального нульового знання для обробки даних блокчейну

В оригінальному дизайні смарт-контрактів «відсутня пам'ять» — неможливість доступу до історичних даних, розпізнавання довгострокової поведінки або міжланцюгового аналізу. Brevis пропонує високопродуктивний нульовий знань копрогресор (ZK Coprocessor), який забезпечує доступ до історичних даних між ланцюгами та надійні обчислювальні можливості для смарт-контрактів, перевіряючи та обчислюючи всі історичні стани, транзакції та події блокчейну, застосовуючи їх у таких сценах, як орієнтоване на дані DeFi, активне управління ліквідністю, стимулювання користувачів та міжланцюгова ідентифікація.

Робочий процес Brevis складається з трьох етапів:

Доступ до даних: Смарт-контракт без довіри зчитує історичні дані через API;
Обчислення виконання: розробники використовують SDK для визначення бізнес-логіки, яка обчислюється поза мережею Brevis та генерує ZK-доказ.

Перевірка результатів: підтвердження результатів повертається в мережу, перевіряється контрактом та викликає подальшу логіку.

Brevis одночасно підтримує моделі Pure-ZK та CoChain (OP): перша забезпечує повну мінімізацію довіри, але має вищі витрати; друга дозволяє за допомогою PoS верифікації та ZK механізму виклику досягати перевіряємих обчислень з нижчими витратами. Верифікатори ставлять на Ethereum, якщо результат буде успішно оскаржений ZK доказом, вони будуть оштрафовані, що дозволяє досягти балансу між безпекою та ефективністю. Завдяки інтеграції архітектури ZK + PoS + SDK, Brevis досягає балансу між безпекою та ефективністю, створюючи масштабований рівень надійних даних для обчислень. На сьогодні Brevis обслуговує такі протоколи, як PancakeSwap, Euler, Usual, Linea та інші, усі співпраці zkCoprocessor базуються на **Pure-ZK моделі, ** надаючи надійні дані для DeFi, розподілу винагород та системи ідентифікації на ланцюгу, що робить смарт-контракти справді здатними до “пам'яті та інтелекту”.

3.4 Incentra: заснований на ZK “перевіряйний шар розподілу стимулів”

Incentra є надійною платформою розподілу стимулів, що працює на базі Brevis zkCoprocessor, яка забезпечує безпечний, прозорий і перевіряємий механізм розрахунку та виплати винагород для DeFi протоколів. Вона безпосередньо перевіряє результати стимулювання в ланцюгу за допомогою нульових знань, що реалізує виконання стимулів без довіри, з низькими витратами та міжланцюговістю. Система завершує розрахунок і верифікацію винагород у ZK-циркулах, що забезпечує можливість незалежної перевірки результатів будь-яким користувачем; одночасно підтримує міжланцюгові операції та контроль доступу, забезпечуючи відповідність вимогам, безпеку та автоматизований розподіл стимулів.

Incentra переважно підтримує три типи стимулюючих моделей:

Утримання токенів: розрахунок винагороди за довгострокове утримання на основі зваженого за часом залишку (TWA) ERC-20;
Концентрована ліквідність: розподіл ліквіднісних винагород відповідно до коефіцієнта комісії AMM DEX, сумісний з ALM-протоколами, такими як Gamma, Beefy тощо;
Позика та Запозичення: розрахунок винагороди за позики на основі середніх залишків та боргів.

Ця система була застосована в проектах PancakeSwap, Euler, Usual, Linea тощо, реалізуючи повний надійний замкнутий цикл від розрахунку стимулів до їх розподілу, надаючи DeFi протоколам інфраструктуру для перевірки стимулів на рівні ZK.

3.5 Brevis огляд технологічного стека продукту

Чотири, Технічні характеристики та прориви в продуктивності Brevis zkVM

Стандарт实时证明（Realtime Proving, RTP） L1 zkEVM, запропонований Фондом Ethereum (EF), став галузевою консенсусною та вступною вимогою до того, чи зможе zkVM увійти до маршруту верифікації основної мережі Ethereum. Основні показники оцінки включають:

Затримка вимоги: P99 ≤ 10 секунд (відповідає 12-секундному циклу видобутку Ethereum);
Апаратура: CAPEX ≤ $100K, споживання енергії ≤ 10kW (підходить для домашнього/малого дата-центру);
Рівень безпеки: ≥128-біт (перехідний період ≥100-біт);
Розмір доказу: ≤300 KiB；

Системні вимоги: Не повинні покладатися на надійні налаштування, вихідний код має бути повністю відкритим.

У жовтні 2025 року Brevis опублікує звіт «Pico Prism — 99.6% реального часу доказу для 45M Gas Ethereum Blocks на споживчому обладнанні», оголосивши, що його Pico Prism став першим zkVM, який повністю відповідає стандарту доказу реального часу (RTP) Фонду Ethereum (EF).

У конфігурації з 64×RTX 5090 GPU (близько $128K) Pico Prism досягає середньої затримки 6.9 секунд, 96.8% <10s, 99.6% <12s у 45M gas блоці, що значно перевищує показники Succinct SP1 Hypercube (36M gas, середня затримка 10.3s, 40.9% <10s). За умов зниження затримки на 71% та зменшення вартості обладнання вдвічі, загальна ефективність продуктивності/витрат зросла приблизно в 3.4 рази. Цей результат вже отримав публічне визнання від Фонду Ethereum, Віталіка Бутеріна та Джастіна Дрейка.

П'ять, Розширення екосистеми Brevis та впровадження застосувань

ZK-кообробник даних Brevis (zkCoprocessor) відповідає за обробку складних розрахунків, які dApp не можуть виконати ефективно (наприклад, історичні дані, крос-ланцюгові дані, агрегатний аналіз), а також генерує перевіряємі нульові знання (ZKP). На ланцюзі потрібно лише перевірити цю маленьку довідку, щоб безпечно викликати результат, значно знижуючи витрати Gas, затримки та витрати на довіру. На відміну від традиційних оракулів, Brevis пропонує не лише “результат”, а й “математичну гарантію правильності результату”, основні сценарії застосування яких можна розділити на такі категорії:

Інтелектуальний DeFi (Intelligent DeFi): на основі історичної поведінки та стану ринку реалізація інтелектуальних стимулів та диференційованого досвіду (PancakeSwap, Uniswap, MetaMask тощо)
Зростання RWA та стабільних монет (Зростання RWA & стабільних токенів): автоматичний розподіл доходів від стабільних монет та RWA через ZK верифікацію (OpenEden, Usual Money, MetaMask USD)
Децентралізована торгівля з приватністю (DEX з темними пулами): використання моделі приватної торгівлі з поза ланцюгом узгодженням та верифікацією на ланцюзі, яка незабаром буде запущена.
Кросчейнна взаємодія (Cross-chain Interoperability): підтримка кросчейнового повторного стейкінгу та взаємодії Rollup–L1, створення спільного шару безпеки (Kernel, Celer, 0G)
Холодний запуск публічної блокчейн-мережі (Blockchain Bootstrap): використання механізму заохочення ZK для підтримки холодного запуску та зростання нової екосистеми публічної блокчейн-мережі (Linea, TAC)
Високопродуктивні публічні блокчейни (100× швидше L1s): підвищення продуктивності публічних блокчейнів, таких як Ethereum та BNB Chain, за допомогою технології реального часу доказів (RTP)

Перевіряємий ІІ (Verifiable AI): поєднання захисту приватності та перевіряємого висновку, що забезпечує надійні обчислювальні потужності для AgentFi та даних економіки (Kaito, Trusta)

Згідно з даними Brevis Explorer, станом на жовтень 2025 року мережа Brevis накопичила понад 125 мільйонів ZK-доказів, охоплюючи майже 95 тисяч адрес та 96 тисяч запитів на застосування, широко обслуговуючи такі сценарії, як розподіл винагород, верифікація транзакцій та підтвердження стейкінгу. На екологічному рівні платформа накопичила винагороди на суму близько 223 мільйонів доларів, підтримуваний TVL перевищує 2,8 мільярда доларів, а загальний обсяг трансакцій перевищив 1 мільярд доларів.

Наразі екосистема Brevis зосереджена на двох основних напрямках: розподіл стимулів DeFi та оптимізація ліквідності. Основне споживання обчислювальної потужності забезпечується чотирма проектами: Usual Money, PancakeSwap, Linea Ignition, Incentra, які в сумі складають понад 85%. Зокрема,

Звичайні гроші (46.6M доказів): демонструє свою довгострокову стабільність у масштабному розподілі стимулів;
PancakeSwap (20.6M): відображає високу продуктивність Brevis у розрахунках реальних ставок і знижок;
Linea Ignition (20.4M): перевірте його високу пропускну спроможність у екосистемі L2;
Incentra (15.2%): Позначає еволюцію Brevis від інструментів SDK до стандартизованої платформи стимулювання.

У сфері стимулювання DeFi Brevis спирається на платформу Incentra для підтримки кількох протоколів, забезпечуючи прозорі та безперервні виплати винагород:

Звичайна грошова річна програма стимулювання перевищує $300M, забезпечуючи постійний дохід для користувачів стейблкоїнів та LP;
OpenEden та Bedrock реалізують розподіл доходів від американських облігацій та Restaking на основі моделі CPI;
Протоколи, такі як Euler, Aave, BeraBorrow, використовують ZK для перевірки позик та розрахунку винагород.

У сфері оптимізації ліквідності PancakeSwap, QuickSwap, THENA, Beefy та інші використовують динамічні ставки Brevis та плагіни ALM для реалізації знижок на транзакції та агрегації міжланцюгових прибутків; Jojo Exchange та Uniswap Foundation використовують механізм ZK верифікації для створення більш безпечної системи стимулювання транзакцій.

На рівні міжмережевої взаємодії та інфраструктури, Brevis розширився з Ethereum до BNB Chain, Linea, Kernel DAO, TAC та 0G, забезпечуючи надійні обчислення та міжмережеву верифікацію для багатосторонньої екосистеми. Водночас проекти, такі як Trusta AI, Kaito AI, MetaMask, використовують ZK Data Coprocessor для створення системи захисту конфіденційності балів, рейтингів впливу та винагород, сприяючи розвитку інтелектуальних даних Web3. На базовому рівні системи, Brevis спирається на мережу EigenLayer AVS для забезпечення безпеки повторного стейкінгу та поєднує технологію агрегованого доказу NEBRA (UPA), стискаючи кілька ZK-доказів в один запит, що значно знижує витрати та затримки верифікації в мережі.

В цілому, Brevis охоплює повний цикл застосунків, починаючи від довгострокових заохочень, винагород за активність, верифікації транзакцій до платформних послуг. Його високочастотні завдання верифікації та повторно використовувані шаблони електронних схем надають Pico/Prism справжнє навантаження на продуктивність та зворотний зв'язок для оптимізації, що має на меті підтримати систему миттєвого доказування L1 zkVM на інженерному та екосистемному рівні, утворюючи двосторонній маховик технологій та застосувань.

Шість, фон команди та фінансування проєкту

Мо Дун｜Співзасновник (Co-founder, Brevis Network)

Доктор Мо Дунг є співзасновником Brevis Network, він має ступінь доктора філософії з комп'ютерних наук в Університеті Іллінойс в Урбана-Шампейн (UIUC). Його наукові результати були опубліковані на міжнародних провідних наукових конференціях, були прийняті такими технологічними компаніями, як Google, і отримали тисячі академічних посилань. Він є експертом у галузі алгоритмічної теорії ігор та проектування механізмів, зосереджений на просуванні поєднання нульових знань (ZK) та децентралізованих механізмів стимулювання, прагнучи створити надійну Verifiable Compute Economy. Як партнер з ризикового капіталу в IOSG Ventures, він також тривалий час цікавиться ранніми інвестиціями в інфраструктуру Web3.

Команда Brevis була заснована докторами філософії з криптографії та комп'ютерних наук, які працювали в UIUC, MIT та UC Berkeley, а ключові учасники мають багаторічний досвід досліджень у сфері систем нульового знання (ZKP) та розподілених систем і опублікували кілька статей, що пройшли рецензування. Brevis отримав технічне визнання від Фонду Ethereum (Ethereum Foundation), а його основний модуль вважається ключовою інфраструктурою для масштабованості на базі блокчейну.

Brevis завершив раунд початкового фінансування на 7,5 мільйонів доларів у листопаді 2024 року, лідерами якого стали Polychain Capital та Binance Labs, а також учасниками, які включають IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures та стратегічних ангелів-інвесторів з Kyber, Babylon, Uniswap, Arbitrum, AltLayer.

Сім, аналіз конкурентів на ринку ZKVM та ZK Coprocessor

Наразі ETHProofs.org, підтримуваний Фондом Ethereum, став основною платформою для відстеження маршруту L1 zkEVM реального часу (Realtime Proving, RTP), що використовується для публічної демонстрації продуктивності, безпеки та прогресу адаптації різних zkVM до основної мережі.

Загалом, конкуренція на трасі RTP зосереджується на чотирьох основних вимірах:

Дорослість: SP1 має найвищий рівень зрілості в продуктивному розгортанні; Pico має провідні показники продуктивності та близький до стандартів основної мережі; RISC Zero стабільний, але дані RTP не опубліковані.
Продуктивність: обсяг доказу Pico приблизно 990 кБ, що на 33% менше, ніж SP1 (1,48 МБ), а витрати нижчі;
Безпека та аудит: RISC Zero та SP1 пройшли незалежний аудит безпеки; Pico знаходиться в процесі аудиту;
Розвиток екосистеми: основні zkVM використовують набір інструкцій RISC-V, SP1 базується на Succinct Rollup SDK, що формує широкомасштабну інтегровану екосистему; Pico підтримує автоматичне генерування доказів на Rust, а рівень вдосконалення SDK швидко зростає.

Згідно з останніми даними, наразі в RTP секторі сформувалася “двійка лідерів”.

Перша група Brevis Pico (включаючи Prism) та Succinct SP1 Hypercube обидві прямо вказують на стандарт, встановлений EF, P99 ≤ 10s. Перша досягає прориву в продуктивності та вартості завдяки розподіленій багатографічній архітектурі; друга підтримує зрілість проєкту та стабільність екосистеми завдяки монолітній системі. Pico представляє інновації в продуктивності та архітектурі, тоді як SP1 символізує практичність та лідерство в екосистемі.
Другая група RISC Zero, ZisK, ZKM продовжує дослідження в напрямку екологічної сумісності та легкості, але ще не опублікувала повні показники RTP (затримка, енергоспоживання, CAPEX, безпека, обсяг доказу, відтворюваність). Scroll (Ceno) та Matter Labs (Airbender) намагаються розширити технологію Rollup до рівня верифікації L1, що відображає тенденцію еволюції від розширення L2 до верифікованих обчислень L1.

У 2025 році в траєкторії zkVM вже сформувався технологічний ландшафт з єдиним RISC-V, модульною еволюцією, рекурсивною стандартизацією та апаратним прискоренням паралельних обчислень. Загальний рівень перевіряємого обчислення (Verifiable Compute Layer) zkVM можна поділити на три категорії:

Ориєнтований на продуктивність: Brevis Pico, SP1, Jolt, ZisK зосереджені на низькій затримці та реальному підтвердженні, підвищуючи обчислювальну пропускну спроможність за допомогою рекурсивного STARK та прискорення GPU.
Модульність та масштабованість: OpenVM, Pico, SP1 підкреслюють модульну вбудованість, підтримують підключення копрограм.
Екологічний та загальний розробницький: RISC Zero, SP1, ZisK зосереджуються на SDK та сумісності мов, сприяючи універсалізації.

Порівняння конкурентних проектів zkVM (станом на жовтень 2025 року)

Сьогодні в секторі zk-Coprocessor сформувався ландшафт, представленний Brevis, Axiom, Herodotus і Lagrange. Серед них Brevis займає лідируючу позицію з архітектурою «ZK даних кооператора + універсальний zkVM», що поєднує в собі можливості читання історичних даних, програмованих обчислень та L1 RTP; Axiom зосереджений на верифікованих запитах та зворотньому зв’язку з електричними схемами; Herodotus спеціалізується на доступі до історичних станів; Lagrange оптимізує продуктивність міжлінкових обчислень за допомогою гібридної архітектури ZK+Optimistic. Загалом, zk-Coprocessor стає надійним обчислювальним інтерфейсом, що з'єднує DeFi, RWA, AI, ідентичність та інші додатки, у формі “верифікованого сервісного рівня”.

Висновок: Бізнес-логіка, інженерна реалізація та потенційні ризики

Комерційна логіка: продуктивність та подвійне колесо обертання Brevis створює багатоланцевий рівень надійних обчислень за допомогою «універсального zkVM (Pico/Prism)» та «копрограматора даних (zkCoprocessor)»: перший вирішує питання перевірки будь-яких обчислень, а другий реалізує бізнес на основі історичних та міжланцевих даних. Його логіка зростання формує позитивний цикл “продуктивність — екосистема — витрати”: продуктивність RTP Pico Prism приваблює інтеграцію провідних протоколів, що призводить до зростання масштабу доказів та зниження разових витрат, формуючи постійно посилюване подвійне колесо обертання. Конкурентні переваги полягають у трьох аспектах:

Відтворюваність продуктивності — включено до системи ETHProofs RTP Фонду Ethereum;
Архітектурні бар'єри — модульний дизайн та паралельне виконання на кількох GPU забезпечують високу масштабованість;
Бізнес-верифікація — вже реалізовано в масштабах у розподілі винагород, динамічних ставках та міжланцюговій верифікації.

Інженерне впровадження: від “інтенсивного виконання” до “перевірки замість виконання”

Brevis реалізує середній час 6.9 секунд при 45M gas блоках завдяки паралельній структурі Pico zkVM та Prism, P99 < 10 секунд (64×5090 GPU, <$130 K CAPEX), продуктивність та вартість перебувають на провідних позиціях. Модуль zkCoprocessor підтримує читання історичних даних, генерацію схем та перевірку зворотного зв'язку, і може гнучко переключатися між Pure-ZK та Hybrid режимами, загальна продуктивність вже в основному узгоджена з жорсткими стандартами RTP Ethereum.

Потенційні ризики та ключові моменти уваги

Технологічні та регуляторні бар'єри: Brevis все ще повинен завершити публічну та третю верифікацію жорстких показників, таких як споживання енергії, безпечні позиції, розмір доказів та залежність від надійних налаштувань. Оптимізація довгих хвостів залишається критично важливою, коригування EIP може змінити вузькі місця в продуктивності.
Конкуренція та ризики заміщення: Succinct (SP1/Hypercube) все ще є лідером у інтеграції інструментів та екосистеми, команди Risc Zero, Axiom, OpenVM, Scroll, zkSync залишаються конкурентоспроможними.
Концентрація доходів та структура бізнесу: Поточна кількість доказів сильно зосереджена (четири найбільші програми займають близько 80%), необхідно зменшити залежність через розширення в кількох галузях, на кількох публічних блокчейнах та з різними випадками використання. Вартість GPU може вплинути на одиничну валову прибутковість.

Узагальнюючи, Brevis вже побудував початкову захисну стіну по обидва кінці: “відтворюваність продуктивності” та “реалізованість бізнесу”: Pico/Prism впевнено зайняли перше місце в сегменті L1 RTP, а zkCoprocessor відкрив комерційні сценарії високої частоти та повторного використання. У майбутньому доцільно поставити мету досягнення повних жорстких показників RTP Фонду Ethereum як етапну ціль, продовжуючи зміцнювати стандартизацію продукції співпроцесорів та розширення екосистеми, одночасно сприяючи відтворенню третіми сторонами, безпеці аудитів та прозорості витрат. Через досягнення структурного балансу між інфраструктурою та доходами SaaS буде сформований стійкий замкнутий цикл комерційного зростання.

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.