🧵 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!
Na Sessão 05 de Proof is in the Pudding, @cryptodavidw mergulha em:
+ TEEs e computação confidencial
+ Por que os TEEs são seguros (e por que não são)
+ Criptografia de memória, medições e firmware
TIMESTAMPS
0:00 Introdução
0:25 Computação confidencial
12:55 Segurança do TEE e vetores de ataque
25:08 Raiz da confiança
27:51 TXT, SGX, VMX e criptografia de memória
35:55 Medições e firmware