The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services

Yaoyu ZHANG; Jiarui ZHANG; Han ZHANG

doi:10.1587/transinf.2022EDP7016

The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services

Yaoyu ZHANG, Jiarui ZHANG, Han ZHANG

Full Text Views

0

Cite this

Summary :

With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.

Publication: IEICE TRANSACTIONS on Information Vol.E105-D No.12 pp.2066-2074

Publication Date: 2022/12/01

Publicized: 2022/08/24

Online ISSN: 1745-1361

DOI: 10.1587/transinf.2022EDP7016

Type of Manuscript: PAPER

Category: Software System

Authors

Yaoyu ZHANG
  Hefei University
Jiarui ZHANG
  Hefei University
Han ZHANG
  China National Software

Keyword

smart contract, automatic code generation, anti-disclosure, privacy protection, prophecy processing

Cite this

Copy

Yaoyu ZHANG, Jiarui ZHANG, Han ZHANG, "The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services" in IEICE TRANSACTIONS on Information, vol. E105-D, no. 12, pp. 2066-2074, December 2022, doi: 10.1587/transinf.2022EDP7016.
Abstract: With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2022EDP7016/_p

Copy

@ARTICLE{e105-d_12_2066,
author={Yaoyu ZHANG, Jiarui ZHANG, Han ZHANG, },
journal={IEICE TRANSACTIONS on Information},
title={The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services},
year={2022},
volume={E105-D},
number={12},
pages={2066-2074},
abstract={With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.},
keywords={},
doi={10.1587/transinf.2022EDP7016},
ISSN={1745-1361},
month={December},}

Copy

TY - JOUR
TI - The Automatic Generation of Smart Contract Based on Configuration in the Field of Government Services
T2 - IEICE TRANSACTIONS on Information
SP - 2066
EP - 2074
AU - Yaoyu ZHANG
AU - Jiarui ZHANG
AU - Han ZHANG
PY - 2022
DO - 10.1587/transinf.2022EDP7016
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E105-D
IS - 12
JA - IEICE TRANSACTIONS on Information
Y1 - December 2022
AB - With the development of blockchain technology, the automatic generation of smart contract has become a hot research topic. The existing smart contract automatic generation technology still has improvement spaces in complex process, third-party specialized tools required, specific the compatibility of code and running environment. In this paper, we propose an automatic smart contract generation method, which is domain-oriented and configuration-based. It is designed and implemented with the application scenarios of government service. The process of configuration, public state database definition, code generation and formal verification are included. In the Hyperledger Fabric environment, the applicability of the generated smart contract code is verified. Furthermore, its quality and security are formally verified with the help of third-party testing tools. The experimental results show that the quality and security of the generated smart contract code meet the expect standards. The automatic smart contract generation will “elegantly” be applied on the work of anti-disclosure, privacy protection, and prophecy processing in government service. To effectively enable develop “programmable government”.
ER -