Актуальные темы
#
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.
Informal Systems 🌱
Ведущий партнер в области разработки протоколов и кроссчейн-инфраструктуры | Аудит | Валидатор | Инкубация @cyclesmoney | Поддержка проектов на ранних стадиях @informalvc
Informal Systems 🌱 сделал репост
Пользователи DeFi тратят слишком много времени на поиск доходности, перебалансировку между площадками по мере изменения ставок, мостование активов, обертывание деривативов и т. д.
Мы разрабатываем решение, которое позволит им вносить средства и получать наивысшую низкорисковую доходность, доступную на рынке в любой момент времени.
1,08K
Новый консенсус Alpenglow от Solana теперь имеет спецификацию Quint.
Вместо того, чтобы объяснять протокол, мы даем вам инструменты, чтобы понять его самостоятельно. В этой статье блога вы начнете работу с интерактивными инструментами и сможете создать сценарии, в которых византийские узлы вызывают разногласия.
Можете ли вы нарушить консенсус? ⬇️
2,08K
.@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 Стоимость и ценность
841
Топ
Рейтинг
Избранное