🧵 За последние несколько месяцев мы опубликовали ряд статей в блоге, в которых исследовали технические проблемы и идеи, лежащие в основе доказательств с нулевым разглашением, криптографии и безопасности. В этой теме собраны последние новости, от поиска ошибок с помощью ИИ до постквантовых SNARK 👇
Недавно мы обнаружили небольшую, но важную проблему со звукобезопасностью в Halo2, которую мы назвали ошибкой коллизии запросов. Он затрагивает определенные схемы пограничного случая и присутствовал в широко используемых версиях, включая основную реализацию Zcash и форк PSE. 👇🏼
Во вторник мы будем в Каннах! Приходите познакомиться с командой zkSecurity и поговорить о доказательстве с нулевым разглашением, сыре и вине на пикнике ZK!
В Сеансе 05 Proof is the Pudding, @cryptodavidw погружается в:
+ TEE и конфиденциальные вычисления
+ Почему TEE безопасны (и почему нет)
+ Шифрование памяти, измерения и прошивка
ВРЕМЕННЫЕ МЕТКИ
0:00 Вступление
0:25 Конфиденциальные вычисления
12:55 Безопасность TEE и векторы атак
25:08 Корень доверия
27:51 TXT, SGX, VMX и шифрование памяти
35:55 Измерения и прошивка