在超级账本结构中，密钥值的维护方式是，每次时间值都将在维护版本的同一密钥上更改。密钥值和版本如何维护？
这里是官方文档：
KVS操作建模如下：
将(k,v)和k ∈ K放入v ∈ V，采用区块链状态s并将其更改为s'，使得s'(k) = (v,next(s(k).version))与s'(k') = s(k')所有k' != k。
如何维护下一个版本和新值？它在每个键的链表中，还是仅一个键保持数据的值和状态的版本？
总而言之，我的问题是，该数据结构如何建模？
图解说明将更可取，也更容易理解。