🧵 Nos últimos meses, publicámos uma série de posts no blog explorando os desafios técnicos e as ideias que moldam as provas de conhecimento nulo, a criptografia e a segurança. Este tópico reúne o mais recente, desde a deteção de bugs usando IA até SNARKs pós-quânticos 👇
Recentemente, descobrimos um problema de solidez sutil, mas importante, no Halo2, que nomeamos de bug de colisão de consulta. Ele afeta certos circuitos em casos extremos e estava presente em versões amplamente utilizadas, incluindo a implementação principal do Zcash e o fork da PSE. 👇🏼
Estaremos em Cannes na terça-feira! Venha conhecer a equipe do zkSecurity e venha conversar 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
CARACTERES TEMPORAIS
0:00 Introdução
0:25 Computação confidencial
12:55 Segurança do TEE e vetores de ataque
25:08 Raiz de confiança
27:51 TXT, SGX, VMX e criptografia de memória
35:55 Medições e firmware