🧵 Under de senaste månaderna har vi publicerat en rad blogginlägg som utforskar de tekniska utmaningarna och idéerna som formar nollkunskapsbevis, kryptografi och säkerhet. Den här tråden sammanfattar det senaste, från att hitta buggar med hjälp av AI till post-kvant-SNARK:er 👇
Vi upptäckte nyligen ett subtilt men viktigt problem med sundhet i Halo2, som vi har döpt till frågekollisionsbuggen. Det påverkar vissa kantfallskretsar och fanns i allmänt använda versioner, inklusive huvudimplementationen av Zcash och PSE:s gaffel. 👇🏼
I session 05 av Proof is in the Pudding dyker @cryptodavidw in i:
+ TEE:er och konfidentiell beräkning
+ Varför TEE:er är säkra (och varför de inte är det)
+ Minneskryptering, mätningar och firmware
TIDSSTÄMPLAR
0:00 Introduktion
0:25 Konfidentiell beräkning
12:55 TEE-säkerhet och attackvektorer
25:08 Roten till tillit
27:51 TXT-, SGX-, VMX- och minneskryptering
35:55 Mätningar och firmware