得摆一桌

扔进小黑屋

这个应该大有未来

4000吧

催秀彬这错别字

向反了就是加速撞墙。

得说点带信息的

4000就是X的隐形收费站

错别字留着吧

ZK 不该塞进 EVM：密码学落在哪一层 昨天 Vitalik 发了一条没说完的判断：预编译和 EVM，都不是以太坊承载大部分密码学支持的正确位置。 这条 X 帖子热度一般，点赞和转发远不如同一天的空投、行情和 Memecoin 讨论。但在研究圈里传得很快。因为它实际上否定了以太坊过去多年处理新密码学的默认方式：新曲线、新证明系统、新原语出现，就想办法加一个预编译。 先简单说清楚预编译是什么。 预编译本质上是写在客户端里的原生函数，地址很低，调用时不走 EVM 解释器，直接执行。椭圆曲线配对、哈希、大数运算这类重活，用预编译确实比纯合约便宜很多，经常是一个数量级以上。 但代价也很直接：预编译的行为是共识规则的一部分。加一个预编译，不是某个应用自己升级就行，而是所有客户端都要跟着改，最后往往要走硬分叉。 Vitalik 说的 “僵化税”，核心就在这里。密码学本身迭代很快，证明系统、曲线、后量子原语可能两三年就会有新一代方案；但以太坊的协议升级节奏完全是另一回事。Glamsterdam 已经推进到 Sepolia 和 Hoodi 测试网，从提案到测试网再到主网，是以月和季度计算的。把快速变化的东西钉在慢速共识上，每钉一次，就多一份长期维护负担。 ethresear.ch 上那篇讨论 “为以太坊后量子证明暴露一个 ISA” 的帖子，其实也是顺着这个思路延伸：与其不断补预编译，不如定义一层更通用的指令和接口，让验证逻辑可以插拔，而不是每次都改共识。 要判断这条路值不值得走，关键先看链上验证的钱到底花在哪。 一次零知识证明验证的链上成本，大概可以拆成三块：证明生成、链上验证、calldata 数据成本。 证明生成主要在链下，由证明者承担，可能是 CPU 也可能是 GPU，时间从秒级到分钟级不等。这部分成本通常不由链上用户直接承担，所以讨论经常被忽略。真正让应用开发者头疼的，是链上验证的 gas，以及把公开输入和证明本身写进 calldata 的数据开销。 纯合约实现为什么贵？因为 EVM 的算术粒度太粗。EVM 只有 256 位整数运算，而域运算、模幂、配对这些操作本来是为大整数和有限域设计的。要在 EVM 里完成一次完整验证，往往要把大数拆成很多个 256 位字，反复做加法、乘法、取模，每一步都按 opcode 计价。 预编译则是把这一整段折叠成一次原生调用，所以成本会突然下降很多。但这里也有一个问题：预编译的 gas 表通常是人工定的，不一定和真实计算量严格对齐。它更像一个为了方便而预设的价格，而不是精确反映硬件开销。 所以，纯合约和预编译之间的差距，往往不只是几倍，而是几十倍甚至更高。 有一个常被引用的说法是，零知识证明和同态加密之间大约有 68 倍的速度差距。这个数字我见过很多人转，但它来自单一基准，具体硬件、安全参数、测量口径都不透明，只能当作方向性参考，不能直接当成以太坊上的 gas 比价。 真正更值得强调的是：任何触及验证路径的共识改动，背后都不是 “协议优化” 四个字这么简单。以太坊上锁定的资产规模很大，一旦客户端之间对密码学实现的理解出现分歧，后果可能是共识分裂级别的。客户端团队对新增预编译谨慎，根本原因就在这里。 目前看，密码学验证大概有三条路。 第一条是继续加预编译。 它的优点很明确：验证开销最低，gas 可预测，合约侧调用也最简单。如果一个原语已经非常稳定，调用量极大，而且只有一种被广泛审计的实现方式，预编译仍然是最合理的选择。 但缺点也同样明显：可升级性几乎为零。而且信任假设不在合约，而在客户端实现。一旦某条曲线或某个证明系统的实现有微妙分歧，问题就不再是应用层 bug，而是链分裂级别的故障。 所以，预编译适合的是那种 “已经定下来，不会再改” 的原语，而不是作为以太坊承载所有新密码学的默认方式。 第二条路是纯合约实现。 这条路径的好处是迭代灵活。项目方可以自己升级逻辑，不需要等硬分叉，也不需要说服所有客户端团队。信任假设也更清楚：只要合约代码是这样，行为就是这样，审计对象明确。 代价就是 gas 成本高。尤其在高频验证场景里，纯合约可能贵到没法用。但如果调用频率不高，很多时候这个成本并不是不可接受。开发者真正要承担的，不只是 gas，还有验证逻辑写错的风险。 第三条路，是把验证从 EVM 里拆出来，走独立的 ISA 或接口层。 这里的 ISA 不是指通用 CPU 指令集，而是指为一类密码学验证专门定义的底层指令和接口。EVM 只负责调用和记账，具体怎么验证，交给更灵活的底层模块去做。 EF 博客里提到的 zkAPI，其实也是同一方向的上层尝试：把证明相关能力包装成可调用的服务接口，让应用不必关心底层验证器到底是谁。 但这条路并不是免费的。它会引入新的角色：专用验证器由谁运行？怎么激励？出错了怎么罚？这些问题现在都没有标准答案。如果证明生成依赖 GPU 或专用硬件，门槛会上升，证明市场可能逐渐集中到少数有资本开支能力的参与者手里。ISA 层如果只定义验证，不定义证明市场结构，这个问题并不会消失，只是被推到更下游。 反对者的声音，我觉得也值得认真听。 最硬的一条是时间线。 后量子威胁经常被拿来论证 “先上后量子证明，反正不亏”。但把后量子验证指令塞进共识层，成本是即时的、确定的；收益却是对冲一个时间不确定的风险。等到真正需要时，可能已经出现了更好的方案。这种成本和收益的不对称，应该被算清楚，而不是简单当作政治正确。 第二条是硬件加速带来的集中化。 如果证明生成依赖 GPU 或专用硬件，参与门槛会明显上升。资本开支能力更强的参与者，会更容易进入证明市场。ISA 方案如果只解决验证层，不解决证明生成的市场结构，去中心化问题只是被转移，不会自动消失。 第三条是交付节奏。 以太坊客户端多样性本来就不算宽裕。一套新的指令集要在多个客户端里保持语义一致，测试网周期只会更长。而验证层本身就是攻击面。NEAR Intents 曾经因为验证与跨链衔接处的问题损失数百万美元，这件事说明任何新增验证接口，都应该按最高标准去审查。 所以，对开发者来说，判断标准其实可以收得很简单。 如果你要用的原语已经稳定五年以上，调用频率高到 gas 是主要瓶颈，而且只有一种广泛接受的审计实现，那提预编译仍然合理。这是唯一能让所有人都便宜的办法。 如果原语还在迭代，调用量中等，而且你愿意承担审计责任，那就直接写合约，不要等协议层。 如果你做的不是单个原语，而是一整类验证需求，那更应该考虑把验证器做成可替换模块，同时关注 ISA 方向的进展，而不是再提一个新的预编译。 接下来真正值得观察的，不是谁表态，而是三件事。 第一，ethresear.ch 上关于后量子证明 ISA 的讨论，能不能收敛成具体 EIP。第二，Glamsterdam 从 Sepolia、Hoodi 测试网到主网到底要花多久，这个时间成本会直接影响所有共识层密码学变更的节奏。第三，zkAPI 这类接口层有没有真正出现付费调用方。 有人用，才说明密码学下沉这件事在工程上成立，而不只是研究圈里的一条推文。 #web3

“AI霸总”这四个字摆一块，问题基本就摆明了。 我的判断很直接，这波 AI 陪伴热潮，最肥的落点不是年轻人的电子宠物，是老人的情感空窗。北京晚报那篇报道讲的就是这个，一批拟人化的“AI霸总”账号，精准围猎银发群体。同一天新闻里还有一条，浙大版的人工智能法建议稿出炉，在讨论怎么给 AI 划法律边界。两条放一起看，挺难受的。 为什么是老人。有钱，有闲，孤独，这三条他们基本都占。还有最关键的一条，对“AI”这词的辨识度最低。年轻人跟模型聊两句，觉得味儿不对，划走了。老人不会。

卖了能不能实现财富自由，三线城市，a8就可以了

我有50万P20 有用吗？

流动性差到蓝v都互关补仓了

对的

不在乎结果，坚持到最后也就是个更累的自己。

就每月8刀的事，整得跟打通任督二脉似的

互关涨的粉，第二天掉

起飞第一件事就是退群。