Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
.@josef_widder объясняет, почему безопасность начинается с дизайна, а не только с проверки кода, на @MacrocosmPod ↴
10 июл. 2025 г.
Проектирование систем, угрозы безопасности и аудиты с @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 Стоимость и ценность
874
Топ
Рейтинг
Избранное