Progettazione del sistema, minacce alla sicurezza e audit con @informalinc 's @josef_widder 0:00 Introduzione e ruolo 1:26 Radici accademiche 4:19 Audit prima della crypto 7:07 Natura della sicurezza 9:22 Progettazione vs Costruzione 12:15 Limiti degli audit 14:51 Modellazione delle minacce 17:21 Sicurezza a lungo termine 20:13 Definizione degli audit 23:28 Rischio Full Stack 26:23 Consenso e SC 28:54 Ponti e Layer 31:00 Tendermint e Rust 35:01 Costruire protocolli 38:52 Specifiche formali 42:29 Pensieri su Anoma 43:29 Processo di audit 46:02 Scelte linguistiche 48:56 Coinvolgimento precoce 52:16 Costo e valore