编者按：本文来自Unitimes，作者：SinaMahmoodi，编译：Unitimes_David，星球日报经授权发布。摘要：无状态客户端需要将区块中调用的智能合约代码作为区块见证的一部分进行发送。合约代码是导致无状态区块带宽开销的第二大因素。代码默克尔化被认为有助于降低该开销。本文详细解释了我们如何将合约代码分割成块，默克尔化这些块并仅传输交易执行所必须的块。根据对最近主网区块所做的实验，我们可以发现该方法总计节约了40-60%的代码传输量。无状态区块很大
虽然未被深入研究过，代码默克尔化这个想法由来已久，其主要被用于代码解耦。然而，它最近因不同用途而重获新生，即减小无状态客户端的带宽需求。如果你想知道无状态客户端背后的动机是什么，我建议你看看最近这篇概要或者AlexeyAkhunov的文章。我不会在本文深入模型细节，但为了完整起见，我提供了相关细节的摘要。在无状态模型下，节点不需要存储状态，并依赖其它节点在区块中打包所有必要状态及证明这些状态有效性的默克尔证明。这意味着和原来相比大得多的网络带宽。AlexeyAkhunov与turbo-geth团队一直在做测量历史主网区块的区块见证大小的实验。下面是最近50,000个区块的测量结果。红线跟踪在一个无状态区块中需要发送的合约代码量，其为区块见证大小的第二大来源。如果以太坊从当前的十六进制trie树迁移到二进制trie树的话，这些见证中的哈希部分将会缩减约3倍，从而使得合约代码成为见证大小的主要来源。
美国德克萨斯州新法案提议对加密市场进行监管以保护投资者:3月8日消息，美国德克萨斯州共和党州众议员 Giovanni Capriglione 向众议院提交第 166 号法案，将对德克萨斯州不受监管的加密货币市场进行一些监管，以保护投资者使用 Coinbase、Cash App 和 Kraken 等数字资产交易所。该法案将要求数字资产交易所验证他们有足够的储备金来支付客户；禁止交易所将消费者资金与公司资产混合；要求对提交给德州银行部的报告进行独立审计。
Capriglione 表示，类似的法案 SB 770 已提交给德克萨斯州参议院，如果其中一项法案获得通过，这将是该国首个此类法规。[2023/3/8 12:48:57]
来自github的数据。图表显示了50000个近期主网区块的无状态区块见证组成。这些值是以128个块为窗口的移动平均值。无需发送完整代码
转移3000万枚XRP至Bitstamp的“巨鲸”显示为BitGo:金色财经报道，据Whale Alert此前披露数据显示，今日一个匿名巨鲸将3000万枚XRP转移到欧洲加密货币交易所Bitstamp，虽然该交易发送方被标记“未知”，但据专注于XRP的追踪平台共享信息显示，这笔资金来自于BitGo。另据Coingecko交易数据，XRP过去24小时下跌6.1%，已降至0.381792美元。（u.today）[2022/11/28 21:07:56]
直观地，我们可以假设一个给定的交易将仅仅触及其调用合约的部分代码。因此，我们的目标是把代码分割成块并在区块见证中发送给定交易所必须的块。如果我们的假设是正确的而且交易确实仅使用了小部分合约字节码，那么区块见证中的合约代码部分会显著减少。为了确切地了解其原理，让我们想象一个正在部署的新合约。我们扫描合约代码并识别出基本块。注意，客户端仅需为JUMPDEST分析作一次代码扫描，因此不会引入很高的开销。这些基本块有两个特征：
比特币月跌幅达14%，创下2015年以来最糟\"8月表现\":8月28日消息，BTC价格在本月已下跌14%，创下过去七年中最差的8月表现，但从历史上看，比特币在9月的表现通常比8月还要差。
Cubic Analytics高级市场分析师Caleb Franzen指出，BTC价格低于20,000美元将破坏自2020年首次突破该水平以来的枢轴区（pivot zone），如果比特币无法在八月守住20,000美元支撑位，那么很可能会在九月下探14,000美元的支撑位。（Cointelegraph）[2022/8/28 12:54:01]
一个虚构字节码的基本块每个基本块要么从索引0开始，要么从JUMPDEST开始。这是为了让无状态客户端能够安全地进行JUMPDEST分析。每个基本块不会改变控制流。因此，我们可以确定，一旦我们开始执行一个基本块，要么它将运行到最后，要么它将耗尽Gas。我们假定这方案会更为高效，但仍未测试其替代方案来作对比。为了提高效率，相邻的基本块将会合并直到每个基本块的最小长度为128字节。然后将它们插入trie树中，使用其第一个字节的索引作为键。客户端最终将此trie树的根存储在记录该合约的新创建的账户中。如下所示，代码trie树实际上成为了状态trie树的子树。
数据：ETH市值占比为19.2%，较6月份低点增涨超5%:金色财经消息，据CoinMarketCap最新数据显示，当前ETH市值占比为19.2%，相比此前6月19日的低点13.9%增涨超5%。[2022/8/7 12:06:56]
默克尔化的合约代码成为了状态trie树的子树。为了简化图表，我使用了二进制trie树。路径和键值也不太准确。让我们通过提交调用合约的交易来进行测试。矿工执行交易并标记在执行过程中触及的块。当发布区块时，矿工会纳入合约账户状态证明和触及代码块的turbo证明。
触及块与验证代码根所需的哈希作为turbo证明进行传输收到该区块后，无状态客户端可以验证合约是否为状态的一部分以及是否有着正确的属性：余额，nonce值，状态根和代码根。然后，它可以根据代码根去验证代码块及其键值。上述信息足以让客户端从这些块中重构出部分字节码并让其它块留空。值得注意的是，根据我们采用的块分割算法，客户端知道每个块都以JUMPDEST开始，因而可以安全地执行跳转。
湖南新化：“区块链+不动产”交易缴税平台正式上线运行:5月31日消息，新化县“区块链+不动产”交易缴税平台正式上线运行。湖南娄底市是国家税务总局“区块链+不动产税费服务”全国四个试点城市之一，现已建成国内应用最成熟的不动产区块链信息共享平台，前期已在娄底城区推广，并取得显著成效。（红网）[2022/5/31 3:53:23]
从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/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。