Санкт-Петербург

Аудит смарт-контрактов. Одним из способов обеспечения информационной 
безопасности является аудит кода контракта экспертами в области безопасности. В данный 
момент одним из таких признанных экспертов является компания Zeppelin, которая 
разработала отраслевые стандарты безопасности для внедрения и проектирования смарт-
контрактов. Компания предоставляет безопасные шаблоны для типовых контрактов, такие 
как токен ERC-20, Crowdsale и другие. 
Статические анализаторы. Еще одним инструментом для анализа безопасности кода 
контрактов являются статические анализаторы. Анализатор сканирует код и на основе 
заданных правил ищет потенциально опасные места в программе. Как правило, статические 
анализаторы имеют интеграцию со средой разработки, что позволяет обнаруживать и 
устранять уязвимости на самых ранних этапах разработки. 
Выполнение в тестовой сети. Для Ethereum существуют несколько тестовых сетей, 
которые позволяют протестировать приложение в условиях, максимально приближенных к 
реальной сети, без опасности потерять средства. Тестовые сети максимально идентичны 
главной сети, за исключением того, что токен, который находится в обращении данной сети 
ничего не стоит, его можно получить бесплатно. Это значит, что после загрузки контракта в 
тестовую сеть можно проводить полноценный аудит безопасности и тестирование на 
проникновение, не боясь за средства, хранимые на контракте. 
Естественно, не один из вышеперечисленных методов не дает полноценной гарантии 
отсутствия уязвимостей в коде контракта. Для максимальной защиты рекомендуется 
использовать все перечисленные средства обеспечения безопасности. 
Литература 
1. Nakamoto S. Bitcoin: A peer-to-peer electronic cash system [Электронный ресурс]. – Режим 
доступа: https://bitcoin.org/bitcoin.pdf, своб. 
2. Becker G. Merkle signature schemes, merkle trees and their cryptanalysis [Электронный 
ресурс]. 
– 
Режим 
доступа: 
http://www.emsec.rub.de/media/crypto/attachments/files/2011/04/becker_1.pdf, своб. 
3. Atzei N., Bartoletti M., Cimoli T. A survey of attacks on Ethereum smart contracts (SoK) // 
International Conference on Principles of Security and Trust. – 2017. – P. 164–186. 
4. Банк данных угроз безопасности информации [Электронный ресурс]. – Режим доступа: 
http://bdu.fstec.ru, своб. 

---

Альманах научных работ молодых ученых 
XLVII научной и учебно-методической конференции Университета ИТМО. Том 1 
135