zkVM:er som @brevis_zk:s Pico Prism når bevisning i realtid. Bevisare bearbetar för närvarande indata i klartext, och TEE:er lägger till konfidentialitet på maskinvarunivå för att undvika att data missbrukas av operatörer. Så här möjliggör Automata privat provning på zkVM:er med verifierbara TEE:er ↓

Nuvarande zkVM-inställningar fungerar under förtroendeantagandet att klartextindata inte används av den bevisande operatorn. För att användare ska kunna dela sina data på ett tillförlitligt sätt kan TEE:er integreras för att ge garantier för datakonfidentialitet och beräkningsintegritet.

Pico Prism körs i en hårdvaruisolerad enklav som Intel SGX eller TDX, där klartextvittnet bearbetas helt och hållet i krypterat minne. Vem som helst kan verifiera bevisarens integritet med fjärrattestering innan de delar privata data.

Hela förtroendekedjan för attestering förblir giltig via Automatas DCAP Dashboard, som automatiserar hanteringen av säkerheter för Intel SGX och TDX. Onchain DCAP-verifiering uppdateras i realtid för att förhindra attesthaverier när säkerheter löper ut.