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

Brevis — це перевірний обчислювальний шар, який використовують протоколи та основа Ethereum.

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

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

Розширення можливостей смартконтрактів: суперздатності, які приносить ZK Data Coprocessor.

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

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

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

Коли можливості доказів досягають рівня системи: Pico zkVM і ProverNet.

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

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

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

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

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

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

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

Протокол не бреше: використання — це головний засіб оцінки

Технологічна цінність Brevis остаточно проявляється в реальних додатках. Це не концепт для демонстраційного матеріалу, а частина щоденного функціонування протоколу. Від збору даних до розрахунку показників, розподілу винагород, регулювання ставок - багато завдань, які раніше були або неможливими, або вирішувалися централізованими скриптами, тепер отримують більш протокольний шлях. У процесі цього Brevis вже згенерував понад 280 мільйонів доказів для користувачів, розподілив понад 230 мільйонів доларів винагород і безпечно забезпечив ріст TVL на 2,5 мільярда доларів.

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

Якщо PancakeSwap орієнтований на персоналізований досвід, схожий на CEX, то Usual демонструє довгострокові механізми росту, перетворюючи винагороди з одноразових airdrop в CPI, що постійно діє. Винагороди прив'язуються до довготривалих дій, таких як утримання активів та інтеракції, а Brevis перетворює ці показники на верифіковані вводи для автоматизації розподілу та аудиту. Через Incentra винагорода стає стандартизованою функцією: протокол може видавати нагороди за LP, кредитування чи утримання активів. Ключовим є обчислення показників поза мережею та розрахунок за доказами на мережі. Подія Euler на Arbitrum — приклад, коли винагороди базуються на правилах та доказах, а не на ручному зборі даних чи централізованому випуску.

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

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

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

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

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

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

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

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

Натисніть, щоб дізнатись про вакансії на BlockBeats

Запрошуємо приєднатися до офіційної спільноти BlockBeats:

Telegram група для підписників: https://t.me/theblockbeats

Telegram чат-група: https://t.me/BlockBeats_App

Офіційний акаунт у Twitter: https://twitter.com/BlockBeatsAsia