🧵 Negli ultimi mesi, abbiamo pubblicato una serie di post sul blog che esplorano le sfide tecniche e le idee che plasmano le prove a conoscenza zero, la crittografia e la sicurezza. Questo thread raccoglie le ultime novità, dalla ricerca di bug utilizzando l'IA agli SNARK post-quantistici 👇
Di recente abbiamo scoperto un problema di solidità sottile ma importante in Halo2, che abbiamo chiamato il bug della collisione delle query. Colpisce alcuni circuiti in casi limite ed era presente in versioni ampiamente utilizzate, inclusa l'implementazione principale di Zcash e il fork di PSE. 👇🏼
In Session 05 of Proof is in the Pudding, @cryptodavidw dives into:
+ TEEs and confidential compute
+ Why TEEs are secure (and why they’re not)
+ Memory encryption, measurements, and firmware
TIMESTAMPS
0:00 Intro
0:25 Confidential compute
12:55 TEE security and attack vectors
25:08 Root of trust
27:51 TXT, SGX, VMX, and memory encryption
35:55 Measurements and firmware