Продовжуйте навчання @brevis_zk, Біла книга детально пояснює серію п'ятої частини:

Як доказ стає «надійним результатом в ланцюгу» з «замовлення»?

Це популярна стаття, що пояснює процес Brevis ZK доведення.

У кількох попередніх статтях я поділився трьома основними продуктами Brevis:

Pico може розбивати великі завдання та обробляти їх паралельно

Data Coprocessor може точно обробити історичні дані з блокчейну та підтвердити їх правильність

TODA може дозволити «генерувати докази» торгуватися на платформі.

Які етапи проходить той процес, коли запит перетворюється на «достовірний результат на ланцюгу»?

------------------------------------

Перший крок: користувач або контракт публікує «завдання на підтвердження»

Наведіть 2 поширені приклади:

«Допоможи мені довести, який обсяг транзакцій користувача на ланцюгу за останні 30 днів»
«Допоможи мені довести, що дані цього запису в ланцюгу справжні»

Коли ми публікуємо завдання на підтвердження, просто скажіть Brevis три речі:

- Що ти хочеш довести?
- Як швидко потрібно повертати підтвердження (наприклад, 3 секунди)?
- Скільки ви готові заплатити?

Можна просто зрозуміти це як публікацію «зовнішнього завдання» в мережі.

------------------------------------

Другий етап: ринок TODA буде розділяти завдання відповідно до складності і підбирати їх для відповідних доказувачів.

Конкретно, завдання після публікації на ринку TODA Brevis:

Система автоматично розділить на кілька маленьких завдань (підтримується Pico).

Кілька доказувачів нададуть报价 в залежності від своїх апаратних можливостей та здібностей.

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

------------------------------------

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

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

Четвертий крок: дайте всім піддоказам автоматично з'єднатися в один «загальний доказ»
Цей етап використовує рекурсивні можливості Brevis Pico, кожне опубліковане завдання має лише одне підтвердження.

П'ятий крок: Подайте докази на ланцюг для перевірки
Таким чином, перевірка може бути завершена всього за кілька мілісекунд і з невеликою кількістю газу, без необхідності перерахунку будь-якої складної логіки, а підтвердження в ланцюзі гарантує достовірність.

Шостий крок: своєчасні постачальники отримують відповідну винагороду, тоді як ті, хто порушує умови, зазнають покарання.

Очевидно, що Brevis за допомогою інноваційних технологій та продуктів перетворив «ZK доказ» з складного математичного процесу в автоматизований процес виробництва та розрахунків.

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

Продовжую вірити в @brevis_zk, продовжую підтримувати взаємодію, чекаю на наступний великий крок від офіційних осіб. #BrevisZK