Diseño del sistema, amenazas de seguridad y auditorías con @informalinc 's @josef_widder 0:00 Introducción y rol 1:26 Raíces académicas 4:19 Auditorías antes de Crypto 7:07 Naturaleza de la seguridad 9:22 Diseño vs Construcción 12:15 Límites de las auditorías 14:51 Modelado de amenazas 17:21 Seguridad a largo plazo 20:13 Alcance de las auditorías 23:28 Riesgo de pila completa 26:23 Consenso y SCs 28:54 Puentes y capas 31:00 Tendermint y Rust 35:01 Construyendo protocolos 38:52 Especificaciones formales 42:29 Pensamientos sobre Anoma 43:29 Proceso de auditoría 46:02 Elecciones de lenguaje 48:56 Participación temprana 52:16 Costo y valor