Формальная верификация смарт-контрактов с помощью Certora Prover

В докладе рассматриваются актуальные подходы к формальной верификации смарт-контактов в блокчейне Ethereum. Подробно остановимся на Certora Prover — набирающем популярность полуавтоматическом средстве доказательства свойств смарт-контрактов. Рассматриваются архитектура этого инструмента и опыт его использования. Обсуждаются преимущества и недостатки Certora в сравнении с другими инструментами формальной верификации смарт-контрактов. Дата записи: 11 декабря 2024. Докладчик: Кирилл Зиборов, инженер по формальной верификации в Positive Technologies. Научный семинар организован совместными усилиями МФТИ, Сколтеха и ВШЭ и рассчитан как на специалистов в области блокчейна, так и интересующихся этим направлением исследователей. #blockchain #blockchaintechnology #блокчейн #MIPT #МФТИ #HSE #ВШЭ #Сколтех #Skoltech #formalverification #формальнаяверификация #solidity #ethereum #evm #bytecode #certoraprover #smartcontract #смартконтракт Дополнительные материалы, новости и анонсы публикуются в официальной группе в Telegram