引介 | 无状态性：基于键值对的见证数据方案

无状态以太坊运动当前提议了一种区块见证数据（witness）的格式，详述见此处。这套区块见证方案是基于操作码（opcode）的，你可以理解为一种小型的编程语言，可以使用少数几个命令来生成 “默克尔多值证明” （中文译本）。本文研究了另一种区块见证数据的建构方法，它基于一个键值对的列表，语义也更简单。在本文中我将尝试回答下列问题：键值对见证数据（KV witness）是什么样的，与当前被提议的、基于操作码的见证数据格式有何区别？键值对见证数据与操作码见证数据相比，有什么优点和缺点？从网络带宽的角度看，键值对见证数据方案的效率如何？（见证数据方案需满足的）前提所有的区块见证数据方案都必须满足下列要求：正确（correctness）。保证节 ………………………………