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

作     者：刘少杰 赵鸿伯 刘浛 LIU Shaojie;ZHAO Hongbo;LIU Han

作者机构：牛津(海南)区块链研究院海南澄迈571924 

出 版 物：《应用科学学报》 (Journal of Applied Sciences)

年 卷 期：2024年第42卷第4期

页      面：569-584页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家重点研发计划(No.2022YFB2702204)资助 

主　　题：区块链自动化 可信执行环境 领域编程模型 智能合约 

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