Контакты
Вымышленные данные
Антон Михайлович Соловьёв
Senior Smart Contract Auditor / Lead Security
xxx@mail.ru+7 926 000-00-00Дубай / Remote
О себе
Обладаю уникальным опытом обеспечения безопасности институциональных DeFi-платформ. Регулярный спикер профильных конференций (EthCC, Devconnect). Эксперт в формальных методах верификации и анализе байткода EVM. Предотвратил эксплойты на общую сумму более $500 млн за всю карьеру.
Опыт работы
Head of Smart Contract Audit
Global Crypto Security Firm · International
2021 — наст. время
- Выстроил методологию аудита, сократившую время проверки на 20% при росте качества
- Лично курировал аудит 3 кросс-чейн мостов с суммарным объемом транзакций $1 млрд+
- Внедрил использование Certora Prover для критически важных компонентов систем
- Вырастил команду из 8 аудиторов уровня Middle и Junior
Lead Security Engineer
Top-Tier DeFi Protocol · Удаленно
2019 — 2021
- Спроектировал и внедрил систему автоматизированного пре-деплой сканирования
- Провел 50+ комплексных проверок кода перед каждым обновлением основной сети
- Разработал кастомные фаззеры на базе Foundry для специфических бизнес-инвариантов
Навыки
Hard skills
Formal Verification (Certora, K-Framework)Rust/InkBOCZK-SNARKs/STARKsEVM Bytecode AnalysisSymbolic ExecutionArchitectural Design Review
Soft skills
Стратегическое планированиеЛидерствоКризис-менеджментМенторство
Образование
Математика и кибернетика (Кандидат наук)
МГУ им. Ломоносова · 2011 — 2017
Языки
- Русский — C2 (Native)
- Английский — C2 (Fluent)
Сертификаты
- Offensive Security Certified Professional (OSCP) · OffSec, 2018
- Specialized ZK-Security Course · 0xPARC, 2022