zkVM como @brevis_zk Pico Prism están llegando a la prueba en tiempo real. Los probadores actualmente procesan entradas en texto sin formato, y los TEE agregan confidencialidad a nivel de hardware para evitar el uso indebido de datos por parte de los operadores. Así es como Automata permite la prueba privada en zkVM con TEE verificables ↓

Las configuraciones actuales de zkVM operan bajo la suposición de confianza de que el operador de prueba no accede a las entradas de texto sin formato. Para que los usuarios compartan sus datos sin confianza, los TEE se pueden integrar para brindar garantías sobre la confidencialidad de los datos y la integridad computacional.

Pico Prism se ejecuta dentro de un enclave aislado por hardware como Intel SGX o TDX, y el testigo de texto plano se procesa completamente dentro de la memoria cifrada. Cualquiera puede verificar la integridad del demostrador con la certificación remota antes de compartir datos privados.

Toda la cadena de confianza de certificación sigue siendo válida a través del panel DCAP de Automata, que automatiza la gestión de garantías para Intel SGX y TDX La verificación de DCAP en cadena se actualiza en tiempo real para evitar fallas en la certificación al vencimiento de la garantía.