背书节点模拟执行交易时会生成读写集.

Read Set 包括一系列键值对, 其中键是唯一的, 内容是模拟执行交易时, 交易读取的键和对应的提交的版本.(读集包含键的版本)

Write Set 包括一系列键值对, 其中键是唯一的, 内容是模拟执行交易时, 交易读取的键和准备写入的新值.(写集只包含键的最新值)

如果交易执行的是删除键, 则为key设置删除标记.

如果在一个交易中对同一个键进行了多次更新, 则以最后一个为准. 如果一个交易读取某个键对应的值, 只会返回提交状态的值, 而不管在提交状态之后是否还更新了该值.

一个读写集的例子:

<TxReadWriteSet>
  <NsReadWriteSet name="chaincode1">
    <read-set>
      <read key="K1", version="1">
      <read key="K2", version="1">
    </read-set>
    <write-set>
      <write key="K1", value="V1"
      <write key="K3", value="V2"
      <write key="K4", isDelete="true"
    </write-set>
  </NsReadWriteSet>
<TxReadWriteSet>

committer根据读集来验证交易, 根据写集来更新键的版本和值.

判断交易合法性:

1. 检查读集的版本号, 比较交易中读集里每个键的版本号是否和World State中键的版本号一致.
2. 如果读写集包含query-info, 则检查query-info包含的键是否有变化(如新建键, 更新键, 删除键).
3. 比较模拟阶段交易进行范围查询的结果, 与验证阶段范围查询的结果是否一致.

通过验证后, committer节点会根据写集来更新World State: 遍历写集的每个键, 更新World State里对应的键值和版本号.

有多种区块索引方式, 帮助我们快速找到需要的区块.

• 区块编号
• 区块哈希
• 交易编号
• 区块编号 + 交易编号
• 区块交易编号
• 交易验证码

world state记录交易执行结果.

chaincode根据当前状态数据执行交易.

为了提高chaincode的执行效率, 键的最新值都存储在状态数据库中, 状态数据库只是区块链交易日志中的索引视图, 因此可以随时根据区块链重新生成. 状态数据库在peer节点启动时自动恢复, 重新构建完成后才接受新的交易.

状态数据库目前可以用leveldb和couchdb. 不同账本的状态数据库存放在不同的目录下, 同一个账本的数据存放在一起, 不同chaincode的数据是按chaincodeid作为命名空间来划分数据的.

在前面, 已经说world state中的数据可以用一个三元组来表示: (k, ver, val). 读取状态数据的时候, 不能指定版本, 只能读取最新版本, 但是返回的数据里面包含了版本信息.

可以通过3种方式来查询区块数据: 查询单个键的数据getstate(), 查询多个键的数据getstatemultiplekeys(), 查询一个范围内的数据getstaterangescaniterator(). 如果使用couchdb, 还可以支持某些字段的条件查询.

账本中可以包含多种chaincode的数据, 它们的存放根据账本编号作为命名空间进行分割.