Brevis сотрудничает с @APRO_Oracle для разработки инфраструктуры ораклов без доверия на @BNBCHAIN. Цель: ораклы, которые математически доказывают свои данные, а не через консенсус валидаторов. 🧵

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

ZK доказательства предлагают альтернативу. Для данных в блокчейне: ZK Data Coprocessor от Brevis вычисляет на основе исторического состояния блокчейна и доказывает, что вычисление верно.

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

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

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