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