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

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