🧵 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. 👇🏼
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