正在进行一点自我实验。

目标：利用我的个人健康和旅行数据，通过前沿模型为我提供个性化的饮食和运动建议，同时确保不向它们泄露任何私人信息。

策略：使用本地模型（Qwen 3.8 Flash Next）进行编排，并将强大的远程模型作为工具调用，以利用本地模型所不具备的更高级思维和知识。

隐私的三层方法：

1. 避免泄露个人身份信息，或通过写作风格泄露我的身份 -> 由本地模型而非我本人撰写查询发送给前沿模型
2. 避免通过支付渠道泄露我的身份 -> zkAPI
3. 避免通过网络/IP泄露我的身份 -> Tor

你需要这三层防护（最终我们确实拥有了这三层，至少在某种程度上）

一个技能文件教导本地模型何时以及如何构建最小化数据泄露的请求到远程模型。使用包裹在Tor中的zkAPI作为CLI工具。

一切运作正常！我收到了建议，来自前沿模型的信息帮助改进了这些建议。

主要不足之处：
* Tor对于请求级别的去链接优化真的很差，这是当今世界上唯一有意义的网络层隐私形式（长期运行的标识符太脆弱了）。可能隐私性不够，而且延迟比理想情况高10-100倍。
* 技能文件的请求构建策略绝对远非最优。
* Qwen 3.8 Flash Next仍然太慢，让人不舒服。它稳定运行在20-30 TPS，但只有达到100+时才会真正感觉快。
* 存在权衡：你对给予远程模型的数据越谨慎，它能提供的帮助就越少

加密世界计算机：

我试图用相对简洁的语言表达从Hegota分叉开始计划发生在以太坊上的一切的真正含义。这不再仅仅是一个区块链。它是一种混合架构，结合了区块链和现代密码学，以实现更强大的特性。

提到了FOCIL、EIP-8288、Lean共识、状态管理、形式化验证、高级mempool改进（包括隐私），以及长期的混淆阴影。

以太坊客户端开发者的一个被低估的成就是PeerDAS现在已经运行了近一年，基本上没有任何问题。PeerDAS是一项复杂的任务：它是第一个大规模实现无需任何单个节点下载整个区块即可就数据可用性达成共识的区块链实例。去中心化共识且无需复制。然而，它成功了。

qwen3.8-flash-next
ethereum client
100+ GB的本地下载维基百科+古腾堡+科学文章
还有什么？

（摆脱对中心化pinning服务的需求在IPFS中绝对排在优先级列表的高位）

很高兴看到以太坊L1将迎来一个致力于去中心化、道德且拒绝企业套话的全新预测市场竞争者，并真正尝试在这一经济原语类别中做有趣且有意义的事情。

核心去中心化社区论点的微小示例（改进被动防御技术能提高安全性，同时提升我们关心的社会组织的自由度和其他属性）是隔音墙。过去我们的隔音效果很差，行为规范也更严格，家庭内外纠纷、驱逐等问题频发。后来我们通过建造和部署更好的墙壁解决了这个问题，现在大家不再为此过度担忧。21世纪还有哪些‘隔音墙’是我们尚未建造或充分部署的？

关于递归STARK内存池的说明 (EIP-8288) 这是一项我希望我们能纳入I-star（Hegota之后的分叉，可视为Frames之后的下一步）的EIP，它将解锁巨大的能力。特别是：* 超廉价量子安全签名 (SPHINCS-)。大部分成本节省源于签名数据 (~3 kB) 无需上链 * 超廉价量子安全隐私协议。目前私有交易的最低成本约为 ~300k gas（如果你工程优化极好），而目前的量子安全方案约为 ~10M gas，这可将成本降低至数万级别。* 无需更改EVM即可通用支持你最喜欢的新签名或证明方案。无论你使用什么（Falcon, ML-DSA, 其他基于格的方案，基于代码或同源曲线的方案甚至更晦涩的方案），只需在客户端将其包裹在STARK中，链上gas成本低至数万，就像隐私协议一样。希望以太坊再也不需要“请支持我最喜欢的加密算法”的政治博弈了。* 私有账户抽象：保持你的账户逻辑私有，并在链上的私有位置存储。然后你可以发起一笔交易来变更所有链上状态的 ownership - 账户、DeFi头寸、隐私协议备注等一切内容 - 而无需暴露你正在变更哪些对象的所有权。以下是工作原理。你的交易可以包含一种我们称为“依赖帧”的frame类型。该frame是一系列声明列表，断言诸如“消息哈希 M 由 SPHINCS- 公钥 P 签名”和“数据哈希 D 被证明满足由验证密钥 V 定义的声明”等主张。当你发送交易时，你将其封装在一个信封中，其中包含对依赖帧中每个语句的签名或STARK。一旦交易到达内存池，节点会进行聚合。每个节点运行一个循环：等待一个tick（例如500ms），聚合所有你看到的新区包（单tx或多tx），移除任何过期的交易，生成递归证明所有依赖关系的STARK，并发送包含该STARK的新多tx信封。因此，带宽负载是有界的：每个节点的出站流量是每个tick一个STARK（~100-300 kB），加上每笔交易在网络中广播一次（如现有情况）。区块构建器充当“另一个内存池节点”，从内存池接收信封（以及任何侧信道），生成其打算包含在区块中的交易子集的STARK，并将该STARK添加到区块中。总链上开销：一个STARK（100-300 kB），加上每个被证明语句的96字节。这就是我之前所称的（ ）“证明奇点”。今天，我们已经具备实际实施它的所有要素。作为开发者，这需要与你习惯的不同工作流程，但概念上很简单。任何签名或STARK，你将其放入单独的frame中。然后将今天用于验证签名或STARK的主要逻辑，替换为检查是否存在包含正确语句作为依赖的frame。有用语句的例子：* [tx sighash] 验证与 [sload(0)处的公钥] * 存在秘密和merkle分支，使得对 secret+0 进行哈希并应用merkle分支输出（公共）根 R，且对 secret+1 进行哈希输出（公共）nullifier N * 存在秘密地址 A、盐 S 和签名 Z，使得 sload(0) = hash(A, S)，且最近以太坊状态中地址 A 的merkle证明包含某个公钥 D，其中 [tx sighash] 由 D 签名 [这是私有账户抽象；除 [tx sighash] 和 sload(0) 外的所有变量均为私有；你也可以让 D 成为STARK验证密钥] * 存在一个对 [tx sighash] 签名的 ML-DSA 签名，该签名针对哈希值为 sload(0) 的 ML-DSA 公钥进行验证 核心在于，将记账“业务逻辑”之外的任何计算和数据移出以太坊执行的核心路径，并通过内存池对其进行分片和并行化。还要注意，这需要就递归STARK定义语句的语言（即ISA）达成一致。当前的主要候选者是RISC-V。因此，这也将使以太坊正式将RISC-V（或我们决定的其他东西）作为标准ISA——这是一个重大的决定，应谨慎做出，但我认为这对于推动以太坊向前发展是必要的。

我对密码学遥远未来的一个乐观且非常非共识的信念：

我认为，对于平均现实世界的计算，存在一种可能性，即我们可以实现我所称的埃及神协议（SNARK、FHE、iO）这三种技术，其开销仅为1+ε倍（意味着对于足够大的实例，将计算加密化所带来的额外开销与执行计算本身的基础成本相比会变得任意小），这一概率为33%。

同时，有60%的概率这三种技术都能以个位数开销完成（即<10倍，按总能耗加摊销计算量衡量）。

我认为我们很有可能在十年结束前实现其中之一（可能是具有个位数开销的SNARK）。毕竟，我们在专用哈希函数和一些LLM推理方面已经达到了这一水平。

多年来辛勤工作投入到了Poseidon哈希族中，它们在以太坊及其他地方提供了巨大的现实价值，并将继续这样做数年。它们是快速生成现代隐私协议客户端SNARK的原因。

我们拥有超快通用STARKs（基本上任何批量计算的中三位数开销）这一事实，并且可能很快降至两位数甚至更低，这比我们在2020年代初所期望的任何事情都更令人惊叹。

向所有参与Poseidon和STARKs的人表示热烈祝贺。

近期关于交易格式的详细思考 - 不仅限于8141，还有“状态的未来”讨论例如UTXOs、PBT、带密钥的非ces以及递归STARK内存池 - 的一个积极后果是，我们对交易如何拥有“动作”和“依赖”有了更明确的理解，我们可以围绕分别优化这两者进行工程构建。

动作是交易产生的效果。

依赖是交易和/或状态必须为真的事实。

例如，签名是依赖，UTXO的默克尔证明是依赖，ZK-SNARK（或STARK）是依赖，发送ETH的调用是动作

依赖可以并行处理。涉及状态的依赖可以由内存池推理，特别是如果访问的具体状态被静态声明的话。纯依赖（不允许状态调用）可以在内存池层处理一次且无需再次处理 - 甚至可能用验证它们的STARK替换，从而不仅省略执行还可以省略数据。

原则上，依赖和动作都可以表示为调用（如果需要，对预编译的调用）。这将使交易格式本身非常精简和极简（一系列调用，每种调用的类型标志例如依赖将是静态或纯调用，以及来源、非ce等），即使不同的EVM链具有不同功能，也允许最大的跨兼容性。

在2015年时代的以太坊中，明确思考这些差异并不非常重要：执行就是执行，交易数量很少，我们可以串行处理它们，单钥ECDSA账户对每个人来说都足够了。

然而，以太坊当前的扩展策略要求超越这种范式。以太坊深受许多开发者喜爱，因为其执行和状态模型如此动态和灵活。但动态和灵活不利于扩展。幸运的是，以太坊按交易量计算的超过90%的活动不需要任何动态和灵活的东西。因此，我们需要合约、账户和交易更明确地指定什么是动态和灵活的，什么是更可静态分析但更受限的，更可静态分析的事物获得最低gas成本，从而扩展最多。实际上，从2015年时代的以太坊模型和更像比特币的模型（提醒：比特币从一开始就有我所说的账户抽象）的最佳之处中学习，并制作两者的混合物（实际上是两者之间的完整光谱），提供适当的gas成本以应对涉及的扩展水平。

新状态类型、递归STARK内存池、带密钥的非ces等都朝这个方向发展。

这一切都与交易类型有关，因为通用交易类型是一个很好的自然接口层，可以在其上实现所有这些，目前围绕EIP-8141交易类型的思考正朝着有利于这些未来概括的方向发展。

所以在某种意义上，做得好的8141不仅是10年账户抽象工作的总结，也是为接下来几年负责任的去中心化友好型超扩展做准备。

我关于混淆（iO）系列的第三篇（也是最后一篇）：本地混合

本地混合与另外两种截然不同的理念，无需格密码学背景，且权衡非常不同（例如，在计算开销方面，它今天已经可行；整个问题在于验证最终是一种新型密码学家族的安全性）。我强烈建议关注他们的工作，他们计划很快发布更多内容。

比特币拥护者们因开创了许多这些想法（参见Utreexo）而值得称赞。

但没错，这就是当前提议的以太坊扩展策略的实际运作方式。

我们希望以太坊拥有UTXO风格的状态、动态状态以及介于两者之间的一切，从而让以太坊的绝大多数活动能够实现超大规模扩展，同时不牺牲去中心化、节点运行的便捷性以及抗审查性。

令人印象深刻的工作！

作为对比，一个H100在单线程原始推理下，对Muse 30B大概能达到100-200 tok/s，通过大量线程可以提升到数千tok/s——而且我确信对于大规模多线程的情况，他们可以进一步优化证明器。

因此，我们大致可以说，LLM证明的开销是单个位数（<10倍）！

下一步是让FHE达到个位数开销，然后最终是vFHE（即STARK * FHE）。考虑到当前FHE的开销，这是一个疯狂且雄心勃勃的里程碑，但由于LLM推理的高度结构化和近乎线性的特点，它比你想的更接近现实。

让所有东西都实现个位数开销。

我更新了我的2023年路线图，并与当前的Strawmap（ ）进行了叠加对比。总体来看，重叠部分很多，但也有一些变化：* 某些事项的顺序被重新调整（例如，量子安全被优先提升）* 某些事项被降级（例如，VDF；许多EVM改进）* 某些事项被更优的构造替代（例如，Verkle -> 统一BT -> PBT；状态过期 -> 新状态类型）然而，最引人注目的是，Strawmap中出现了完全不在该路线图里的新事项，因为它们根本不在2023年路线图中。这些反映了优先级的变动。显著包括：* 对强隐私的一流关注。这涵盖：密钥化nonce和近期根、FOCIL的某些方面、精简隐私池和虫洞* 后量子背景下的激进扩展。这涵盖：精简SPHINCS签名与聚合、zkzk框架（见 ）* 规范的精简化，以辅助形式化验证（只有借助现代AI才能实现全面的形式化验证）* Blob和Gas期货（这个想法在2023年根本不存在）* 原生Rollup（2023年时SNARK远未成熟到可以考虑这一点）* 为“EVM的未来”提供更开放的设计空间。zkzk框架已经意味着协议将向用户暴露一些非EVM的ISA——当前领先候选是leanISA和RISC-V。这些ISA比EVM更简单、现代和高效。既然它们存在了，为什么不向所有开发者暴露呢？（然后，为什么不将EVM变成该ISA之上的IR，而不是作为一个使基础协议大幅复杂化的特权特性？）不过，这里更深层次的探索大部分还为时过早，甚至尚未进入Strawmap。* 新状态类型不仅仅是过期的替代，而是一种完全不同的以太坊扩展范式。在扩展方面的一个共同主题（体现在状态类型和zkzk框架这两个新想法中）是：我们不是试图最大程度地扩展所有以太坊活动，而是创建具有更严格属性的专用机制，使其更易于扩展，同时支持用户和应用程序当前（如代币转账、交换）和未来（如隐私协议）的最重负载。另一个共同主题是将STARK和AI加速的形式化验证视为一流对象，我们愿意将以太坊的技术未来押注于此。协议的多层中存在递归STARK，其中一个特定原语（“聚合到联合验证依赖项”原语）预计将在协议中的三个地方使用：EL、CL和DL。这只有在形式化验证下才安全，而形式化验证本身只有借助现代AI工具才可行。总的来说，成熟度迈出了许多步。这背后是数十名以太坊研究人员和开发者在所有这些特性上付出的巨大努力。以太坊将是量子安全的。以太坊将把用户隐私放在首位。以太坊将是安全的。以太坊将能够抵抗审查。以太坊将具有高性能和可扩展性，同时满足上述要求。以太坊将是精简的。

我的密码学混淆协议系列的第二部分，这次是关于钻石iO！

一种新型的"高级编程语言"，似乎非常值得尝试制作，它是一种编译到Lean（或HOL等）的语言，专门用于让人类尽可能友好地阅读定义和定理。

不是证明——因为证明最重要的是证明正确——只是定义和定理。

预期的使用场景是，AI输出一堆证明，你要让任何阅读输出的人尽可能容易地理解实际被证明的精确主张是什么。

而且……我们有个赢家！

我2024年写帖子时的方法是：先用中文写，然后用本地qwen2.5翻译成英文，再手动修正所有翻译错误。

注意，他的人工智能捕捉到的风格提示是数学和算法解释的智力习惯和风格，这完全绕过了我的混淆策略（只覆盖了散文）。

如果我们想使精简以太坊共识链更积极地向'精简'发展，并增加强大的验证者隐私（零知识证明将存款与质押活动及取款解耦，并且每天重新匿名化质押者），那么这里有一条路径：

两周前，以太坊研究人员在柏林会面，继续规划协议的长远发展路线，此前在四月份于斯瓦尔巴群岛与客户端团队进行了讨论。

更新后的 strawmap 位于 ，我附上了一张图片。

我个人高层次的总结：

* “精益以太坊”并非一次性升级，而是一系列改进，将在三到四年内逐步部署到以太坊网络。但毋庸置疑，这确实是以太坊的第三次重大迭代，就像“合并”是第二次一样。协议中几乎所有主要部分都将被替换：

- 通过递归 STARK 进行验证，而非直接重新执行。递归 STARK 将成为协议中内置的一等核心组件。
- 将所有易受量子攻击的部分替换为量子安全替代方案。
- 共识：解耦可用链和最终性，一到两轮最终性。理论上最优的安全属性，比现在更简单、更快。
- 多维 gas。
- 状态：不仅是树结构，还包括可用的状态*类型*。
- 客户端架构的变更。
...

同时，进行简化、清理和面向未来的设计。所有这些都将以最小化对现有应用影响的方式进行。我们以前做过（合并），我们可以再次做到。

* H-star（又名 Hegota）很可能是以太坊最后一个主题上“精益前”的分叉。从 I-star 开始，我们做的大部分事情都将以某种方式具有非常强烈的“精益”感觉。

* 隐私不再是事后考虑，而是一等目标。在设计 Frames、mempool、状态树添加时，我们明确问：“好了，量子安全、无中介的隐私协议交易如何通过这里，开销是多少？”

* 对一切进行形式化验证以确保安全。

* 形式化验证也让我们对规范化（将协议的某些部分直接定义为用某种语言表达的字节码片段）更加放心。evm-asm 的部分目的是成为 EVM 的规范证明系统。

* 量子安全的优先级大大提高。这增加了大量工作（例如，最终确定量子安全的 blob 设计已变得紧迫；这项工作已经进行了数月）。

* 计划中最具颠覆性的部分可能是对状态的更改。越来越多的共识是，基本保持现有风格的“动态状态”不变，仅适度扩展，同时添加新的、更具可扩展性（例如，构建者无需同步/存储所有）但限制更多、且将大量扩展的状态类型。

例如，2030 年的以太坊可能是：2 TB 现有风格（动态）状态，以及 100 TB 新风格（可扩展但受限）状态。

这种“新风格”状态非常适合 ERC20、NFT、许多 DeFi 用例，但不适用于高度“中心化”的对象，如 Uniswap 合约、链上订单簿或其他复杂事物（这些对以太坊至关重要，但只占状态的一小部分）。

因此，重写任何应用并非*必要*，但例如将 ERC20 代币重写为使用目前正在探索的新型 UTXO 存储的新设计，将会非常*节省成本*，因为交易费可降低 10 倍以上。

这些新状态类型的设计（当前想法：键控随机数、环形缓冲区、UTXO、静态可访问状态、临时状态）是一个需要大量应用开发者（包括隐私友好型应用开发者）反馈的领域，可能需要多轮重新思考和迭代。

* 在总状态大小大幅增加的背景下，我们需要解决谁存储这些状态以及他们存储动机的激励问题。即使说“每个节点存储 1%”也不够好——为什么他们存储那 1%，并且愿意提供服务？这正被提升为一等研究领域。

* 以太坊需要以某种形式拥有除 EVM 之外的“虚拟机”——至少，我们需要像 leanISA 这样的东西用于递归 STARK——并且将其暴露给用户会带来巨大收益，从而支持可编程隐私和更好的可扩展性。目前，最有可能的候选者是 leanISA 和 RISC-V。

我个人的理想是，在这种世界中，我们调整协议，使 EVM 成为高级语言编译器级特性，而协议只直接“看到” RISC-V/leanISA。但这仍然很遥远。

* Gas 上限提升、blob 提升和时隙时间减少将在未来大约 5 年内多次发生。我们预计 Glasterdam 会有一次大的 gas 上限提升。每次扩大规模或减少时隙时间都是达到安全点的过程，这需要客户端优化和协议更改的结合。

以太坊是 CROPS。

以太坊正在扩展。

以太坊正在重塑自己。

前进。

一篇万字长文，涵盖了混淆（iO）协议主线的整个技术树。特别感谢所有帮助过的人！