Brevis співпрацює з @APRO_Oracle для розвитку бездовірної інфраструктури оракулів на @BNBCHAIN. Мета: оракули, які доводять свої дані математично, а не через консенсус валідаторів. 🧵

Традиційні оракули працюють через атестацію. Валідатори спостерігають за даними, підписують їх, і думка більшості стає внутрішньою істиною. Це вводить припущення щодо затримки, вартості та довіри. Валідатори можуть домовлятися. Спори потребують арбітражу. А модель «завжди увімкнена» створює накладні витрати, коли дані потрібні лише в певні моменти.

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

Для публічних даних поза ланцюгом: Brevis zkTLS доводить, що вміст було отримано через справжню TLS-сесію з автентичного джерела. Потім Pico, zkVM, аналізує його. Одноетапна перевірка, не потрібне багатопартійне голосування.

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

Співпраця також досліджує питання конфіденційності для трейдерів ринку прогнозування. Торгові наміри, арбітражні шляхи, таймінг, позиції, кореляції адрес — усе це видно на публічних блокчейнах. Докази ZK дозволяють трейдерам перевіряти дійсність своїх транзакцій, не розкриваючи ці деталі.