Блокчейн-проект Brevis використовує принцип零знання (ZK Proof) для того, щоб перенести важкі обчислювальні завдання з ланцюга на позалан цюжкову обробку, а потім повернути простий математичний доказ на ланцюг для швидкої переконання без необхідності довіри. По суті, це досягає розділення обчислень і верифікації, надаючи розумним контрактам "зовнішній мозок".

Простіше кажучи, Brevis - це "співпроцесор" або "прискорювач" блокчейна, який дозволяє розумним контрактам обробляти складні завдання, які раніше було неможливо виконати через високі витрати або технічні обмеження.

⚙ Робочий процес: як це працює?

Робочий процес Brevis можна розділити на чотири чітких кроки:

1. Ініціювання запиту
Коли розумний контракт децентралізованої програми (dApp) повинен обробити велику кількість історичних даних або виконати складні обчислення, він надсилає запит до мережі Brevis.

2. Позалан цюжкове обчислення
Після отримання запиту децентралізована мережа доказувачів Brevis (ProverNet) відновлює необхідні дані з одного або кількох блокчейнів і виконує обчислювальне завдання. Цей процес не обмежується витратами газу на ланцюзі і може використовувати стандартні мови програмування (такі як Rust).

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

4. Верифікація на ланцюзі
Нарешті, цей доказ повертається до розумного контракту dApp. Контракт може перевірити правильність цього доказу з дуже низькими витратами та дуже високою швидкістю. Після перевірки контракт використовує результат обчислення як надійні дані для виконання наступної логіки.

Весь процес дозволяє розумним контрактам "довіряти" результатам позалан цюжкових обчислень, без необхідності повторно виконувати їх самостійно або залежати від централізованої третьої сторони.

🧩 Основні компоненти: з чого складається?

Технічна архітектура Brevis складається в основному з трьох основних компонентів, які разом підтримують функціональність її "шару безмежних обчислень":

* Pico zkVM (модуль генерування доказів)
Це модульна віртуальна машина з нульовим знанням, яка відповідає за виконання позалан цюжкових обчислень та генерування доказів. Її метою є висока продуктивність та низька затримка, щоб швидко обробляти великі обсяги даних блокчейна (наприклад, швидкість генерування доказів для блоків Ethereum може дорівнювати швидкості їх генерування). Розробники можуть будувати додатки на знайомих мовах програмування, без необхідності глибокого розуміння нижчих складностей крипто графії з нульовим знанням.

* zkCoprocessor (ZK協處理器)
Це "інтерфейс даних" або "зовнішній мозок" розумного контракту. Він спеціалізується на обробці складних запитів та обчислень, пов'язаних з великими обсягами історичних даних і крос-ланцюжкових даних, які розумний контракт не може виконати на ланцюзі.

* ProverNet (децентралізована мережа доказувачів)
Це мережа, складена з учасників (доказувачів), які надають свої обчислювальні ресурси (такі як GPU) для виконання обчислювальних завдань та генерування доказів. Мережа використовує механізми, подібні до підтвердження часткою (PoS), щоб стимулювати учасників та забезпечити децентралізацію та безпеку.

🚀 Основні функції: що можна робити?

За допомогою вищезазначених принципів та компонентів, Brevis вирішує дві основні проблеми в галузі блокчейна:

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

* Досягнення крос-ланцюжкової взаємодії даних
Brevis дозволяє dApp безпечно запитувати та використовувати дані з різних блокчейнів. Наприклад, протокол DeFi може перевірити активи користувача на Ethereum, щоб вирішити, чи надавати йому позику на BNB Chain.