Внедрение формата верификации для безопасности умных контрактов на Эфириум