🧵 Nos últimos meses, publicamos uma série de postagens de blog explorando os desafios técnicos e as ideias que moldam as provas de conhecimento zero, criptografia e segurança. Este tópico reúne as últimas novidades, desde encontrar bugs usando IA até SNARKs pós-quânticos 👇
Recentemente, descobrimos um problema de solidez sutil, mas importante, no Halo2, que chamamos de bug de colisão de consulta. Ele afeta certos circuitos de casos extremos e estava presente em versões amplamente utilizadas, incluindo a implementação principal do Zcash e o fork do PSE. 👇🏼
Estaremos em Cannes na terça-feira! Venha conhecer a equipe zkSecurity e venha falar sobre prova de conhecimento zero, queijo e vinho durante um piquenique ZK!
In Session 05 of Proof is in the Pudding, @cryptodavidw dives into:
+ TEEs and confidential compute
+ Why TEEs are secure (and why they’re not)
+ Memory encryption, measurements, and firmware
TIMESTAMPS
0:00 Intro
0:25 Confidential compute
12:55 TEE security and attack vectors
25:08 Root of trust
27:51 TXT, SGX, VMX, and memory encryption
35:55 Measurements and firmware