Trusted Blockchain Automation Protocol Based on Domain Programming Model
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 execu-tion 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 vali-dated through specific use cases.
NETL
NSTL
万方数据
