编者按：本文来自Unitimes，作者：SinaMahmoodi，编译：Unitimes_David，星球日报经授权发布。摘要：无状态客户端需要将区块中调用的智能合约代码作为区块见证的一部分进行发送。合约代码是导致无状态区块带宽开销的第二大因素。代码默克尔化被认为有助于降低该开销。本文详细解释了我们如何将合约代码分割成块，默克尔化这些块并仅传输交易执行所必须的块。根据对最近主网区块所做的实验，我们可以发现该方法总计节约了40-60%的代码传输量。无状态区块很大
虽然未被深入研究过，代码默克尔化这个想法由来已久，其主要被用于代码解耦。然而，它最近因不同用途而重获新生，即减小无状态客户端的带宽需求。如果你想知道无状态客户端背后的动机是什么，我建议你看看最近这篇概要或者AlexeyAkhunov的文章。我不会在本文深入模型细节，但为了完整起见，我提供了相关细节的摘要。在无状态模型下，节点不需要存储状态，并依赖其它节点在区块中打包所有必要状态及证明这些状态有效性的默克尔证明。这意味着和原来相比大得多的网络带宽。AlexeyAkhunov与turbo-geth团队一直在做测量历史主网区块的区块见证大小的实验。下面是最近50,000个区块的测量结果。红线跟踪在一个无状态区块中需要发送的合约代码量，其为区块见证大小的第二大来源。如果以太坊从当前的十六进制trie树迁移到二进制trie树的话，这些见证中的哈希部分将会缩减约3倍，从而使得合约代码成为见证大小的主要来源。
美股开盘，纳指跌0.01%:金色财经报道，美股基本平开，道指涨0.07%，纳指跌0.01%，标普500指数跌0.03%。[2023/6/29 22:09:01]
来自github的数据。图表显示了50000个近期主网区块的无状态区块见证组成。这些值是以128个块为窗口的移动平均值。无需发送完整代码
直观地，我们可以假设一个给定的交易将仅仅触及其调用合约的部分代码。因此，我们的目标是把代码分割成块并在区块见证中发送给定交易所必须的块。如果我们的假设是正确的而且交易确实仅使用了小部分合约字节码，那么区块见证中的合约代码部分会显著减少。为了确切地了解其原理，让我们想象一个正在部署的新合约。我们扫描合约代码并识别出基本块。注意，客户端仅需为JUMPDEST分析作一次代码扫描，因此不会引入很高的开销。这些基本块有两个特征：
马尼托巴省停止新的加密采矿项目电力申请:金色财经报道，加拿大马尼托巴省政府停止了加密采矿中心与该省水力电网的新连接。官员们解释说，此举可能会增加该地区可能无法满足的能源需求。为期18个月的暂停将不会影响目前正在进行的37个采矿作业。马尼托巴省财政部长、负责国有公司马尼托巴水电的官员Cameron Friesen透露，17家新运营商已向该省当局提交了总计370兆瓦的电力申请。这超过了2022年投入使用的基耶斯克水电站发电量的一半。该地区的财政部长还强调了进步保守党政府的担忧，即区块链企业可能无法创造很多就业机会。（news.bitcoin）[2022/12/1 21:15:39]
一个虚构字节码的基本块每个基本块要么从索引0开始，要么从JUMPDEST开始。这是为了让无状态客户端能够安全地进行JUMPDEST分析。每个基本块不会改变控制流。因此，我们可以确定，一旦我们开始执行一个基本块，要么它将运行到最后，要么它将耗尽Gas。我们假定这方案会更为高效，但仍未测试其替代方案来作对比。为了提高效率，相邻的基本块将会合并直到每个基本块的最小长度为128字节。然后将它们插入trie树中，使用其第一个字节的索引作为键。客户端最终将此trie树的根存储在记录该合约的新创建的账户中。如下所示，代码trie树实际上成为了状态trie树的子树。
NFT交易市场NeoSwap完成20.25万美元pre-seed轮融资:10月13日消息，根据提交给美国证券交易委员会的文件披露，NFT交易市场在pre-seed轮融资中募集了202,500美元，据该公司创始人兼首席执行官John Ennis透露，他们实际融资金额超过20.25万美元，但他拒绝给出确切数字，但表示他们的初始融资计划是募集50万美元pre-seed轮融资和300万美元种子轮融资。
NeoSwap主要帮助用户分组并重新分配NFT和货币的所有权，推动更多人参与NFT兑换，但该平台目前尚未确定盈利模式。（bizjournals）[2022/10/13 14:26:08]
默克尔化的合约代码成为了状态trie树的子树。为了简化图表，我使用了二进制trie树。路径和键值也不太准确。让我们通过提交调用合约的交易来进行测试。矿工执行交易并标记在执行过程中触及的块。当发布区块时，矿工会纳入合约账户状态证明和触及代码块的turbo证明。
Transit Swap：已确定黑客IP、电邮地址及相关链上地址:10月2日消息，加密钱包Token Pocket旗下闪兑交易DEX Transit Swap官方发布公告称，此前黑客攻击事件原因系代码错误，目前已确定黑客 IP、电子邮件地址，以及相关的链上地址。Transit Swap 团队表示将尽力追踪黑客，并尝试与黑客沟通，帮助用户挽回损失。
金色财经此前报道，据CertiK监测，跨链DEX聚合器Transit Swap遭受攻击，导致用户的资金从钱包中被取出。到目前为止，损失估计约为2000万美元（约49815枚BNB和约5182枚ETH）。该项目目前已暂停运营。[2022/10/2 18:37:29]
触及块与验证代码根所需的哈希作为turbo证明进行传输收到该区块后，无状态客户端可以验证合约是否为状态的一部分以及是否有着正确的属性：余额，nonce值，状态根和代码根。然后，它可以根据代码根去验证代码块及其键值。上述信息足以让客户端从这些块中重构出部分字节码并让其它块留空。值得注意的是，根据我们采用的块分割算法，客户端知道每个块都以JUMPDEST开始，因而可以安全地执行跳转。
KuCoin在ERTHA元宇宙推出沉浸式办公室:8月2日消息，加密交易平台Kucoin宣布与元宇宙ERTHA达成合作，在ERTHA NFT Land虚拟地块构建KuCoin Office。据悉，Ertha的世界是一个复杂的游戏空间，玩家可以在其中创建新的政府、经济体，并与其他玩家建立不稳定的联盟。（AMBCrypto）[2022/8/2 2:54:06]
从trubo证明，我们可以重构字节码。给定交易所不需要的块则留空。实验
为了测试，我们编写了一个原型，其通过Geth的RPC端口抓取主网区块及初始状态。然后，原型在这些区块中运行交易，每当遇到新合约时，把合约分割成块并对触及块进行标记。当区块中的所有交易被处理后，原型会为这些块生成turbo证明。我们在更新后的初始状态下重新运行这些交易。为了检查正确定，我们比较了使用的Gas量以及区块的布隆过滤器。对最近的50个区块进行处理，我们可以看到代码量的减少在40%到60%之间。警告：这些数据虽然看上去不错，但请记住，我们需要数万个区块的数据来得出有说服力的结论，而且原型正处于初始阶段，因此很可能有Bug。何去何从
你可能仍记得，每个块的最小长度是一个可配置的参数。修改该参数会对块见证的大小有着两种相反影响。例如减少至32字节，让块的粒度更细，从而减少了需要发送的代码总量。但同时也增加了trie树的深度，最终导致证明所需的哈希数增大。下一步将会对最小块大小的设定进行更彻底的分析，看看是否有一个最为节约空间的值。不管最小块大小的值，从十六进制trie树切换为二进制trie树会将证明所需的哈希值减少为原来的1/4，从而进一步减小块见证的大小。对于该原型，我们选择将代码分割为一个个基本块，但也存在着其它各种各样的分割算法，有些更为简单，有些更为复杂。最简单的方法是把代码分割为固定大小的块。目前，该方案的唯一问题围绕在PUSH数据和JUMPDEST分析之上。以此为基础进行展开：如果我们在任意边界分割字节码，PUSH操作码及未来引入的其它多字节操作码的操作数可能会被接收到块的客户端误以为是JUMPDEST(0x5b)。如下所示，一个拥有完整代码的客户端可以得知JUMP是无效的并停止执行。然而，一个接收到块6和块8但没有接收块7的客户端将跳转到位置41，从而以不同的方式对合约进行解析。我们将在后文简要地提及能够避免该问题并支持任意边界的方案。为了解决这个问题，MartinHolstSwende建议在每个块上添加一个元数据，指定头部的多少个字节为PUSH的操作数。然后，验证程序可以在进行JUMPDEST分析期间跳过这些字节。Alexey正探索的另一条路径为禁止EVM中的动态跳转，让我们能在部署时一次过静态地对跳转进行分析而不是在每次代码执行期间。AlexBeregszaszi提出使用合约控制流图能够更好地指引默克尔化。同时，ChristianReitweissner提出一个执行证明方案，其中默克尔化DAG是由合约的控制流图所创建。我不能客观地评价他在这篇文章中的思路，同时希望他能够在未来进行更多的说明。结果或许会表明不同的分割算法在效率上仅有微不足道的提升。在这种情况下，最简单的算法将成为最明智的选择。好消息是，我们至少有一个在早期数据上似乎可以显著地减少无状态区块中传输代码量的算法。本文特地对EVM字节码的默克尔化进行了讨论，但其总体思路并不局限于EVM。事实上，其它EWASM团队正同时对默克尔化WASM代码进行实验，其面临着自身的一系列挑战。这主要是因为WASM代码由多个部分组成并在执行前有着严格的校验，这意味着重构的字节码必须通过校验。请持续关注这方面的进展。致谢：非常感谢EWASM团队的GuillaumeBallet，AlexBeregszaszi和CaseyDetrio对本文的审阅和反馈。原地址：https://medium.com/ewasm/参考链接：https://ethereum-magicians.org/https://ethresear.ch/https://blog.ethereum.org/https://medium.com/https://github.com/https://github.com/https://en.wikipedia.org/https://github.com/https://github.com/https://github.com/https://medium.com/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。