🧵 Během posledních několika měsíců jsme publikovali řadu blogových příspěvků, které se zabývají technickými výzvami a myšlenkami utvářejícími důkazy s nulovými znalostmi, kryptografii a zabezpečení. Toto vlákno shrnuje to nejnovější, od hledání chyb pomocí umělé inteligence až po post-kvantové SNARKy 👇
Nedávno jsme v Halo2 objevili drobný, ale důležitý problém se spolehlivostí, který jsme pojmenovali Query Collision Bug. Ovlivňuje určité okrajové obvody a byl přítomen v široce používaných verzích, včetně hlavní implementace Zcash a forku 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