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
| Title | Year | Author | Number |
|---|---|---|---|
| METHOD AND DEVICE FOR BUSINESS PROCESSING | 2018 |
|
RU2737361C1 |
| SERVICE OF SMART CONTRACT OUTSIDE CHAIN BASED ON TRUSTED EXECUTION ENVIRONMENT | 2018 |
|
RU2729700C1 |
| METHOD OF REMOTE VERIFICATION OF DOCUMENTS | 2019 |
|
RU2707700C1 |
| CONTROL OF PRIVATE TRANSACTIONS IN CHAINS OF BLOCKS BASED ON PROCESSING FLOW | 2018 |
|
RU2723308C1 |
| BLOCKCHAIN SYSTEM AND METHOD AND DEVICE FOR DATA STORAGE | 2018 |
|
RU2732535C1 |
| METHOD AND DEVICE FOR PROCESSING TRANSACTION REQUESTS | 2018 |
|
RU2730439C1 |
| METHOD AND DEVICE FOR PROCESSING TRANSACTION BASED ON A BLOCKCHAIN | 2018 |
|
RU2751447C2 |
| DISPLAY OF PHYSICAL OBJECTS ON BLOCKCHAIN STRUCTURE | 2018 |
|
RU2786646C2 |
| WHITE LISTS OF SMART CONTRACTS | 2018 |
|
RU2744827C2 |
| CONTROL OF CONFIDENTIAL BLOCKCHAIN TRANSACTIONS | 2018 |
|
RU2720354C1 |
