• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Article
DPN Verifier: A Toolkit for Faster Soundness Verification and Repair of Process Models with Data

Suvorov N. M.

Proceedings of the Institute for System Programming of the RAS. 2026. Vol. 38. No. 3(2). P. 49-66.

Book chapter
Scaling Up Molecular Hydrodynamics of Non-Laminar Flows with GPU-Aware MPI

Khnkoian G., Galigerov V., Grishichkin Y. et al.

In bk.: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891). Vol. 2891. Springer, 2026. P. 532-545.

Working paper
Approach to Designing CV Systems for Medical Applications: Data, Architecture and AI
In press

Ryabtsev D., Vasilyev Boris, Shershakov S.

Computer Science ::Computer Vision and Pattern Recognition. 2501.14689. arXiv, 2025

Design and Development of Smart Contracts for Blockchain Platforms

2022/2023
Academic Year
RUS
Instruction in Russian
5
ECTS credits
Category 'Best Course for New Knowledge and Skills'
Type:
Elective course
When:
3 year, 1, 2 module

Instructor

Лебедев Виктор Аркадьевич

Лебедев Виктор Аркадьевич

Программа дисциплины

Аннотация

Курс «Проектирование и разработка смарт-контрактов для блокчейн платформ» направлен на повышение прикладных навыков проектирования, разработки и аудита смарт-контрактов. В рамках курса даётся теоретическая информация в объеме, необходимом для разработки смарт-контрактов.
Цель освоения дисциплины

Цель освоения дисциплины

  • Освоение методов проектирования и разработки смарт-контрактов для блокчейн платформ
  • Формирование у студентов профессиональных компетенций, необходимых для принятия обоснованных решений при проектировании смарт-контрактов
  • Научиться программировать смарт-контракты
  • Освоение специализированного программного обеспечения для проектирования и разработки смарт-контрактов
Планируемые результаты обучения

Планируемые результаты обучения

  • Умение создавать смарт-контракты для одной или нескольких рассматриваемых блокчейн платформ
  • Создание своего проекта с прикладным назначением для одной из блокчейн платформ
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Введение в блокчейн
  • Архитектура блокчейна
  • Криптография
  • Консенсусы в распределенных средах
  • Виртуальные машины
  • Платформы. Введение и сравнение
  • Платформа Ethereum
  • Платформа Solana
  • Платформа NEAR
  • Платформа Polkadot
  • Платформа TON
  • Платформа WAVES
  • Конфиденциальность
  • Совместимость
  • Безопасность смарт-контрактов
  • Взаимодействие со смарт-контрактами
  • Внеблокчейновая информация
Элементы контроля

Элементы контроля

  • неблокирующий Тесты
  • неблокирующий Активность
    Количество тематических вопросов и участие в целевом общении в группах
  • неблокирующий Домашнее задание
    Глубина ответов на контрольные вопросы; Создание и оформление кода в репозитории
  • неблокирующий Проект
    Выступление с презентацией; Проработка рыночной перспективы; Создание прототипа
Промежуточная аттестация

Промежуточная аттестация

  • 2022/2023 учебный год 2 модуль
    0.3 * Тесты + 0.1 * Активность + 0.3 * Домашнее задание + 0.3 * Проект
Список литературы

Список литературы

Рекомендуемая основная литература

  • 19542 - Блокчейн. Принципы и основы - А.Цихилов - Альпина ПРО - 9785604288139 - 2019 - https://hse.alpinadigital.ru/book/19542 - Alpina

Рекомендуемая дополнительная литература

  • Alpina - 14808 - А.Генкин; А.Михеев - Блокчейн: Как это работает и что ждет нас завтра - 9785961450460 - Альпина Паблишер - 2018 - https://hse.alpinadigital.ru/book/14808

Авторы

  • Петрухина Анастасия Сергеевна