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