Розумний контракт — різновид угоди в формі закодованих математичних алгоритмів, укладення, зміна, виконання і розірвання яких можливі лише з використанням комп’ютерних програм в рамках мережі Інтернет. В реальному світі широке охоплення в реалізації смарт-контрактів здобула DAO, розподілена автономна організація для венчурного фінансування, яка була запущена у травні 2016 року. Словосполучення «смарт-контракт» було створено вченим у галузі інформатики, криптографії, а також в області права, Ніком Сабо у 1994 році, для підкреслення того, що він називає «високорозвинені практики» договірного права і пов’язаних з діловою практикою в розробці електронних протоколів торгівлі, між незнайомими людьми в Інтернеті.
Можна сказати, що йдеться про врегулювання відносин сторін шляхом закріплення їх вираженої волі у формі певного коду, який придатний для зчитування комп’ютером. Одним із таких контактів є Mythril — це інструмент аналізу безпеки для байт-коду EVM. Він виявляє вразливі місця в безпеці в смарт-контрактах, створених для Ethereum, Hedera, Quorum, Vechain, Roostock, Tron та інших блокчейнів, сумісних з EVM. Він використовує символічне виконання, вирішення SMT і аналіз пошкоджень для виявлення різноманітних вразливостей безпеки. Він також використовується (у поєднанні з іншими інструментами та методами) у платформі аналізу безпеки MythX . Якщо ви розробник смарт-контрактів, ми рекомендуємо використовувати інструменти MythX, які оптимізовані для зручності використання та охоплюють ширший спектр питань безпеки.