TL;DR: Brevis ($BREV ) сотрудничает с APRO, ведущим оракулом на BNB Chain, для разработки инфраструктуры оракулов без доверия и услуг, сохраняющих конфиденциальность, для рынков предсказаний. Сотрудничество объединяет ZK Data Coprocessor Brevis, zkTLS и Pico zkVM с сетью оракулов APRO для обеспечения криптографически проверяемых потоков данных. Вместо того чтобы полагаться исключительно на консенсус валидаторов, результаты рынка могут быть разрешены с помощью математического доказательства. Партнерство также создает инфраструктуру конфиденциальности для трейдеров на рынках предсказаний, которые нуждаются в защите своих стратегий, позиций и следа в блокчейне.

Проблема оракула

Предсказательные рынки взорвались на BNB Chain, с такими платформами, как наш партнер Opinion Labs, обеспечивающим миллиарды в объеме торговли. Но каждый предсказательный рынок сталкивается с одной и той же проблемой: как доверительно разрешить результаты?

Традиционные оракулы подходят к этому через консенсус валидаторов. Несколько сторон подтверждают реальные события, и мнение большинства становится истинной информацией в цепочке. Это работает, но вводит задержку, затраты и предположения о доверии. Валидаторы могут сговариваться, споры требуют сложного арбитража, и для многих типов данных модель «всегда на связи» создает ненужные накладные расходы, когда рынкам требуется разрешение только в определенные моменты.

Brevis и APRO исследуют другой подход: оракулы, которые подтверждают свои данные математически, а не социально.

Данные без доверия для трех категорий

Сотрудничество рассматривает три категории данных, которые необходимы предсказательным рынкам, каждая из которых имеет свой уникальный подход к верификации.

Исторические данные в цепочке

Большая часть данных, необходимых предсказательным рынкам, уже существует в цепочке, но смарт-контракты не могут получить к ним эффективный доступ. Вопросы, такие как «Каков был общий объем торговли на этом протоколе на прошлой неделе?» или «Сколько уникальных кошельков взаимодействовали с этим кредитным рынком?» являются проверяемыми фактами, находящимися на блокчейне.

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

Копрцессор ZK Data компании Brevis решает эту проблему, вычисляя состояние исторического блокчейна вне цепочки и создавая криптографические доказательства того, что вычисление является корректным. Доказательство подтверждает, что входные данные поступили из подлинных данных на блокчейне и что расчет следовал заданной логике. Верификация требует минимального газа, и не требуется вмешательство человека или кворум валидаторов.

Публичные данные вне цепочки

Для внешних событий, таких как экономические индикаторы, спортивные результаты или новости, данные происходят из источников Web2, которые не могут быть нативно проверены в цепочке. Традиционные оракулы полагаются на валидаторов, чтобы подтвердить, что они наблюдали конкретное содержимое на веб-сайте. Это вводит субъективность и поверхности атаки.

Копрцессор zkTLS компании Brevis предоставляет криптографическую альтернативу. При получении данных из веб-источника zkTLS подтверждает, что содержимое было получено через подлинную сессию TLS от аутентичного домена и что данные не были изменены. Затем Pico zkVM разбирает содержимое, чтобы извлечь соответствующие значения.

Результатом является одноступенчатый путь разрешения: получить данные, подтвердить их подлинность, извлечь значение, проверить в цепочке. Не требуется голосование нескольких сторон для бесспорных фактов.

Конфиденциальные данные вне цепочки

Некоторые предсказательные рынки зависят от проприетарных алгоритмов или конфиденциальных наборов данных. Метрики внимательности, индексы настроений и внутренние аналитические данные не могут быть проверены традиционными оракулами, поскольку валидаторы должны иметь доступ к частной логике.

Brevis позволяет использовать эти сценарии через доказательства с нулевым раскрытием. Поставщик данных коммитирует хеш своего алгоритма в цепочке, а затем публикует результаты вместе с доказательством того, что вывод был получен из зафиксированной логики без изменений. Трейдеры могут проверить, что результат соответствует заявленной методологии, не видя основных данных или вычислений.

Это открывает предсказательные рынки для совершенно новых категорий: проприетарные индексы, внутренние метрики и алгоритмические результаты, которые ранее было невозможно доверительно проверить.

На всех трех категориях данных Brevis предоставляет слой верификации, который позволяет APRO предоставлять услуги оракулов без доверия. Данные больше не требуют аттестации валидатора или доверия на основе репутации. Вместо этого доказательство говорит само за себя.

Конфиденциальность для трейдеров предсказательных рынков

Оракулы без доверия являются одной опорой сотрудничества. Инфраструктура, сохраняющая конфиденциальность для участников предсказательных рынков, является другой.

Brevis и APRO наблюдали, что крупные трейдеры на предсказательных рынках сталкиваются с фундаментальной проблемой: прозрачность, которая делает блокчейны надежными, также делает рискованным участие в сложных схемах. Без конфиденциальности стратегии утечка, адреса профилируются, и крупные игроки становятся мишенями.

Уязвимости охватывают несколько измерений:

Торговые намерения

Когда направленные ставки трейдера становятся видимыми, они сигнализируют информацию рынку. Другие участники могут делать ставки против известных позиций или опережать ожидаемые движения. Скрытие торговых намерений защищает стратегическое преимущество.

Арбитражные пути

Трейдеры, использующие ценовые несоответствия на рынках или протоколах, раскрывают свои методы, когда пути исполнения становятся публичными. Как только арбитражная стратегия становится видимой, другие могут ее воспроизвести или конкурировать за те же возможности.

Время

Когда трейдер входит или выходит из позиций, это часто имеет такое же значение, как и сама позиция. Видимые временные паттерны раскрывают логику стратегии и позволяют другим предугадывать будущие шаги.

Позиции

Открытые позиции на публичных блокчейнах видны всем участникам. Конкуренты могут видеть уровни экспозиции, оценивать толерантность к риску и позиционировать себя соответственно. Крупные трейдеры становятся мишенями.

Корреляции адресов

Деятельность в цепочке связывает вместе кошельки и протоколы. Даже с несколькими адресами, паттерны транзакций и потоки средств могут коррелировать с идентичностями. Полная история трейдера становится обязательством, когда адреса могут быть связаны.

Компания Brevis решает эти проблемы с помощью доказательств с нулевым раскрытием, которые отделяют действительность от видимости. Трейдер может создать доказательство того, что его транзакция соответствует правилам протокола и ограничениям стратегии, не раскрывая конкретный путь выполнения. Рынок проверяет соответствие, не видя основной активности. Информация об идентичности и адресах остается скрытой, в то время как требования к участию все еще можно доказать.

Для партнеров APRO на предсказательных рынках это означает конфиденциальность уровня институционального на публичной инфраструктуре. Крупные трейдеры могут работать, не раскрывая свои намерения, стратегии, позиции или след в цепочке конкурентам.

Видение верифицируемости и конфиденциальности

Сотрудничество Brevis и APRO по оракулам без доверия приносит криптографическую верификацию для трех категорий данных: исторических метрик в цепочке через ZK Data Coprocessor, публичных данных вне цепочки через zkTLS и частных данных вне цепочки через доказательства вычислений ZK. Каждое заменяет консенсус валидаторов математическим доказательством, что делает разрешение быстрее, дешевле и независимо проверяемым.

Работа по обеспечению конфиденциальности решает уязвимости, с которыми сталкиваются крупные трейдеры на прозрачных блокчейнах. Протоколы нулевого раскрытия позволяют участникам скрывать свои торговые намерения, арбитражные пути, временные параметры, позиции и корреляции адресов, при этом подтверждая, что их транзакции являются действительными. Утечка стратегии и профилирование адресов становятся предотвращаемыми проблемами, а не принятыми затратами.

Вместе эти возможности закладывают основу для более сложной инфраструктуры оракулов и предсказательных рынков на BNB Chain. Brevis и APRO активно разрабатывают и то, и другое, и подробности будут предоставлены по мере развития работы.

О компании Brevis

Brevis - это платформа верифицируемых вычислений, обеспечиваемая доказательствами с нулевым раскрытием, служащая бесконечным вычислительным слоем для Web3. Приложения могут разгружать дорогостоящие вычисления вне цепочки, при этом подтверждая каждый результат в цепочке. Стек Brevis включает Pico zkVM для вычислений общего назначения, ZK Data Coprocessor для бездоверительного доступа к историческим данным блокчейна, Pico Prism для доказательства блоков Ethereum в реальном времени (99.6% покрытия, 6.9 секунд в среднем) и ProverNet, децентрализованный рынок для генерации ZK-доказательств. На сегодняшний день Brevis сгенерировала сотни миллионов доказательств по более чем 40 протоколам на 6 блокчейнах.