🧵 Over the last few months, we’ve published a range of blog posts exploring the technical challenges and ideas shaping zero-knowledge proofs, cryptography, and security. This thread rounds up the latest, from finding bugs using AI to post-quantum SNARKs 👇
We recently discovered a subtle but important soundness issue in Halo2, which we’ve named the query collision bug. It affects certain edge-case circuits and was present in widely used versions, including the main Zcash implementation and PSE’s fork. 👇🏼
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