Les zkVMs comme le Pico Prism de @brevis_zk atteignent la preuve en temps réel. Les proveurs traitent actuellement les entrées en texte clair, et les TEE ajoutent une confidentialité au niveau matériel pour éviter l'utilisation abusive des données par les opérateurs. Voici comment Automata permet une preuve privée sur les zkVMs avec des TEE vérifiables ↓

Les configurations zkVM actuelles fonctionnent sous l'hypothèse de confiance que les entrées en texte clair ne sont pas accessibles par l'opérateur de preuve. Pour que les utilisateurs partagent leurs données sans confiance, des TEE peuvent être intégrés pour garantir la confidentialité des données et l'intégrité computationnelle.

Pico Prism s'exécute dans une enclave isolée matériellement comme Intel SGX ou TDX, avec le témoin en texte clair étant traité entièrement à l'intérieur de la mémoire chiffrée. Tout le monde peut vérifier l'intégrité du prouveur avec une attestation à distance avant de partager des données privées.

L'ensemble de la chaîne de confiance d'attestation reste valide via le tableau de bord DCAP d'Automata, qui automatise la gestion des garanties pour Intel SGX et TDX. La vérification DCAP onchain est mise à jour en temps réel pour prévenir les ruptures d'attestation lors de l'expiration des garanties.