基于领域编程模型的可信区块链自动化协议

doi:10.3969/j.issn.0255-8297.2024.04.002

摘要/Abstract

摘要： 区块链自动化技术有效解决了区块链无法自动执行智能合约程序的困境，拓展了区块链的应用场景。然而，现有的自动化方案往往任务定义复杂、任务执行缺少可证明性且无法支持链下数据，从而存在使用门槛高和可信性低等问题。针对上述问题，提出了一种区块链任务自动化可信协议Specy Network。该协议首先通过结合领域编程模型与可信执行环境，设计了应用于区块链自动化场景的领域专用语言，实现了条件检查的可证明性，且在提高任务检查可靠性的同时降低了定义的复杂度。其次对区块链自动化业务中的角色交互和任务生命周期进行优化，提高了协议实施的稳定性。最后对所提出的协议进行了开发与实现，以具体案例验证了方案的可行性。

关键词: 区块链自动化, 可信执行环境, 领域编程模型, 智能合约

Abstract: 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.

Key words: blockchain automation, trusted execution environment, domain programming model, smart contract

中图分类号:

TP311.5

刘少杰, 赵鸿伯, 刘浛. 基于领域编程模型的可信区块链自动化协议[J]. 应用科学学报, 2024, 42(4): 569-584.

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.

参考文献

[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.