输入与状态

Zentra 功能的核心是输入和状态的概念，使用状态机进行建模。虽然这个概念听起来可能很复杂，但在实践中却很容易理解。

状态机表示：区块链可以被视为一个状态机，其中状态表示系统的当前条件，状态之间的转换由输入触发。

• 输入：用户提交交易作为输入，区块链系统处理这些输入以修改其状态。每个交易都提供驱动这些状态转换的指令。

• 确定性状态更改：状态机确保状态更改是确定性的，这意味着在给定相同的输入和当前状态的情况下，状态转换将始终在固定的状态转移函数下产生固定的新状态。

在区块链中，这个概念对应于：

• 输入 → 交易：交易作为区块链的输入，触发状态更改。例如，用户发送转账或执行智能合约中的函数。

• 状态 → 全局状态：全局状态表示区块链上所有账户和智能合约存储的集合。当交易执行时，区块链的全局状态会相应更新。

• 状态转移函数 → 智能合约：当交易（输入）应用于当前全局状态时，智能合约执行预定义的逻辑，更新区块链的状态并产生新的全局状态。