zkVM:t, kuten @brevis_zk Pico Prism, saavuttavat reaaliaikaisen testauksen. Todistajat käsittelevät tällä hetkellä syötteitä selkokielisenä tekstinä, ja TEE:t lisäävät laitteistotason luottamuksellisuuden estääkseen operaattorien tietojen väärinkäytön. Näin Automata mahdollistaa yksityisen todistamisen zkVM:illä todennettavissa olevilla TEE:illä ↓

Nykyiset zkVM-asetukset toimivat luottamusoletuksella, että todistava operaattori ei pääse käyttämään selkokielisiä syötteitä. Jotta käyttäjät voivat jakaa tietojaan luotettavasti, TEE:t voidaan integroida tietojen luottamuksellisuuden ja laskennallisen eheyden takaamiseksi.

Pico Prism suoritetaan laitteistoeristetyssä enklaavissa, kuten Intel SGX tai TDX, ja selkokielinen todistaja käsitellään kokonaan salatussa muistissa. Kuka tahansa voi varmistaa todistajan eheyden etätodistuksella ennen yksityisten tietojen jakamista.

Koko todentamisen luottamusketju pysyy voimassa Automatan DCAP Dashboardin kautta, joka automatisoi Intel SGX:n ja TDX:n vakuuksien hallinnan Onchain DCAP -vahvistus päivitetään reaaliajassa, jotta estetään todistusten hajoaminen vakuuden vanhentuessa.