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