zkVMs como o Pico Prism da @brevis_zk estão chegando à prova em tempo real. Atualmente, os provadores processam entradas em texto simples e os TEEs adicionam confidencialidade no nível do hardware para evitar o uso indevido de dados pelos operadores. Veja como o Automata permite a prova privada em zkVMs com TEEs verificáveis ↓

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

O Pico Prism é executado em um enclave isolado de hardware como Intel SGX ou TDX, com a testemunha de texto simples sendo processada inteiramente dentro da memória criptografada. Qualquer pessoa pode verificar a integridade do provador com atestado remoto antes de compartilhar dados privados.

Toda a cadeia de confiança de atestado permanece válida por meio do DCAP Dashboard da Automata, que automatiza o gerenciamento de garantias para Intel SGX e TDX. A verificação DCAP onchain é atualizada em tempo real para evitar falhas de atestado após o vencimento da garantia.