🧵 Au cours des derniers mois, nous avons publié une série d'articles de blog explorant les défis techniques et les idées qui façonnent les preuves à divulgation nulle de connaissance, la cryptographie et la sécurité. Ce fil récapitule les dernières avancées, de la recherche de bugs à l'aide de l'IA aux SNARKs post-quantiques 👇
Nous avons récemment découvert un problème de solidité subtil mais important dans Halo2, que nous avons nommé le bug de collision de requête. Il affecte certains circuits de cas limites et était présent dans des versions largement utilisées, y compris l'implémentation principale de Zcash et le fork de PSE. 👇🏼
Nous serons à Cannes mardi ! Venez rencontrer l'équipe de zkSecurity et discuter de preuve à divulgation nulle de connaissance, de fromage et de vin lors d'un pique-nique ZK !
Dans la Session 05 de Proof is in the Pudding, @cryptodavidw aborde :
+ TEEs et calcul confidentiel
+ Pourquoi les TEEs sont sécurisés (et pourquoi ils ne le sont pas)
+ Chiffrement de la mémoire, mesures et firmware
HORAIRES
0:00 Intro
0:25 Calcul confidentiel
12:55 Sécurité des TEE et vecteurs d'attaque
25:08 Racine de confiance
27:51 TXT, SGX, VMX et chiffrement de la mémoire
35:55 Mesures et firmware