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

Selfmade

Последний в этом году научный семинар о блокчейне пройдет 11 декабря 2024 в 18:30 онлайн. Ссылка на трансляцию как всегда будет вывешена незадолго до старта здесь.

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

Докладчик: Кирилл Зиборов, инженер по формальной верификации в Positive Technologies.

Аннотация: В докладе будут рассматриваться актуальные подходы к формальной верификации смарт-контактов в блокчейне Ethereum. Подробно остановимся на Certora Prover — набирающем популярность полуавтоматическом средстве доказательства свойств смарт-контрактов. Будут рассмотрены архитектура этого инструмента и опыт его использования. Также будут обсуждаться преимущества и недостатки Certora в сравнении с другими инструментами формальной верификации смарт-контрактов.

🗓 Дата: 11 декабря 2024

⏰ Время: 18:30

📍 Место: Онлайн