Проектирование систем, угрозы безопасности и аудит с @josef_widder @informalinc 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 Тендерминт и Ржавчина 35:01 Строительные протоколы 38:52 Формальные спецификации 42:29 Мысли об аноме 43:29 Процесс аудита 46:02 Выбор языка 48:56 Раннее вовлечение 52:16 Стоимость и ценность