🧵 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. 👇🏼
Nella Sessione 05 di Proof is in the Pudding, @cryptodavidw approfondisce:
+ TEEs e calcolo riservato
+ Perché i TEEs sono sicuri (e perché non lo sono)
+ Crittografia della memoria, misurazioni e firmware
TIMESTAMPS
0:00 Introduzione
0:25 Calcolo riservato
12:55 Sicurezza dei TEE e vettori di attacco
25:08 Radice di fiducia
27:51 TXT, SGX, VMX e crittografia della memoria
35:55 Misurazioni e firmware