关于递归STARK内存池（EIP-8288）的说明https://eips.ethereum.org/EIPS/eip-8288 这是一个EIP，我希望我们能被纳入I-star（Hegota之后的分叉），你可以把它看作是Frames之后的下一步，这将释放出极大的能量。尤其： *超廉价量子安全签名（SPHINCS-）。大部分成本节约来自签名数据（~3kB）不必在链上传输的事实 *超廉价的量子安全隐私协议。如果你设计得很好（没有人这样做），目前私人交易的最低成本约为300k，目前量子安全的最低成本为约10M气体，这可能会将其降低到数万。 *通用支持您最喜欢的新签名或证明方案，无需更改EVM。无论你使用什么（Falcon、ML-DSA、其他一些基于晶格的东西、基于代码或同构的东西，甚至更深奥的东西），你都可以在客户端将其包装在STARK中，就像隐私协议一样，链上gas的成本低至数万美元。希望以太坊永远不再需要“请支持我最喜欢的加密算法”的政治。 *私有帐户抽象：保持帐户逻辑私有，并在链上的私有位置。然后，您可以进行一次交易来更改所有链上状态的所有权——帐户、defi位置、隐私协议注释、一切——而无需透露您正在更改哪些对象的所有权。 这是它的工作原理。 您的交易可以包含一种我们称之为“依赖框架”的框架。该框架是一系列语句，声称“消息哈希M由SPHINCS-公钥P签名”和“数据哈希D被证明满足验证密钥V定义的语句”。 当您发送交易时，您将其放在一个信封中发送，信封中包含依赖关系帧中每条语句的签名或STARK。 一旦事务到达内存池，节点就会聚合它们。每个节点运行一个循环：等待一个滴答（例如500ms），聚合您看到的所有新信封（单个tx或多个tx），删除任何过期的事务，递归生成一个证明所有依赖关系的STARK，并发送一个包含该STARK的新多tx信封。 因此，带宽负载是有限制的：每个节点的出站是每分一秒一个STARK（~100-300kB），加上每个事务通过网络广播一次（就像已经发生的那样）。 块构建器充当“另一个内存池节点”，从内存池（加上任何侧通道）接收信封，生成自己的STARK，覆盖它打算包含在块中的事务子集，并将该STARK添加到块中。 链上总开销：一个STARK（100-300kB），加上每个被证明语句的96个字节。 这就是我之前所说的（https://www.youtube.com/观看？v=TSLUpOpsPF0）“证明奇点”。今天，我们有了实际实施它的所有要素。 作为一名开发人员，这需要一个与您习惯的工作流程略有不同的工作流程，但它在概念上很简单。任何签名或STARK，你都放在一个单独的框架中。然后，今天验证签名或STARK的主要逻辑是检查是否存在包含正确语句作为依赖项的帧。 有用语句示例： *[tx sighash]根据[sload上的pubkey（0）]进行验证 *存在一个秘密和一个默克尔分支，使得哈希秘密+0和应用默克尔分支输出（公共）根R，哈希秘密+1输出（公共的）无效器N *存在一个秘密地址a、salt S和签名Z，使得sload（0）=hash（a，S），并且最近以太坊状态内的地址a的merkle证明包含一些公钥D，其中[tx sighash]由D签名[这是私有帐户抽象；除了[tx sighash]和sload（O）之外的所有变量都是私有的；您还可以将D设置为STARK验证密钥] *存在一个ML-DSA签名签名[tx sighash]，它根据哈希为sload（0）的ML-DSA公钥进行验证 从本质上讲，这是将除簿记“业务逻辑”之外的任何计算和数据移动到以太坊执行的核心路径之外，通过内存池对其进行分片和并行化。 还请注意，这需要就递归STARK定义语句的_language_（又名ISA）达成一致。目前领先的候选者是RISC-V。因此，这实际上也是以太坊将RISC-V（或我们决定的其他东西）添加为规范ISA——这是一个应该谨慎做的重大决定，但我认为这对于推动以太坊向前发展是必要的。