Проектирование систем, угрозы безопасности и аудиты с @informalinc 's @josef_widder 0:00 Введение и роль 1:26 Академические корни 4:19 Аудиты до криптовалют 7:07 Природа безопасности 9:22 Проектирование против создания 12:15 Ограничения аудитов 14:51 Моделирование угроз 17:21 Долгосрочная безопасность 20:13 Определение объема аудитов 23:28 Полный стек рисков 26:23 Консенсус и смарт-контракты 28:54 Мосты и уровни 31:00 Tendermint и Rust 35:01 Создание протоколов 38:52 Формальные спецификации 42:29 Мысли о Anoma 43:29 Процесс аудита 46:02 Выбор языка 48:56 Раннее участие 52:16 Стоимость и ценность