Smart Conract Verification Workshop

​Воркшоп по формальной верификации смарт-контрактов

​📅 Воскресенье, 12:00 – 17:00
📍 Оффлайн, Тбилиси, место будет отправлено после регистрации

​Формальная верификация — мощный инструмент, который помогает гарантировать корректность и безопасность смарт-контрактов. На этом воркшопе вы узнаете, как применять дедуктивную формальную верификацию и работать с контрактами на Solidity и FunC с помощью фреймворка Pruvendo.

​🛠 Что вас ждет:
— Основы и преимущества формальной верификации
— Разбор инструментов и подходов к верификации смарт-контрактов
— Практическое применение на реальных примерах
— Настройка среды и работа с фреймворком Pruvendo
— Поддержка экспертов и живое обсуждение

​👨‍🏫 Ведущий: Андрей Ляшин – CTO и сооснователь Pruvendo, эксперт по формальной верификации и безопасности блокчейн-приложений.

​⚡ Кому подойдет:
— Разработчикам смарт-контрактов
— Блокчейн-инженерам
— Всем, кто хочет глубже разобраться в безопасности контрактов

​📌 Регистрируйтесь и прокачайте навыки безопасности в блокчейне!