🧵 За останні кілька місяців ми опублікували низку публікацій у блозі, в яких досліджують технічні проблеми та ідеї, що формують докази з нульовим розголошенням, криптографію та безпеку. Ця тема завершує найновіші, від пошуку помилок за допомогою штучного інтелекту до постквантових снарків 👇
Нещодавно ми виявили тонку, але важливу проблему зі звуком у 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 Вимірювання та прошивка