# CodeFest 🔗

## Ссылки про спикера 🧑‍🏫
[📲 Телеграм Александр Селезнев](https://t.me/msbenighted)
[🌐 Сайт Pessimistic](https://pessimistic.io/)
[🎙️ Базовый Блок](https://t.me/basicblockradio/)

## Интересные сайты
[📊 DeFiLlama](https://defillama.com/) — DeFi дашборд, огромное множество статистики по экосистеме
[🛡️ Seal 911 Bot](https://t.me/seal_911_bot) — телеграм бот на случай, если у вас что-то украдут. Помогут закрыть дыру, законтачить хакера и помешать отмыву и окончательной потере средств. Создан членами [ETH Security Community](https://t.me/ETHSecurity)

## Продукты для безопасности web3

### Формальная верификация
[🧪 Certora](https://www.certora.com/)
[🔬 Runtime Verification](https://runtimeverification.com/)

### Аудит контест платформы
[⚔️ code4rena](https://code4rena.com/)
[🧠 Sherlock](https://www.sherlock.xyz/)
[🎩 Hats Finance](https://hats.finance/)

### Баг баунти платформы
[🛠️ Immunefi](https://immunefi.com/)
[👾 Hackenproof](http://hackenproof.com)

### Сервисы мониторинга
[👁️‍🗨️ Pessimistic Spotter](https://spotter.pessimistic.io/) — это наш бесплатный тул, очень простой в использовании телеграм бот
[🚨 Hypernative](https://www.hypernative.io/)
[🧿 Hexagate](https://www.hexagate.com/)
[🛡️ OpenZeppelin Defender](https://defender.openzeppelin.com/)

### Децентрализованное страхование
[🤝 Nexus Mutual](https://nexusmutual.io/)
[🌐 Atomica](https://www.atomica.org/)

### Экономические аудиты
[🧠 Chaos Labs](https://chaoslabs.xyz/)
[🔎 Giants](https://gnts.ai)

## Организационная безопасность

### Примеры мастер-планов по безопасности
[🧭 Babylon Finance](https://docs.babylon.finance/security/security)
[📂 Yearn](https://github.com/yearn/yearn-security)

## Тулинг для аудитов

### Статический анализ
[🦎 Slither](https://github.com/crytic/slither)
[📐 Semgrep](https://github.com/Decurity/semgrep-smart-contracts)

### Фаззинг
[🐍 Echidna](https://github.com/crytic/echidna)
[🧱 Foundry](https://book.getfoundry.sh/forge/fuzz-testing)

### АИ-агенты
[🧙 Savant](https://savant.chat/)
[🕵️‍♂️ Nethermind Audit Agent](https://app.auditagent.nethermind.io/)