-
题名基于领域编程模型的可信区块链自动化协议
- 1
-
-
作者
刘少杰
赵鸿伯
刘浛
-
机构
牛津(海南)区块链研究院
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2024年第4期569-584,共16页
-
基金
国家重点研发计划(No.2022YFB2702204)资助。
-
文摘
区块链自动化技术有效解决了区块链无法自动执行智能合约程序的困境,拓展了区块链的应用场景。然而,现有的自动化方案往往任务定义复杂、任务执行缺少可证明性且无法支持链下数据,从而存在使用门槛高和可信性低等问题。针对上述问题,提出了一种区块链任务自动化可信协议Specy Network。该协议首先通过结合领域编程模型与可信执行环境,设计了应用于区块链自动化场景的领域专用语言,实现了条件检查的可证明性,且在提高任务检查可靠性的同时降低了定义的复杂度。其次对区块链自动化业务中的角色交互和任务生命周期进行优化,提高了协议实施的稳定性。最后对所提出的协议进行了开发与实现,以具体案例验证了方案的可行性。
-
关键词
区块链自动化
可信执行环境
领域编程模型
智能合约
-
Keywords
blockchain automation
trusted execution environment
domain programming model
smart contract
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
