SPECTRE无法用作智能合约

时间：2022-03-01 17:24:34

在rust智能合约中，我们对数据是否上链做了明确的区分，只有标定特定宏注解的字段数据才会上链交互。在合约部署时，对于初始化的字段写入账本；在调用合约方法时，如果使用到合约的持久化字段，合约执行引擎会调用账本读取的方法从账本中获取其数据。对于存在有数据写入操作(即更新)的字段，待合约执行结束后，若账本还未存在此字段则将其写入账本，若此字段已存在，则对相应的账本数据进行更新。

区块链中控制合约经历了2个发展阶段：以比特币为代表的非图灵完备的自动化脚本、以以太坊为代表的图灵完备的智能合约。智能合约是一种基于账本数据自动执行的数字化合同，由开发者根据需求预先定义，是上层应用将业务逻辑编译为节点和账本操作集合的关键。智能合约通过允许相互不信任的参与者在没有可信第三方的情况下就复杂合同的执行结果达成协议，使合约具备可编程性，实现业务逻辑的灵活定义并扩展区块链的使用。

如图片5所示，底层账本结构和共识机制是组成主网的两大要素，而时序性是智能合约功能的必备要求。对区块链来说，时序性被天然的集成在了底层账本的链式结构中；但是对允许分叉的DAG来说，时序性只能通过账本共识来实现。SPECTRE无法用作智能合约正是因为它没有时序性，下一篇将介绍一种可以满足时序性要求的DAG共识。

控制层是各类应用与账本产生交互的中枢，控制层由处理模型、控制合约和执行环境组成。处理模型从区块链系统的角度分析和描述业务/交易处理方式的差异。控制合约将业务逻辑转化为交易、区块、账本的具体操作。执行环境为节点封装通用的运行资源，使区块链具备稳定的可移植性。

表面上，“数字交易合约”是数据提供商、应用商和服务商共同达成的数字交易约定，涵盖交易主体、服务报价、交割方式、存证码等信息，是交易连续、真实、可追溯的高可信“动态交易账本”；本质上，“数字交易合约”是针对具体数据交易问题的一整套解决方案。“数字交易合约”的背后，是北数所海量数据、先进技术、合规保障等多方优势的共同发力。

“账户空间”是由很多个账户组成的，其中的账户可能分为多种类型。以以太坊为例，系统中以一个通用的数据结构定义了普通账户、合约账户两种类型。普通账户的行为包括：发起交易、互相转账、创建账户等等；而合约账户则对应了一份部署在链上的智能合约，相应的，合约账户会管理所有在这份智能合约中定义的、需要存储到区块链账本中的key-value数据对，我们称之为“状态数据”。

标签：合约 智能 智能合约