---
# System prepended metadata

title: Ссылки

---

# 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/)
