I zkVM come il Pico Prism di @brevis_zk stanno raggiungendo la dimostrazione in tempo reale. I provers attualmente elaborano gli input in testo normale, e le TEE aggiungono riservatezza a livello hardware per evitare l'uso improprio dei dati da parte degli operatori. Ecco come Automata consente la dimostrazione privata sui zkVM con TEE verificabili ↓

Le attuali configurazioni zkVM operano sotto l'assunzione di fiducia che gli input in chiaro non siano accessibili dall'operatore di prova. Per consentire agli utenti di condividere i propri dati senza fiducia, è possibile integrare TEE per fornire garanzie sulla riservatezza dei dati e sull'integrità computazionale.

Pico Prism viene eseguito all'interno di un enclave isolato dall'hardware come Intel SGX o TDX, con il testimone in chiaro che viene elaborato interamente all'interno della memoria crittografata. Chiunque può verificare l'integrità del provatore con un'attestazione remota prima di condividere dati privati.

L'intera catena di fiducia dell'attestazione rimane valida attraverso il Dashboard DCAP di Automata, che automatizza la gestione delle garanzie per Intel SGX e TDX. La verifica DCAP onchain viene aggiornata in tempo reale per prevenire interruzioni dell'attestazione al momento della scadenza delle garanzie.