3.6. 验证及协议区块

对标准NAXION的区块有效性的检验，所有合约的全域状态信息都包含在区块头部（b lock header ）里，

并要通过确认与全域状态的HASH是否一致的阶段。

这是证明网络的所有节点都有可证明的与复印件相同状态的数据库的加密体系。

NAXION状态数据库可分为个人状态和公用状态，这些以两个分开的Patricia-Merkle Tree形式储存在存储器里。

对标准NAXION的区块有效性的检验，只能在公开状态(从连接节点到可验证阶段或)进行。

私人(state)共识传递到应用程序层面，由新的Storage Root RPC API进行支援。

如果合约的当事人要求加密状态的协议，应用程序需搜索对指定的区块的合约状态H ASH ，

并通过链下或链上交易，同合约当事人共享该数值。

区块的有效性检验包含全球交易哈希共识机制和公开状态的共识及其他几项检查。

EVM是决定性的运行。

即，由于输入事项确认关于交易目录的协议，所以相同的输入总是会生成相同的输出。