Les zkVMs comme @brevis_zk Pico Prism 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 clair étant traité entièrement à l'intérieur de la mémoire chiffrée. Quiconque 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 on-chain est mise à jour en temps réel pour prévenir les ruptures d'attestation lors de l'expiration des garanties.