🧵 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. 👇🏼
V Session 05 of Proof is in the Pudding se @cryptodavidw ponoří do:
+ TEE a důvěrné výpočetní prostředky
+ Proč jsou TEE bezpečné (a proč nejsou)
+ Šifrování paměti, měření a firmware
ČASOVÁ RAZÍTKA
0:00 Úvod
0:25 Důvěrné výpočetní prostředky
12:55 TEE zabezpečení a vektory útoku
25:08 Kořen důvěry
27:51 TXT, SGX, VMX a šifrování paměti
35:55 Měření a firmware