У чому різниця між моделлю "поза блокчейном обчислення у блокчейні" від Brevis?

Автор: Лань Ху Бійцзі; Джерело: X, @lanhubiji

Бачачи, що Віталік згадує про Brevis, стає зрозуміло, що він дуже серйозно ставиться до розширення L1. У дорожній карті Ethereum є концепція: “обчислення поза ланцюгом, верифікація на ланцюзі”, Eigenlayer, Succinct і Zksync мали подібні ідеї, що свідчить про те, що в галузі існує консенсус. Щоб справді децентралізовано розширити L1, можна скористатися перевагами поза ланцюга; Brevis також використовує цю модель, отже, в чому ж різниця Brevis?

Спочатку давайте просто зрозуміємо, що таке модель «обчислення поза ланцюгом, верифікація в ланцюзі»? Щоб більше звичайних користувачів змогли це зрозуміти, можна провести просту аналогію: «обчислення поза ланцюгом, верифікація в ланцюзі» можна вважати конденсацією поза ланцюгових фактів (результатів обчислень або даних) в простий доказ або резюме, яке потім перевіряється в ланцюзі. В певному сенсі, його концепція схожа на L2 Rollup на абстрактному рівні: L2 Rollup упаковує кілька транзакцій в один пакет, який надсилається на L1 для верифікації та виконання. Хоча конкретні механізми різні, це допомагає зрозуміти дизайнерську філософію Brevis щодо ZkVM: «конденсація та верифікація». Завдяки математиці, велика кількість поза ланцюгових обчислень стискається в маленькі інформаційні блоки, що дозволяє ефективно обробляти їх на дорогих і з низькою пропускною здатністю ланцюгах, вирішуючи таким чином проблему масштабованості блокчейну.

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

Поєднання універсальності та спеціалізованої оптимізації

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

Він має вбудований процесор протоколів, званий ZK Data Coprocessor, розроблений для аналізу історичних даних блокчейну, який може вирішити проблему “амнезії” смарт-контрактів (неможливість недорого отримати доступ до історичних даних). Він у

Офлайн пошук та аналіз даних, надання результатів і доказів, забезпечення існування даних та правильності обчислень. Наприклад, pancakeswap може використовувати гачок Brevis для реалізації знижок на збори в залежності від обсягу торгівлі користувача; uniswap використовує Brevis для повернення gas. Вони досягають складних функцій за допомогою zK Data Coprocessor, одночасно заощаджуючи значні витрати.

Надання “акселератора” для Ethereum L1

Pico Prism є однією з ключових технологій Brevis, яка зробила прорив у багатосерверних GPU кластерах, підтримуючи “реальну перевірку” Ethereum L1. Цю “реальну перевірку” можна зрозуміти як те, що кожен блок Ethereum L1 (одна сторінка записів транзакцій) може бути підтверджений за кілька секунд за допомогою криптографічного “штампу”, без необхідності повторно обчислювати для перевірки надійності.

Згідно з поточними еталонами рамки доказів у реальному часі Ethereum Foundation, досягнуто 99,6% покриття для поточного L1 блоку з обмеженням у 45M gas (докази <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 модернізувався до автомобіля.

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

Сцена DeFi: Раніше в смарт-контрактах на Ethereum L1 можна було лише переглядати баланс для позик, не маючи можливості аналізувати рівень надійності користувачів на основі їх історії транзакцій (оскільки неможливо було здійснити аналіз величезних обсягів історичних даних). З появою цього акселератора можливо підтримувати реальний аналіз величезних обсягів історичних даних на L1 (доказ за кілька секунд), що дозволяє створити “AI-кредитного робота”. Контракт на основі історії DeFi-транзакцій користувача визначає кредитний рейтинг і пропонує персоналізовану процентну ставку. Крім того, для високочастотних сцен, таких як миттєві позики, позики/інвестування/повернення грошей завершуються в одному блоці, AI оптимізує маршрут в реальному часі, уникаючи втрат через “слизання”. Подібно до децентралізованого Robinhood. Також можуть бути високочастотні аукціони, де можна завершити сотні тисяч ставок за хвилину.

Онлайн-ігра: раніше L1 хотів створити багатокористувацьку гру (як на блокчейні Axie Infinity), підтвердження блоку 12 секунд за раунд, затримки у гравців, зростання витрат; завдяки Pico Prism підтримується “імітація реального часу” гри, обчислення шкоди та інших значень на сервері поза блокчейном, кожен раунд розраховується до L1 за допомогою ZK-доказів, імітуючи “реальний” час гри, що забезпечує кращий ігровий досвід.

Анонімні голосування на блокчейні: наразі голосування на L1 є прозорим, легко відстежуваним або маніпульованим, а витрати на складну статистику є високими, швидкість низька. Завдяки Pico Prism реалізується “нульове знання приватних обчислень”, на L1 запускаються високочастотні приватні застосунки, що дозволяє здійснювати високочастотні анонімні голосування для управління DAO з миттєвими результатами.

Що означає вищезгаданий сценарій для Ethereum, може розблокувати більше DeFi та інших застосувань, принести більше активів до L1, привести до більшої кількості угод і ліквідності, більшої активності.

Щодо того, які сценарії можуть виникнути в майбутньому, їх ще потрібно перевірити на практиці.

Поступове впровадження

Згідно з відкритими даними, Brevis поступово впроваджується, при цьому було згенеровано 147,5 мільйона ZK доказів; кількість незалежних користувачів перевищила 190 тисяч; підтримується 5 блокчейн-технологій; основних партнерів більше 20 (таких як Metamask, Linea тощо), наразі інтегровано в уже запущені додатки, наприклад, за допомогою технології Brevis платформа Incentra виплачує щорічні винагороди; PancakeSwap реалізує знижки на основі обсягу торгівлі та інших даних; Linea розподіляє 1 мільярд токенів LINEA на основі внеску користувачів.