🧵 I løpet av de siste månedene har vi publisert en rekke blogginnlegg som utforsker de tekniske utfordringene og ideene som former nullkunnskapsbevis, kryptografi og sikkerhet. Denne tråden avrunder det siste, fra å finne feil ved hjelp av AI til post-kvante-SNARK-er 👇
Vi oppdaget nylig et subtilt, men viktig problem med sunnheten i Halo2, som vi har kalt spørringskollisjonsfeilen. Det påvirker visse edge-case-kretser og var til stede i mye brukte versjoner, inkludert hovedimplementeringen av Zcash og PSEs gaffel. 👇🏼
I sesjon 05 av Proof is in the Pudding, dykker @cryptodavidw ned i:
+ TEE-er og konfidensiell databehandling
+ Hvorfor TEE-er er sikre (og hvorfor de ikke er det)
+ Minnekryptering, målinger og fastvare
TIDSSTEMPLER
0:00 Introduksjon
0:25 Konfidensiell databehandling
12:55 TEE-sikkerhets- og angrepsvektorer
25:08 Roten til tillit
27:51 TXT, SGX, VMX og minnekryptering
35:55 Målinger og fastvare