Приділив час, щоб глибше зануритися в Brevis, щоб зрозуміти, чому вони досягли 99.6% покриття доказів для Етер блоків менш ніж за 12 сек.



виявив не тільки це, але й;

> 37,5 млн+ доказів
> 23 dApps інтегрованих
> 69k унікальних адрес
> залучено 7,5 млн доларів у раунді посівного фінансування з провідними інвесторами, такими як Polychain Capital, YZi Labs тощо.

Очевидно, що вони справили значний вплив зі своїм рішенням, судячи з їхніх інвесторів.

Давайте станемо трохи технічними і дослідимо архітектуру, яка їх підтримує:

➪ Отже, що таке Brevis ?

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

Оскільки без довіри до оракулів, смарт-контракти не можуть легко отримувати доступ або обробляти великі історичні набори даних, складну аналітику чи дані поза ланцюгом.

І це обмежує DeFi, аналітику в ланцюзі, ідентичність, композабельність та багато реальних додатків.

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

➪ Слой ZK Копродюсера

Шари ZK-копрограми Brevis діють як паралельний мозок для блокчейнів, обробляючи складну логіку поза ланцюгом, а потім повертаючи докази, які можна перевірити в ланцюзі.

Як взаємодіють шари

1. Смарт-контракт: Контракт не обчислює і не отримує дані самостійно, а надсилає запит.

Наприклад,

“Який обсяг торгівлі цього гаманця на 5 ланцюгах?”

він делегує завдання копрпроцесору.

2. Генерація підтвердження: Копродуктор отримує дані, виконує складні обчислення поза ланцюгом і генерує нульове знання підтвердження, яке показує, що обчислення було правильним, не розкриваючи чутливі дані.

3. Крос-чейн дані:
Завдяки zkFabric, Brevis отримує перевірені корені стану з кількох ланцюгів, забезпечуючи, щоб обчислення ґрунтувалося на автентичній історії в ланцюгу, а не на довірених API або мостах.

4. Перевірений вихід: Копрограматор повертає компактний доказ + результат смарт-контракту.

Контракт перевіряє доказ в блокчейні, миттєво довіряючи результату без повторного виконання обчислення.

➪ Їх основні компоненти

1. Pico (zkVM) → Мозок: робить будь-які обчислення перевірними.

2. ZK Копрограмний шар → Пам'ять: надає смарт-контрактам історичну та крос-ланцюгову обізнаність.

3. zkFabric → Вбивця мостів: замінює мультипідписи та релеї на чисту криптографію.

4. Prover Network + Aggregation → децентралізує доказування, стискає тисячі доказів в один і зберігає дешеву перевірку в мережі.

На цьому все, до зустрічі наступного разу.
Переглянути оригінал
post-image
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Прокоментувати
0/400
Немає коментарів
  • Закріпити