- Роскошь: запись информации о роскоши для публичной проверки
- Solidity все еще находится в стадии разработки, и через день обнаруживается множество новых ошибок. Будь то атака с коротким адресом или как во многих сценариях краудфандинга, когда связанный с Ethereum смарт-контракт Solidity был взломан из-за недостатков безопасности, вызванных отсутствием современных инструментов для формальной проверки.