Proiectare de sistem, amenințări de securitate și audituri cu @josef_widder @informalinc 0:00 Introducere și rol 1:26 Rădăcini academice 4:19 Audituri înainte de criptomonede 7:07 Natura securității 9:22 Proiectare vs Construcție 12:15 Limitele auditurilor 14:51 Modelarea amenințărilor 17:21 Securitate pe termen lung 20:13 Audituri de scop 23:28 Risc Full Stack 26:23 Consens și SC 28:54 Poduri și straturi 31:00 Tendermint & Rust 35:01 Protocoale de construcție 38:52 Specificații formale 42:29 Anoma Gânduri 43:29 Procesul de audit 46:02 Alegeri lingvistice 48:56 Implicare timpurie 52:16 Cost și valoare