zkVMs wie @brevis_zk's Pico Prism erreichen die Echtzeit-Bestätigung. Prover verarbeiten derzeit Eingaben im Klartext, und TEEs fügen hardwarebasierte Vertraulichkeit hinzu, um einen Missbrauch von Daten durch Betreiber zu vermeiden. So ermöglicht Automata privates Proving auf zkVMs mit verifizierbaren TEEs ↓

Aktuelle zkVM-Setups basieren auf der Vertrauensannahme, dass die Klartext-Eingaben nicht vom Nachweisbetreiber zugegriffen werden. Damit Benutzer ihre Daten vertrauenslos teilen können, können TEEs integriert werden, um Garantien für die Vertraulichkeit der Daten und die Integrität der Berechnungen zu bieten.

Pico Prism wird innerhalb eines hardware-isolierten Enklave wie Intel SGX oder TDX ausgeführt, wobei der Klartext-Witness vollständig im verschlüsselten Speicher verarbeitet wird. Jeder kann die Integrität des Provers mit einer Remote-Attestierung überprüfen, bevor private Daten geteilt werden.

Die gesamte Vertrauenswürdigkeit der Attestierungskette bleibt über Automatas DCAP-Dashboard gültig, das das Management von Sicherheiten für Intel SGX und TDX automatisiert. Die Onchain-DCAP-Überprüfung wird in Echtzeit aktualisiert, um Attestierungsunterbrechungen bei Ablauf der Sicherheiten zu verhindern.