Формальная верификация смарт-контрактов с помощью Certora Prover
В докладе рассматриваются актуальные подходы к формальной верификации смарт-контактов в блокчейне Ethereum. Подробно остановимся на Certora Prover — набирающем популярность полуавтоматическом средстве доказательства свойств смарт-контрактов. Рассматриваются архитектура этого инструмента и опыт его использования. Обсуждаются преимущества и недостатки Certora в сравнении с другими инструментами формальной верификации смарт-контрактов.
Дата записи: 11 декабря 2024.
Докладчик: Кирилл Зиборов, инженер по формальной верификации в Positive Technologies.
Научный семинар организован совместными усилиями МФТИ, Сколтеха и ВШЭ и рассчитан как на специалистов в области блокчейна, так и интересующихся этим направлением исследователей.
#blockchain #blockchaintechnology #блокчейн #MIPT #МФТИ #HSE #ВШЭ #Сколтех #Skoltech #TON #telegramopennetwork #audit #аудит #vulnerability #уязвимость #func #tact #fift
Дополнительные материалы, новости и анонсы публикуются в официальной группе в Telegram Kb41CAVPiJZhNjhi
15 views
1396
447
9 hours ago 00:01:39 1
Алтаймаг интернет магазин часы ☑ Megir часы цена мужские 👍
1 day ago 01:31:29 46
Формальная верификация смарт-контрактов с помощью Certora Prover
3 days ago 00:01:39 4
НАРУЧНЫЕ ЧАСЫ ТАГАНРОГ 🔥 МАГАЗИН ИСЛАМСКИХ ЧАСОВ
4 days ago 00:01:39 2
ЧАСЫ SPINNAKER
6 days ago 00:01:39 19
🔴 Рейтинг часовых механизмов ❌ Бюджетные марки часов 🔵
6 days ago 00:01:39 6
АВАНГАРД ТАЙМ ЧАСЫ ИНТЕРНЕТ МАГАЗИН 💣
1 week ago 00:01:39 1
⚪ КАКИЕ ЧАСЫ КУПИТЬ МУЖЧИНЕ 🔥 КУПЛЮ НАРУЧНЫЕ ЧАСЫ 💡
1 week ago 00:01:39 2
🎯 Наручные часы в санлайт
1 week ago 00:01:39 2
Марки часов 🤘 Магазин часов в жулебино
2 weeks ago 00:00:55 1
❌ Сумки престиж официальный сайт
2 weeks ago 01:21:12 89
Верификация консенсуса IBFT методом Model Checking
2 weeks ago 00:01:39 11
💯 ЧАСЫ ТЕЛЕФОН МУЖСКИЕ НАРУЧНЫЕ ФОТО И ЦЕНЫ ⚠ КУПИТЬ МУЖСКИЕ ЧАСЫ НАЛОЖЕННЫМ ПЛАТЕЖОМ ⭐
4 weeks ago 00:01:39 4
ЧАСЫ МУЖСКИЕ AMST
1 month ago 00:01:39 45
🎯 Купить механические часы мужские 👌 Недорогие хорошие часы мужские ❕
1 month ago 00:01:39 30
⚠ Time force наручные часы мужские 🔵 Швейцарские часы мужские бренды оригинальные
1 month ago 00:00:54 5
Одежда для женщин 50 👍 Женская одежда официальный сайт интернет ✔
1 month ago 00:01:39 5
💡 КУПИТЬ ЧАСЫ В КОНТАКТЕ 👌 ЧАСЫ НАРУЧНЫЕ АНАЛОГОВЫЕ 🎯
1 month ago 00:01:39 5
Швейцарские часы сайт
2 months ago 00:54:50 1
TLA+/TLC: формальный метод верификации конкурентных алгоритмов для инженеров / Алексей Найденов
2 months ago 00:00:55 5
Гесс сумки женские каталог официальный сайт цена ❌ Сумка michael kors на цепочке
2 months ago 00:01:39 53
💯 ЧАСЫ МУЖСКИЕ ШВЕЙЦАРИЯ ОРИГИНАЛ ЦЕНА ⚡ ЗАКАЗАТЬ ЧАСЫ С АЛИЭКСПРЕСС 💯
2 months ago 00:01:01 1
⚡️ Регистрация на Bybit: Быстрый старт для трейдеров
2 months ago 02:47:55 1
Подкаст cp0x #11, часть Б: Антон Буков (1inch) о JIT, ZK, AI, алгоритмах, DeFi, лендингах и хакатоне
2 months ago 00:01:39 80
ЧАСЫ МУЖСКИЕ НАРУЧНЫЕ TISSOT 💡 ТИССОТ ЧАСЫ МУЖСКИЕ МАГАЗИН В МОСКВЕ ⚪