Serie: Zero to Zero Knowledge
Zero to Zero Knowledge è tornata con un nuovo argomento!
Questa settimana esploriamo i Trusted Execution Environments (TEE) - come vengono usati nelle privacy coin e in altre applicazioni blockchain.
Le blockchain e i TEE hanno punti di forza molto complementari:
Insieme possono creare potenti sistemi che preservano la privacy.
Secret Network sfrutta la tecnologia TEE (in particolare Intel SGX) per eseguire calcoli su input, output e stato cifrati.
Ogni nodo validatore esegue chip Intel SGX. I livelli di consenso e di calcolo sono combinati:
Questo è diverso da Zcash, che usa le prove a conoscenza zero per la privacy. In Zcash, le transazioni schermate vengono trasmesse e validate pubblicamente senza rivelare alcun dato aggiuntivo alla rete. Gli Zcash Shielded Assets seguono lo stesso principio.
Per una spiegazione dettagliata di come i TEE vengono implementati su Secret Network, leggi questo eccellente articolo di @l_woetzel:
https://carter-woetzel.medium.com/secret-network-tees-lets-talk-fud-vulnerability-33ca94b6df38
La Remote Attestation è il processo che dimostra che un'enclave è in esecuzione in un ambiente hardware sicuro e genuino.
Consente a una parte remota di verificare:
Le enclave contengono anche chiavi private di firma e di attestazione che non possono essere accedute dall'esterno.
Poiché le enclave sono stateless, i dati devono talvolta essere memorizzati all'esterno, in memoria non attendibile.
Il Data Sealing cifra i dati all'interno dell'enclave usando una chiave derivata dalla CPU. Il blocco cifrato può essere decifrato (unsealed) solo sullo stesso sistema.
Anche Oasis Network usa i TEE attraverso il suo ParaTime confidenziale (ad esempio Sapphire e Cipher).
I dati cifrati entrano nel TEE insieme allo smart contract. Vengono decifrati, elaborati e ri-cifrati prima di lasciare l'enclave.
Molte blockchain Proof-of-Stake (incluse Secret e Oasis) usano Tendermint come framework di consenso.
Per i validatori PoS:
I TEE sono ideali per generare e usare in modo sicuro le chiavi dei validatori.
Zcash sta attivamente studiando una migrazione al Proof-of-Stake.
Thread originale di ZecHub (@ZecHub)
https://x.com/ZecHub/status/1633579659282587651
Questa pagina è stata compilata a partire dal thread originale Zero to Zero Knowledge per la wiki di ZecHub.