Разработка высокоуровневого языка смарт-контрактов, его операционной семантики и систем верификации смарт-контрактов (интерактивной и автоматической).

Направления деятельности лаборатории: 

1. Разработка протокола консенсуса — методов децентрализованного достижения согласия узлов о включении информации в реестр и достижения ее неоткатываемости (финализации), формальное доказательство защищенности протокола. 

2. Разработка криптографических примитивов для поддержки целостности системы распределенного реестра (хэширование) и обеспечения авторизации доступа к данным (электронная цифровая подпись). 

3. Разработка эффективных методов сериализации данных для передачи и хранения информации. 

4. Разработка криптографических протоколов шифрования для передачи данных по сети. 

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

Сотрудники лаборатории отвечают за следующие задачи: 

1. Разработка протокола взаимодействия одноранговых узлов системы распределенного реестра: добавление нового узла, поиск соседних узлов, синхронизация информации между узлами, обеспечение сохранения связности сети, обнаружение и блокировка атак. 

2. Разработка интерфейсов дистанционного взаимодействия с узлом (JSON-RCP и WebSockets). 

3. Разработка библиотек, предоставляющих возможность отправлять и получать данные из системы распределенного реестра из приложений пользователя.