zkVM's zoals @brevis_zk Pico Prism bereiken real-time bewijsvoering. Bewijzers verwerken momenteel invoer in platte tekst, en TEE's voegen hardware-niveau vertrouwelijkheid toe om misbruik van gegevens door operators te voorkomen. Hier is hoe Automata privé bewijsvoering op zkVM's mogelijk maakt met verifieerbare TEE's ↓

Huidige zkVM-configuraties opereren onder de veronderstelling dat platte tekstinvoer niet toegankelijk is voor de bewijsoperator. Om gebruikers in staat te stellen hun gegevens zonder vertrouwen te delen, kunnen TEE's worden geïntegreerd om garanties te bieden voor gegevensvertrouwelijkheid en computationele integriteit.

Pico Prism wordt uitgevoerd binnen een hardware-geïsoleerde enclave zoals Intel SGX of TDX, waarbij de plaintext getuige volledig binnen versleuteld geheugen wordt verwerkt. Iedereen kan de integriteit van de prover verifiëren met remote attestation voordat privégegevens worden gedeeld.

De gehele attestatie-trustketen blijft geldig via het DCAP-dashboard van Automata, dat het beheer van onderpand voor Intel SGX en TDX automatiseert. Onchain DCAP-verificatie wordt in realtime bijgewerkt om attestatie-onderbrekingen bij het verstrijken van het onderpand te voorkomen.