Blockchain automation technology effectively addresses the dilemma of blockchain’s incapability to automatically execute smart contract programs, and expands the application scenarios of blockchain. However, existing automation solutions often suffer from complex task definitions, lack of provability in task execution, and the inability to support off-chain data, leading to high entry barriers and low trustworthiness. In response, this paper proposes a trustworthy blockchain automation protocol called Specy Network. This protocol first combines domain-specific programming models with a trusted execution environment to design a domain-specific language tailored for blockchain automation scenarios. It achieves provability in condition checks, thereby simplifying task definitions while enhancing the reliability of task verification. Secondly, it optimizes role interactions and task lifecycles in blockchain automation business, improving the stability of rotocol implementation. Finally, the proposed protocol is implemented, and its feasibility is validated through specific use cases.
LIU Shaojie, ZHAO Hongbo, LIU Han
. Trusted Blockchain Automation Protocol Based on Domain Programming Model[J]. Journal of Applied Sciences, 2024
, 42(4)
: 569
-584
.
DOI: 10.3969/j.issn.0255-8297.2024.04.002
[1] Dixit A, Deval V, Dwivedi V, et al. Towards user-centered and legally relevant smartcontract development: a systematic literature review [J]. Journal of Industrial Information Integration, 2022, 26: 100314.
[2] Lin S Y, Zhang L, Li J, et al. A survey of application research based on blockchain smart contract [J]. Wireless Networks, 2022, 28(2): 635-690.
[3] Zhao Y, Kang X, Li T, et al. Toward trustworthy DeFi oracles: past, present, and future [J]. IEEE Access, 2022, 10: 60914-60928.
[4] 姚中原, 潘恒, 祝卫华, 等. 区块链物联网融合： 研究现状与展望[J]. 应用科学学报, 2021, 39(1): 174-184. Yao Z Y, Pan H, Zhu W H, et al. Convergence of blockchain and IoT: research status and prospect [J]. Journal of Applied Sciences, 2021, 39(1): 174-184. (in Chinese)
[5] Delkhosh F, Gopal R D, Patterson R A, et al. Impact of bot involvement in an incentivized blockchain-based online social media platform [J]. Journal of Management Information Systems, 2023, 40(3): 778-806.
[6] Tang Z, Pan T, Han Y, et al. SmartMeasurer: a secure and automated bandwidth measurement for tor with smart contract [J]. Mathematics, 2023, 11(19): 4105.
[7] Hassan A, Makhdoom I, Iqbal W, et al. From trust to truth: advancements in mitigating the blockchain oracle problem [J]. Journal of Network and Computer Applications, 2023, 217: 103672.
[8] Vakhmyanin I, Volkovich Y. Price arbitrage for DeFi derivatives [C]//IEEE International Conference on Blockchain and Cryptocurrency, 2023: 1-4.
[9] Lo S K, Xu X, Staples M, et al. Reliability analysis for blockchain oracles [J]. Computers and Electrical Engineering, 2020, 83: 106582.
[10] Liu C, Guo H, Xu M, et al. Extending on-chain trust to off-chain-trustworthy blockchain data collection using trusted execution environment (TEE) [J]. IEEE Transactions on Computers, 2022, 71(12): 3268-3280.
[11] Alam M T, Chowdhury S, Halder R, et al. Blockchain domain-specific languages: survey, classification, and comparison [C]//IEEE International Conference on Blockchain, 2021: 499- 504.
[12] Kaleem M, Shi W. Demystifying pythia: a survey of chainlink oracles usage on ethereum [C]//Financial Cryptography and Data Security, FC 2021, 2021, 12676: 115-123.
[13] Caldarelli G. Overview of blockchain oracle research [J]. Future Internet, 2022, 14(6): 175.
[14] Picco G, Fortugno A. Ephemeral rollups are all you need [DB/OL]. 2023[2024-01-02]. https://arxiv.org/abs/2311.02650.
[15] Leng J, Zhou M, Zhao J L, et al. Blockchain security: a survey of techniques and research directions [J]. IEEE Transactions on Services Computing, 2020, 15(4): 2490-2510.
[16] Tang S, Chow S S M. Towards decentralized adaptive control of cryptocurrency liquidity via auction [C]//IEEE 43rd International Conference on Distributed Computing Systems, 2023: 910-919.
[17] Muñoz A, Ríos R, Román R, et al. A survey on the (in) security of trusted execution environments [J]. Computers & Security, 2023, 129: 103180.
[18] Suzaki K, Nakajima K, Oi T, et al. Ts-perf: general performance measurement of trusted execution environment and rich execution environment on intel SGX, Arm trustzone, and RISCV keystone [J]. IEEE Access, 2021, 9: 133520-133530.
[19] Iung A, Carbonell J, Marchezan L, et al. Systematic mapping study on domain-specific language development tools [J]. Empirical Software Engineering, 2020, 25: 4205-4249.
[20] Wöhrer M, Zdun U. Domain specific language for smart contract development [C]//IEEE International Conference on Blockchain and Cryptocurrency, 2020: 1-9.
[21] Bouraga S. A taxonomy of blockchain consensus protocols: a survey and classification framework [J]. Expert Systems with Applications, 2021, 168: 114384.
[22] Howell A, Saber T, Bendechache M. Measuring node decentralisation in blockchain peer to peer networks [J]. Blockchain: Research and Applications, 2023, 4(1): 100109.
[23] Rad A I, Far S B. SocialFi transforms social media: an overview of key technologies, challenges, and opportunities of the future generation of social media [J]. Social Network Analysis and Mining, 2023, 13(1): 42.
[24] Fan Z, Marmolejo-Cossío F J, Altschuler B, et al. Differential liquidity provision in Uniswap v3 and implications for contract design [C]//3rd ACM International Conference on AI in Finance, 2022: 9-17.
