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 |
- Song, Xuyang
- Yan, Ying
- Qiu, Honglin
- Zhao, Boran
- Lin, Li
|
RU2729700C1 |
| METHOD OF REMOTE VERIFICATION OF DOCUMENTS |
2019 |
- Arzumanyan Grigorij Rachikovich
|
RU2707700C1 |
| CONTROL OF PRIVATE TRANSACTIONS IN CHAINS OF BLOCKS BASED ON PROCESSING FLOW |
2018 |
- Pan, Dong
- Zhang, Wenbin
- Yan, Xuebing
|
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 |
| SYSTEM AND METHOD OF ROLE-BASED ACCESS DIFFERENTIATION OF SECURE ELECTRONIC DOCUMENT MANAGEMENT BLOCKCHAIN SYSTEM BASED ON SMART CONTRACTS |
2024 |
- Ivkin Artem Valerevich
- Ivanovskij Oleg Yarkovich
- Misan Yurij Aleksandrovich
- Vyzulin Sergej Aleksandrovich
- Godovykh Oksana Vasilevna
|
RU2832693C1 |
| WHITE LISTS OF SMART CONTRACTS |
2018 |
- Sya, Nin
- Se, Gujlu
- Den, Fusi
|
RU2744827C2 |
