Brevis демонструє перевірку доведення нульової відомості на Ethereum Devconnect 2025

iconBlockbeats
Поділитися
Share IconShare IconShare IconShare IconShare IconShare IconCopy
AI summary iconКороткий зміст

expand icon
Новини про Ethereum з конференції розробників 2025 в Аргентині демонструють, як Brevis демонструє новий процес валідації блоків, використовуючи клієнта zkLighthouse. Новини екосистеми Ethereum підкреслюють, як нульові докази від Pico zkVM компанії Brevis дозволяють здійснювати перевірку без повторного виконання обчислень. Brevis, шар перевірених обчислень, дозволяє виконувати операції поза ланцюгом і повертати результати через нульові докази. Основні інструменти включають ZK Data Coprocessor, Pico zkVM та ProverNet. Pico-GPU та Pico Prism підвищують швидкість створення доказів. Brevis створила понад 280 мільйонів доказів і змогла залучити 2,5 мільярда доларів у загальну ринкову капіталізацію (TVL). Важливі протоколи, такі як PancakeSwap, Usual та Linea, вже використовують цю платформу.

У листопаді 2025 року на Devconnect в Аргентині дослідник Фонду Ethereum Джастін Дрейк представив новий процес перевірки блоків. Його вузол перевірки використовував клієнт 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 постійно вдосконалював технологію, і в січні 2025 року було випущено версію v2 та запущено її у головній мережі. Основні зміни v2 можна узагальнити в трьох аспектах: швидше (виконання тих самих завдань з меншими ресурсами та за коротший час), більш універсально (покриття ширшого спектру даних та обчислювальних потреб), зручніше (спрощення процесів та інкапсуляція складності).


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


Коли доказова здатність стає частиною системи: Pico zkVM та ProverNet.


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


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


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


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


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


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


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


Протокол не бреше: лише використання має значення


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



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


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


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


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


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


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


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


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


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


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



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


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

4. Телеграм-канал для підписки: 5. https://t.me/theblockbeats

6. Телеграм-група: 7. https://t.me/BlockBeats_App

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

Відмова від відповідальності: Інформація на цій сторінці може бути отримана від третіх осіб і не обов'язково відображає погляди або думки KuCoin. Цей контент надається лише для загального інформування, без будь-яких запевнень або гарантій, а також не може розглядатися як фінансова або інвестиційна порада. KuCoin не несе відповідальності за будь-які помилки або упущення, а також за будь-які результати, отримані в результаті використання цієї інформації. Інвестиції в цифрові активи можуть бути ризикованими. Будь ласка, ретельно оцініть ризики продукту та свою толерантність до ризику, виходячи з ваших власних фінансових обставин. Для отримання додаткової інформації, будь ласка, зверніться до наших Умов використання та Розкриття інформації про ризики.