DISTRIBUTED LEDGER SYSTEM

FIELD: data processing.SUBSTANCE: invention relates to a distributed ledger system. The system contains a block for converting smart contracts from a domain-specific language to the HOL4 computer logic system language, a block for formal verification of smart contracts based on the library of theorems and tactics in the HOL4 system, a block for translating smart contracts into an abstract syntactic tree of the CakeML functional programming language, a block of a formally verified CakeML compiler into machine code, CPP nodes, wherein each comprises a verified operating system, a smart contract execution subsystem, a network interaction subsystem, wherein the CPP nodes are interconnected by a verified consensus protocol.EFFECT: increased reliability of the distributed ledger system.4 cl, 2 dwg Изобретение относится к системе распределенного реестра. Технический результат заключается в повышении надежности системы распределенного реестра. Система содержит блок преобразования смарт-контрактов с предметно-ориентированного языка на язык системы компьютерной логики HOL4, блок формальной верификации смарт-контрактов на основе библиотеки теорем и тактик в системе HOL4, блок трансляции смарт-контрактов в абстрактное синтаксическое дерево языка функционального языка программирования CakeML, блок формально-верифицированного компилятора CakeML в машинный код, узлы СРР, каждый из которых содержит верифицированную операционную систему, подсистему исполнения смарт-контрактов, подсистему сетевых взаимодействий, при этом узлы СРР связаны между собой посредством верифицированного протокола консенсуса. 3 з.п. ф-лы, 2 ил.