Deschiderea prin sursă a algoritmului X este un prim pas excelent, dar verificarea fluxului tău de la el necesită rularea lui pe date de producție, care probabil nu sunt publice. În lipsa auditorilor de încredere sau a rulării întregului X într-un TEE, avem nevoie de ceva criptografie pentru integritatea datelor și execuția codului.

Am dori un protocol care să confirme starea lui X (de exemplu, rădăcinile Merkle) și să îl actualizeze verificabil folosind demonstrațiile ZK/atestări TEE. Chiar și angajamentul pentru fiecare tranziție de stat este costisitor: probabil primim doar verificări aleatorii. Dar acest lucru trebuie făcut cu mare grijă ca să nu fie lipsit de valoare.