🧵 W ciągu ostatnich kilku miesięcy opublikowaliśmy szereg postów na blogu, badając techniczne wyzwania i pomysły kształtujące dowody zerowej wiedzy, kryptografię i bezpieczeństwo. Ten wątek podsumowuje najnowsze informacje, od znajdowania błędów przy użyciu AI po post-kwantowe SNARKi 👇
Ostatnio odkryliśmy subtelny, ale ważny problem z poprawnością w Halo2, który nazwaliśmy błędem kolizji zapytań. Dotyczy on niektórych przypadków brzegowych obwodów i był obecny w szeroko używanych wersjach, w tym w głównej implementacji Zcash oraz w forkach PSE. 👇🏼
W Sesji 05 programu Proof is in the Pudding, @cryptodavidw zagłębia się w:
+ TEEs i obliczenia poufne
+ Dlaczego TEEs są bezpieczne (i dlaczego nie są)
+ Szyfrowanie pamięci, pomiary i oprogramowanie układowe
CZASOMIERZE
0:00 Wprowadzenie
0:25 Obliczenia poufne
12:55 Bezpieczeństwo TEE i wektory ataku
25:08 Zaufany rdzeń
27:51 TXT, SGX, VMX i szyfrowanie pamięci
35:55 Pomiary i oprogramowanie układowe