Логотип МИЭМ НИУ ВШЭ
Завершен
Логотип типа проекта Научно-исследовательская работа
Научно-исследовательская работа
2021 / 2022
Логотип проекта Исследование вопросов построения и верификации смарт-контрактов

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).

        Форма и способы промежуточного контроля

        Промежуточный отчет, научные семинары

        Форма представления результатов

        Отчет

        Ресурсное обеспечение

        сеть Интернет

        Имеющийся задел

        Ряд публикаций, посвященных обзору предметной области.

        Заказчик

        МИЭМ / ДПМ