🧵 În ultimele luni, am publicat o serie de postări pe blog care explorează provocările tehnice și ideile care modelează dovezile zero-knowledge, criptografia și securitatea. Acest subiect rotunjește cele mai recente, de la găsirea de bug-uri folosind AI până la SNARK-uri 👇 post-cuantice
Am descoperit recent o problemă subtilă, dar importantă, de soliditate în Halo2, pe care am numit-o bug-ul de coliziune a interogărilor. Afectează anumite circuite edge-case și a fost prezent în versiuni utilizate pe scară largă, inclusiv implementarea principală Zcash și fork-ul PSE. 👇🏼
În Sesiunea 05 de Proof is in the Pudding, @cryptodavidw se scufundă în:
+ TEE-uri și calcul confidențial
+ De ce TEE-urile sunt sigure (și de ce nu sunt)
+ Criptare memorie, măsurători și firmware
MARCAJELE
0:00 Introducere
0:25 Calcul confidențial
12:55 Vectori de securitate și atac TEE
25:08 Rădăcina încrederii
27:51 Criptare TXT, SGX, VMX și memorie
35:55 Măsurători și firmware