🧵 En los últimos meses, hemos publicado una serie de entradas de blog en las que exploramos los retos técnicos y las ideas que dan forma a las pruebas de conocimiento cero, la criptografía y la seguridad. Este hilo resume lo más reciente, desde la búsqueda de errores mediante IA hasta los SNARK poscuánticos 👇
Recientemente descubrimos un problema de solidez sutil pero importante en Halo2, al que hemos llamado el error de colisión de consultas. Afecta a ciertos circuitos de caja límite y estaba presente en versiones ampliamente utilizadas, incluida la implementación principal de Zcash y la bifurcación de PSE. 👇🏼
¡Estaremos en Cannes el martes! ¡Venga a conocer al equipo de zkSecurity y venga a hablar sobre la prueba de conocimiento cero, el queso y el vino durante un picnic ZK!
En la Sesión 05 de Proof is in the Pudding, @cryptodavidw se sumerge en:
+ TEEs y cómputo confidencial
+ Por qué los TEE son seguros (y por qué no lo son)
+ Cifrado de memoria, mediciones y firmware
MARCAS DE TIEMPO
0:00 Introducción
0:25 Proceso confidencial
12:55 Seguridad TEE y vectores de ataque
25:08 Raíz de confianza
27:51 TXT, SGX, VMX y cifrado de memoria
35:55 Mediciones y firmware