Projektowanie systemów, zagrożenia bezpieczeństwa i audyty z @informalinc 's @josef_widder 0:00 Wprowadzenie i rola 1:26 Korzenie akademickie 4:19 Audyty przed kryptowalutami 7:07 Natura bezpieczeństwa 9:22 Projektowanie a budowanie 12:15 Ograniczenia audytów 14:51 Modelowanie zagrożeń 17:21 Długoterminowe bezpieczeństwo 20:13 Zakres audytów 23:28 Ryzyko pełnego stosu 26:23 Konsensus i SCs 28:54 Mosty i warstwy 31:00 Tendermint i Rust 35:01 Budowanie protokołów 38:52 Formalne specyfikacje 42:29 Myśli Anoma 43:29 Proces audytu 46:02 Wybory językowe 48:56 Wczesne zaangażowanie 52:16 Koszt i wartość