Smart Conract Verification Workshop

Организаторы: Marina Rioni и Global Crypto Club [GCC]

Зарегистрируйтесь, чтобы увидеть адрес

Прошедшее событие

Добро пожаловать! Чтобы принять участие в событии, зарегистрируйтесь ниже.

О событии

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

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

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

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

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

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

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

Организатор

Посетили: 17

Крипта