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

摘要：今年四月，吴兴业十岁生日，妈妈刘幸没有按照武汉人的习惯去酒店大办，而是征求儿子的意见，把咖啡厅设计成”乐高的世界”，请来全班同学，办起一场乐高积木主题派对。而爸爸吴书朝在去北京的火车上，出差参加物理学科研讨的行程不能更改，只得发来—封“小贺电”。