Проектування систем, загрози безпеці та аудит з @informalinc's @josef_widder 0:00 Вступ і роль 1:26 Академічне коріння 4:19 Аудити перед криптовалютою 7:07 Характер безпеки 9:22 Дизайн vs Збірка 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 Вартість і цінність