Verifisering i Turnkeys enklavearkitektur er kontinuerlig, fra systemoppstart til kjøretidskjøring til eksterne kontroller. Bevis genereres i sanntid, så hvert steg i en operasjon kan bekreftes uavhengig mens det skjer. Slik gjør du:
1/ Boot Proofs (før noe kjører): Når enclave-programvare distribueres, opprettes et Boot Proof. Denne kryptografiske posten viser at miljøet startet fra en kjent, betrodd tilstand, og forankrer integriteten til alt som følger.
2/ App Proofs (under kjøring): Når forespørsler behandles, genererer enklaven et App Proof. Dette viser at en spesifikk handling kjørte inne i en verifisert enklave knyttet tilbake til den opprinnelige Boot Proof, og koblet hver operasjon til et pålitelig miljø.
40