Demo: Specy Network - Trusted Multichain Automation with Verifiable Specifications

Smart contracts have expanded the range of applications for blockchain, enabling the construction of complex business logic on the chain. However, the execution of smart contracts depends on transaction triggers and cannot operate autonomously, limiting the flexibility of on-chain applications. Despite the emergence of new smart contract automation solutions, there is a general lack of verifiable execution results and native support for multi-chain operations. In this paper, we propose the Specy Network protocol, which implements verifiable task verification results and is the first publicly available automation solution to support multi-chain operations. To this end, Specy Network first defines a specific domain-specific programming language (DSL) for declaring the execution conditions of tasks, and further designs a trusted runtime for this language based on trusted execution environment (TEE). Secondly, it designs the multi-chain automation task flow using cross-chain technology. Lastly, we implemented the protocol and verified its effectiveness through a loan case study.