zkVMs como @brevis_zk Pico Prism estão alcançando a prova em tempo real. Os provers atualmente processam entradas em texto simples, e os TEEs adicionam confidencialidade a nível de hardware para evitar o uso indevido de dados por operadores. Veja como a Automata possibilita a prova privada em zkVMs com TEEs verificáveis ↓

As configurações atuais de zkVM operam sob a suposição de confiança de que as entradas em texto simples não são acessadas pelo operador de prova. Para que os usuários compartilhem seus dados sem confiança, podem ser integrados TEEs para fornecer garantias sobre a confidencialidade dos dados e a integridade computacional.

O Pico Prism é executado dentro de um enclave isolado por hardware, como o Intel SGX ou TDX, com a testemunha em texto claro sendo processada inteiramente dentro de memória criptografada. Qualquer pessoa pode verificar a integridade do provador com atestação remota antes de compartilhar dados privados.

Toda a cadeia de confiança de atestação permanece válida através do Painel DCAP da Automata, que automatiza a gestão de colaterais para Intel SGX e TDX A verificação DCAP em cadeia é atualizada em tempo real para prevenir falhas de atestação quando o colateral expira.