Цель

Создание Российской верифицированной системы распределенного реестра, отвечающей отечественным требованиям безопасности, включая создание специализированного языка программирования для верифицируемых смарт-контрактов, инструментов для их разработки, исполнения и автоматического аудита(верификации) на надежность и безопасность, а также механизмов интероперабельности на базе Лидирующего Исследовательского Центра в области систем распределенного реестра