Brevis nawiązuje współpracę z @APRO_Oracle w celu opracowania infrastruktury oracle bez zaufania na @BNBCHAIN. Cel: oracles, które matematycznie udowadniają swoje dane, a nie poprzez konsensus walidatorów. 🧵
Tradycyjne orakle działają poprzez atestację. Walidatorzy obserwują dane, podpisują je, a większość opinii staje się prawdą on-chain. Wprowadza to opóźnienia, koszty i założenia dotyczące zaufania. Walidatorzy mogą współpracować. Spory wymagają arbitrażu. A model "zawsze włączony" generuje dodatkowe obciążenie, gdy potrzebujesz danych tylko w określonych momentach.
Dowody ZK oferują alternatywę. Dla danych on-chain: ZK Data Coprocessor Brevis oblicza na podstawie historycznego stanu blockchaina i udowadnia, że obliczenia są poprawne.
Dla danych publicznych poza łańcuchem: Brevis zkTLS udowadnia, że treść została pobrana przez autentyczną sesję TLS z autentycznego źródła. Następnie Pico zkVM ją analizuje. Weryfikacja w jednym kroku, nie jest potrzebne głosowanie wielu stron.
Dla danych prywatnych: Dostawcy zobowiązują się do publikacji skrótów algorytmów na łańcuchu, a następnie publikują wyniki z dowodami ZK. Użytkownicy weryfikują, że wyniki są zgodne z określoną metodologią, nie widząc danych źródłowych. We wszystkich trzech kategoriach, Brevis zapewnia warstwę weryfikacyjną, która umożliwia APRO dostarczanie usług oracle bez zaufania. 🔐
Współpraca bada również prywatność dla traderów na rynkach predykcyjnych. Intencje handlowe, ścieżki arbitrażowe, timing, pozycje, korelacje adresów - wszystko widoczne na publicznych blockchainach. Dowody ZK pozwalają traderom weryfikować, że ich transakcje są ważne, nie ujawniając tych szczegółów.
424