Brevis: Відкрийте еру необмежених обчислень у блокчейні

原文 заголовок：Brevis: відкриваючи епоху необмежених обчислень у блокчейні

Оригінальний автор:律動BlockBeats

Джерело:

Перепублікація: 火星财经

У листопаді 2025 року на Argentina Devconnect дослідник Ethereum Foundation Джастін Дрейк продемонстрував інший процес валідації блоків, його вузол валідації використовував клієнт zkLighthouse, який покладався лише на нульові знання (zk) з протоколів, таких як Pico zkVM від Brevis, для визначення дійсності блоку. Це дуже ймовірно передвіщує майбутній напрямок масштабування Ethereum. Це доводить одне: блокчейн не обов’язково виконує всі обчислення повторно, достатньо лише перевірити зовнішньо згенеровані докази.

Що таке Brevis: перевірюваний рівень обчислень, що використовується протоколами та ядром Ethereum

Мета Brevis — не просто конкретний застосунок, а рівень перевірюваних обчислень. Як безмежний рівень обчислень (Infinite Compute Layer), він дозволяє виконувати складні обчислення поза ланцюгом і повертати результати у ланцюг за допомогою нульових знань, де смарт-контракти з мінімальними витратами виконують перевірку. Це важливо, оскільки стандартна модель безпеки Ethereum в основі залежить від повторного обчислення всієї мережі: кожен вузол після отримання нового блоку зазвичай має повторно виконати транзакції у блоці, щоб підтвердити правильність результату виконання. Хоча це гарантує правильність, це також означає, що обчислювальні потужності та ресурси з часом зростають із навантаженням. Brevis перетворює цю необхідність повторних важких обчислень у один раз — обчислення поза ланцюгом з генерацією доказу, який потім підтверджується мережею у ланцюгу.

На відміну від багатьох zk-застосунків, що зосереджені лише на приватності або масштабуванні, Brevis вирішує структурні проблеми Web3. Коли обчислення у ланцюгу стають дедалі складнішими та частішими, чи обов’язково кожен вузол має повторювати обчислення для збереження довіри? Шлях Brevis — вивести обчислення за межі ланцюга, виконати їх zkVM і згенерувати доказ, а потім у ланцюгу лише перевірити цей доказ. Це дозволяє смарт-контрактам довіряти історичним даним, міжланцюговим станам або складним алгоритмам без додаткових довірчих припущень. У процесі досягнення цієї мети три основні технології — ZK Data Coprocessor, Pico zkVM і ProverNet — складають її сучасну технічну основу.

Дозволити смарт-контрактам виходити за межі: суперсили ZK Data Coprocessor

Першим технологічним проривом Brevis стала ZK Data Coprocessor. Вона дозволяє смарт-контрактам запитувати будь-які історичні дані у ланцюгу, виконувати поза ланцюгом обчислення та генерувати нульові знання, надаючи результати як довірені вхідні дані для контракту. ZK Data Coprocessor може запитувати та обчислювати історичний обсяг транзакцій або поведінку користувачів у ланцюгу, створюючи доказ для перевірки контрактом. Це означає, що контракти, які раніше могли отримувати доступ лише до поточного блоку, тепер можуть використовувати дані за довгий період і міжланцюговий стан.

У 2023 році, після створення прототипу Coprocessor, Brevis пройшов ітерації до січня 2025 року, коли був випущений v2 і запущений у основну мережу. Основна зміна v2 — не потрібно прив’язуватися до конкретної назви системи доказів, її можна узагальнити трьома пунктами: швидше (зменшення ресурсів і часу для виконання тих самих завдань), більш універсально (охоплює більше типів даних і обчислень), зручніше (спрощення процесу, приховування складності).

Якщо поглянути назад на технічний шлях Brevis до 2025 року, то він зводився до однієї головної лінії: спочатку визначити межі продуктивності системи доказів, потім зробити поза ланцюгом обчислення та валідацію у вигляді доступного Coprocessor і постійно вдосконалювати його, досліджуючи більш систематизовані форми роботи. Ще цінніше те, що команда демонструє глибоке розуміння криптографії та системної інженерії, не покладаючись лише на теоретичні розрахунки, а з перших кроків фокусуючись на вирішенні реальних проблем галузі та масштабному впровадженні технологій.

Коли можливості доказів перейшли у системний рівень: Pico zkVM і ProverNet

У 2025 році Brevis доповнив ще дві важливі складові: більш універсальний та орієнтований на виробництво доказовий рушій Pico zkVM і відкриту мережу генерації доказів ProverNet, що дозволяє масштабувати та постійно постачати докази.

Pico zkVM можна розглядати як універсальний доказовий рушій Brevis, який переводить нульові знання з спеціалізованих схем у більш програмно-орієнтовану форму — розробники пишуть логіку звичним способом, а нижній рівень перетворює її у підтверджуваний доказ. Головне — Pico орієнтований на реальні бізнес-застосунки з урахуванням пропускної здатності та вартості. За однакових умов, порівняння показують, що Pico має явну перевагу у продуктивності серед основних zkVM, а також може ефективніше виконувати окремі типи обчислень за допомогою модульних компонентів або співпроцесорів.

У червні 2025 року Brevis випустив Pico-GPU, що вивів швидкість генерації доказів на новий рівень, системно перенісши цей процес на GPU, що дало приріст у 10–20 разів — значний прорив для не лише протоколу, а й усього сектору.

У жовтні був представлений Pico Prism, що довів цю концепцію до дуже високого рівня: на 64 споживчих GPU було досягнуто, що 99.6% блоків Ethereum з газом 45M підтверджувалися за 12 секунд, а 96.8% — за 10 секунд, середній час підтвердження — близько 6.9 секунд, що майже ідеально відповідає цілі Ethereum Foundation. Швидкість реального підтвердження вперше майже ідеально наздогнала швидкість створення блоків у Ethereum, при цьому використовуючи менше ресурсів у порівнянні з конкурентами.

Такі досягнення отримали прямий відгук у спільноті Ethereum. Віталік прямо у твітері зазначив, що вихід Pico Prism у сектор ZK-EVM — важливий крок у прискоренні та різноманітності доказів. Джастін Дрейк у попередніх твітах оцінив прогрес Pico Prism як надзвичайний: у травні цього року SP1 Hypercube потребував 160 RTX 4090 для підтвердження близько 94% L1-блоків за 12 секунд. Такий прорив у швидкості підтвердження зробив Pico Prism найпривабливішим рішенням.

Після успішної розробки універсального zkVM і технології швидкого підтвердження Brevis почав вирішувати проблему постачання доказів. У листопаді 2025 року компанія оголосила про бачення ProverNet — ринку доказів, де будь-який застосунок може подавати завдання на підтвердження, а через аукціонні механізми вони будуть автоматично розподілятися між вузлами prover. У грудні запущено бета-версію основної мережі, що зробила цю систему доступною: ринок функціонує, запити на підтвердження можна подавати безпосередньо, а prover-и реєструються і починають торги. Це дозволяє уникнути необхідності самостійно створювати інфраструктуру для доказів.

За допомогою трьох основних компонентів Brevis перетворює можливості доказів із інструменту у інфраструктуру: є масштабований рушій для доказів і відкритий мережевий сервіс, що забезпечує постачання довірених обчислень за запитом, — застосунки отримують довірені обчислення за потребою. Це має значення не лише для Ethereum — такий підхід із поза ланцюговими обчисленнями і валідацією у ланцюгу поширюється на весь Web3 і навіть індустрії AI та ігор.

Протокол не брешить: важливо, щоб його використовували

Кінцева цінність технології Brevis — у реальних застосунках. Це не просто концепція для презентацій, а частина щоденної роботи протоколу: як збирати дані, як рахувати показники, як розподіляти нагороди, як регулювати комісії — раніше ці задачі або були неможливі, або вимагали централізованих скриптів. Тепер з’явився більш протоколізований шлях. За цим шляхом Brevis вже згенерував понад 280 мільйонів доказів, розподілив понад 230 мільйонів доларів нагород і безпечно сприяв зростанню TVL на 25 мільярдів доларів.

Найпростіший спосіб зрозуміти Brevis — через найзнайоміші для користувача транзакції. Brevis може забезпечити DEX функціоналом, схожим на CEX, з гарантією приватності та достовірності даних, що покращить досвід користувачів. PancakeSwap Infinity через хуки дозволяє зробити рівень комісій залежним від історичних дій, таких як володіння токенами або обсяг транзакцій. Але ці рішення базуються на агрегуванні історичних даних, що дорого у ланцюгу або викликає довіру до сторонніх. Brevis робить так, щоб історичні дані обчислювалися поза ланцюгом, а потім підтверджувалися доказом і поверталися у ланцюг, дозволяючи закодувати диференційовані ставки у смарт-контракті, а не у бекенд-скриптах.

Якщо PancakeSwap — це більш персоналізований досвід, схожий на CEX, то Usual демонструє довгострокову модель з мотивацією, що перетворює одноразові аірдропи у постійний CPI. Нагороди та активність, такі як володіння або взаємодії, довгостроково прив’язані до показників, а Brevis робить ці показники перевірюваними вхідними даними, автоматизуючи розподіл і роблячи його аудиту. Це дозволяє уникнути довіри до окремих операторів або централізованих таблиць. За допомогою Incentra нагороди стають стандартною функцією, що базується на поза ланцюгових обчисленнях і підтвердженнях — розподіл нагород LP, кредитування або володіння відбувається через обчислення поза ланцюгом і підтверджується у ланцюгу.

Коли сценарії розширюються до рівня екосистеми, програма Ignition від Linea ілюструє цю ідею: не важливо, як запускати стимули, важливо — як їх видавати. Brevis дозволяє виконувати масштабні обчислення нагород поза ланцюгом і підтверджувати їх у ланцюгу, переводячи централізовані операції у повторювані системні можливості. Аналогічно, Uniswap v4 із програмою Routing Rebate також базується на даних, обчисленнях і розрахунках у ланцюгу. Brevis забезпечує поза ланцюгові обчислення і генерацію доказів, щоб система повернення коштів працювала за правилами і перевіркою, а не довірою до окремих статистик.

Об’єднуючи ці кейси, можна сказати, що дані, обчислення та генерація доказів у Brevis дозволяють протоколам зберігати децентралізованість і водночас вбудовувати більше логіки, раніше можливої лише через централізовані бекенди. Це відкриває нові можливості для дизайну протоколів у криптоіндустрії.

Хто підтримує довгострокові технології?

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

Це видно з підтримки з боку інвестицій і спільнот. У листопаді 2024 року Brevis завершив посівне фінансування, яке очолили Polychain і Yzi Labs, що забезпечило фінансування для подальшої роботи над zkVM, мережею доказів і продуктовою реалізацією. У 2025 році активність спільноти зросла значно, зокрема завдяки Proving Grounds, системі ролей і механізмам завдань, що залучають розробників і користувачів. Плюс, публічне схвалення Віталіка та увага Джастіна Дрейка з Ethereum Foundation до прогресу підтверджують довіру до Brevis як до інфраструктурного проекту, що має довгостроковий потенціал.

Від Ethereum до ширшого світу

Довгий час масштабування Ethereum стикалося з структурною дилемою: або повторне обчислення всіх вузлами для безпеки і довіри, що обмежує пропускну здатність і вартість, або делегування обчислень стороннім, що вимагає додаткової довіри. Brevis пропонує третій шлях — виконувати складні обчислення поза ланцюгом і підтверджувати їх доказами, що повертають довіру у ланцюг, переводячи систему з повторного обчислення на розподіл ролей у процесі валідації. Це не просто рішення для Ethereum, а цілісна система перевірюваних обчислень.

Brevis не є єдиним рішенням для масштабування Ethereum, але демонструє важливість рівня перевірюваних обчислень: роз’єднання обчислень і валідації, що забезпечує безпеку і децентралізацію, одночасно зменшуючи навантаження на ланцюг. І головне — потенціал безмежного рівня обчислень не обмежується Ethereum. Для всієї криптоіндустрії це означає, що більше застосунків зможуть працювати у безпечному режимі з високою складністю та досвідом Web2; а у ширшому світі — підтвердження результатів стане новим універсальним мовою для співпраці, коли кілька сторін мають спільний результат, але не довіряють один одному. З розвитком відкритих мереж доказів, таких як ProverNet, ця концепція перетворюється не лише на підсилення окремих ланцюгів, а й на універсальну платформу для довірених обчислень між різними екосистемами і галузями.