Формальные методы проверки смарт-контрактов Друзья, приветствую! Меня зовут Сергей Соболев, я представляю отд…
Формальные методы проверки смарт-контрактов Друзья, приветствую! Меня зовут Сергей Соболев, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье начну рассказывать про методы и инструменты формальной верификации, их практическое применение в аудите смарт-контрактов, а также про подводные камни.Сегодня поговорим про общие теоретические аспекты формальной верификации, проблемы SAT и SMT и закрепим все эт... https://clck.ru/37odrG
Автор: Habr все новости об IT