🧵 In de afgelopen maanden hebben we een reeks blogposts gepubliceerd waarin we de technische uitdagingen en ideeën verkennen die de zero-knowledge proofs, cryptografie en beveiliging vormgeven. Deze thread bundelt het laatste nieuws, van het vinden van bugs met behulp van AI tot post-quantum SNARKs 👇
We hebben onlangs een subtiele maar belangrijke soliditeitskwestie ontdekt in Halo2, die we de query collision bug hebben genoemd. Het heeft invloed op bepaalde randgevallen circuits en was aanwezig in veelgebruikte versies, waaronder de belangrijkste Zcash-implementatie en de fork van PSE. 👇🏼
In sessie 05 van Proof is in de Pudding duikt @cryptodavidw in:
+ TEEs en vertrouwelijke computing
+ Waarom TEEs veilig zijn (en waarom niet)
+ Geheugenversleuteling, metingen en firmware
TIJDSTEMPELS
0:00 Intro
0:25 Vertrouwelijke computing
12:55 TEE-beveiliging en aanvalsvectoren
25:08 Vertrouwensbasis
27:51 TXT, SGX, VMX en geheugenversleuteling
35:55 Metingen en firmware