Design de Sistemas, Ameaças de Segurança e Auditorias com @informalinc 's @josef_widder 0:00 Introdução & Papel 1:26 Raízes Académicas 4:19 Auditorias Antes do Crypto 7:07 Natureza da Segurança 9:22 Design vs Construção 12:15 Limites das Auditorias 14:51 Modelagem de Ameaças 17:21 Segurança a Longo Prazo 20:13 Escopo das Auditorias 23:28 Risco Full Stack 26:23 Consenso & SCs 28:54 Pontes & Camadas 31:00 Tendermint & Rust 35:01 Construindo Protocolos 38:52 Especificações Formais 42:29 Pensamentos sobre Anoma 43:29 Processo de Auditoria 46:02 Escolhas de Linguagem 48:56 Envolvimento Precoce 52:16 Custo & Valor