1000 Исследование вопросов построения и верификации смарт-контрактов

Алексей Нестеренко

руководитель проекта

Старт

01.09.2021

Представление

11.11.2021

Постерная сессия

17.02.2022

Защита

18.04.2022

Паспорт проекта

Аннотация

Смарт-контракты (умные контракты) - это цифровой аналог традиционных договоров, которые повсеместно используются для различных сделок. Они работают на базе технологии блокчейн. По сути, это компьютерные алгоритмы, которые автоматически контролируют запись данных и обеспечивают исполнение обязательств, взятых на себя участниками договора. При этом все условия сделки должны быть формализованы и переведены в соответствующий программный код. Умные контракты, основаны на использовании криптографии и...

Отрасль

Информатика

Цель

Исследование вопросов построения и верификации смарт-контрактов

Ожидаемые результаты

1. Обзор и сравнительный анализ платформ для реализации смарт-контрактов (например, Hyperledger Fabric, Corda, Ethereum, Quorum, EOS, VeChain).
2. Обзор и сравнительный анализ методов и программных инструментов, используемых при синтакситечском анализе кода \ программы, статистическом и динамическом анализе в приложении к анализу смарт-контрактов.
3. Обзор и сравнительный анализ подходов и методов верификации смарт-контрактов (например, Proverif, HOL и Isabelle).