#certora_prover — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #certora_prover, aggregated by home.social.
-
Формальные методы проверки смарт-контрактов
Друзья, приветствую! Меня зовут Сергей Соболев, я представляю отдел безопасности распределенных систем Positive Technologies. В этой статье начну рассказывать про методы и инструменты формальной верификации, их практическое применение в аудите смарт-контрактов, а также про подводные камни. Сегодня поговорим про общие теоретические аспекты формальной верификации, проблемы SAT и SMT и закрепим все это на простом примере с использованием хайпового инструмента для анализа смарт-контрактов Certora Prover со своим языком спецификаций. Под кат
https://habr.com/ru/companies/pt/articles/786078/
#формальная_верификация #solidity #смартконтракты #ethereum #формальная_верификация_криптовалют #formal_specification #formal_methods #sat #certora_prover #smt