🧵 In den letzten Monaten haben wir eine Reihe von Blogbeiträgen veröffentlicht, die die technischen Herausforderungen und Ideen rund um Zero-Knowledge-Proofs, Kryptographie und Sicherheit untersuchen. Dieser Thread fasst die neuesten Entwicklungen zusammen, von der Fehlersuche mit KI bis hin zu post-quantum SNARKs 👇
Wir haben kürzlich ein subtil, aber wichtiges Soliditätsproblem in Halo2 entdeckt, das wir den Query-Kollisionsfehler genannt haben. Es betrifft bestimmte Randfall-Schaltungen und war in weit verbreiteten Versionen vorhanden, einschließlich der Hauptimplementierung von Zcash und dem Fork von PSE. 👇🏼
In Sitzung 05 von Proof is in the Pudding taucht @cryptodavidw ein in:
+ TEEs und vertrauliche Berechnungen
+ Warum TEEs sicher sind (und warum nicht)
+ Speicherverschlüsselung, Messungen und Firmware
ZEITSTEMPEL
0:00 Einführung
0:25 Vertrauliche Berechnung
12:55 TEE-Sicherheit und Angriffsvektoren
25:08 Vertrauensanker
27:51 TXT, SGX, VMX und Speicherverschlüsselung
35:55 Messungen und Firmware