Автор: Лань Ху Біцзі; Джерело: X, @lanhubiji
Бачачи, що Віталік згадує Brevis, здається, що він дуже серйозно ставиться до розширення L1. У дорожній карті Ethereum є концепція: “обчислення поза ланцюгом, верифікація на ланцюзі”. Eigenlayer, Succinct та Zksync мали подібні ідеї, що свідчить про те, що в індустрії існує консенсус: щоб дійсно децентралізовано розширити L1, можна використовувати переваги поза ланцюга; Brevis також використовує цю модель, тому чим Brevis відрізняється?
Спочатку просто зрозуміємо, що таке модель «обчислення поза ланцюгом і перевірка в ланцюзі»? Щоб більше звичайних користувачів могли зрозуміти, можна навести спрощену метафору: «обчислення поза ланцюгом і перевірка в ланцюзі» можна розглядати як «концентрацію» факту поза ланцюгом (результату обчислення або даних) в простий доказ або резюме, а потім перевірку в ланцюзі. В певному сенсі, його концепція схожа на L2 Rollup на абстрактному рівні, L2 Rollup упаковує кілька транзакцій в одну партію, подаючи їх на перевірку та виконання в L1. Хоча конкретні механізми відрізняються, це сприяє розумінню дизайнерської філософії Brevis: «концентрація та перевірка». За допомогою математики велика кількість обчислювальних робіт поза ланцюгом стискається в невеликі шматки інформації, що дозволяє ефективно обробляти їх на ланцюзі, який є дорогим і має низьку пропускну здатність, вирішуючи таким чином проблему масштабованості блокчейнів.
Основний механізм Brevis полягає в ефективних обчисленнях поза ланцюгом, генерації ZK-доказів, а потім швидкої та недорогої верифікації в ланцюзі без необхідності повторного виконання всього складного обчислення. Це не новинка, але відмінність Brevis полягає в:
Поєднання універсальності та спеціалізованої оптимізації
Технічний стек Brevis має модульний дизайн, де Pico zkVM є універсальним двигуном для перевіряємих обчислень, що підтримує генерацію ZK-доказів для будь-яких обчислень. Розробники пишуть код на Rust, не потребуючи знань з ZK, платформа автоматично обробляє генерацію доказів, знижуючи поріг входження для розробників при створенні складних криптографічних додатків (технологія абстрагує складність ZK, дозволяючи розробникам створювати додатки так само, як вони пишуть звичайний код). Її модульна архітектура підтримує додавання специфічних співпроцесорів, окрім загального розрахунку, вона також може оптимізувати складні обчислення для конкретних сценаріїв, забезпечуючи більш цілеспрямоване підвищення.
Він має вбудований обробник протоколів, званий ZK Data Coprocessor, розроблений для аналізу історичних даних блокчейну, здатний вирішити проблему “амнезії” смарт-контрактів (неможливість дешевого доступу до історичних даних). Він у
Офлайн-пошук та аналіз даних, надання результатів та доказів, забезпечення наявності даних та правильної обчислювальної точності. Наприклад, pancakeswap може використовувати гачок Brevis для реалізації знижок на комісії на основі обсягу торгівлі користувача; uniswap використовує Brevis для повернення газу. Вони реалізують складні функції за допомогою zK Data Coprocessor, одночасно заощаджуючи значні кошти.
Надання “акселератора” для Ethereum L1
Pico Prism є однією з ключових технологій Brevis, яка досягла прориву в багатосерверних GPU кластерах та підтримує “реальні докази” для Ethereum L1. Це “реальне доказ” можна зрозуміти як те, що кожен блок Ethereum L1 (один аркуш записів транзакцій) може бути підтверджений за кілька секунд за допомогою криптографії, що дозволяє уникнути повторних обчислень для перевірки його надійності.
Згідно з поточними еталонами реального доказу Ethereum Foundation, для поточного L1 блоку з обмеженням у 45M gas досягається 99,6% покриття (<12 секунд доказ), 96,8% реального покриття (<10 секунд); середній час доказу для 36M gas блоку становить 6,04 секунди, для 45M gas блоку — 6,9 секунди; апаратура складається з 64 RTX 5090 GPU, вартість 128K доларів.
Наверху дані виглядають дуже професійно, але для звичайного користувача ці дані можуть бути незрозумілими.
Для простого розуміння можна спростити аналогію: Pico Prism – це прискорювач для Ethereum L1. Раніше Ethereum вимагав, щоб усі вузли повторно обчислювали кожен блок, але завдяки таким технологіям, як Pico Prism, це означає, що він може “концентрувати” (швидко генерувати доказ, суперкомпресувати підсумок), що дозволяє мережі перевіряти лише за кілька секунд, без необхідності повторного обчислення для кожного вузла. Іншими словами, це означає, що Ethereum L1 стане швидшим, дешевшим і ефективнішим, зможе обробляти більш складні реалізації, при цьому не жертвуючи децентралізацією та безпекою. Якщо раніше Ethereum був подібний до старомодного велосипеда, то технологія Pico Prism від Brevis оновила Ethereum до рівня автомобіля.
Цей ефект прискорення може розблокувати більше сценаріїв, таких як реальний AI-управлінський DeFi-кредитування, онлайнові ігри, анонімне голосування тощо.
Сцена DeFi: Раніше в смарт-контрактах на Ethereum L1 можна було лише дивитися баланс для позик, не вдаючись до аналізу історичних даних користувачів, щоб оцінити їхню надійність (оскільки аналіз величезних обсягів історичних даних не був можливим). Завдяки цьому прискорювачу можна підтримувати реальний аналіз величезних історичних даних (доказ за кілька секунд), що дозволяє створити “AI-кредитний робот”. Контракт, спираючись на історію DeFi-транзакцій користувача, визначає кредитний бал і пропонує персоналізовану процентну ставку. Крім того, для високочастотних сценаріїв, таких як миттєва позика, позика/інвестування/повернення грошей відбуваються в одному блоці, AI в реальному часі оптимізує маршрут, щоб уникнути втрат через “сліп”. Це схоже на децентралізований Robinhood. Також можуть бути високочастотні аукціони, де можна провести сотні тисяч торгів за хвилину.
Онлайн-ігри: раніше L1 хотів створити багатокористувацьку гру (таку як онлайн Axie Infinity), підтвердження блоків займає 12 секунд за раунд, затримка для гравців та зростання витрат; за допомогою Pico Prism підтримується “імітація реального часу” в грі, обчислення шкоди та інших значень відбувається на сервері поза блокчейном, а кожен раунд завершується з використанням ZK-доказів до L1, імітуючи “реальний” ігровий процес, що забезпечує кращий ігровий досвід.
Анонімне голосування в мережі: наразі голосування на L1 є прозорим, легко відстежується або маніпулюється, а витрати на складну статистику високі, швидкість низька. Завдяки Pico Prism реалізується “нульове знання приватних обчислень”, що дозволяє на L1 запускати високочастотні приватні додатки, які можуть забезпечити високочастотне анонімне голосування для управління DAO з миттєвими результатами.
Вищеописана ситуація що означає для Ethereum, може розблокувати більше DeFi та інших сценаріїв застосування, принести більше активів до L1, що призведе до більшої кількості угод і ліквідності, а також більшої активності.
Що стосується того, які сцени можуть виникнути в майбутньому, їх ще потрібно буде перевірити в конкретній практиці.
Поступове впровадження
Згідно з відкритими даними, Brevis поступово впроваджується, при цьому було згенеровано 147,5 мільйона ZK доказів; кількість незалежних користувачів перевищує 190 тисяч; підтримується 5 блокчейнів; основних партнерів більше 20 (таких як Metamask, Linea та інші), наразі інтегровано в вже працюючі додатки, наприклад, завдяки технології Brevis, платформа Incentra виплачує річні винагороди; PancakeSwap реалізує знижки на основі обсягу торгівлі та інших даних; Linea розподіляє 1 мільярд токенів LINEA на основі внеску користувачів.
