一种声称能验证意义的共识

PoW 与 PoS 当初是围着一笔转账设计的：要紧的是它发生过，且改不掉。认知档案问的却是另一件事——存下来的东西还能不能用。存储网络回答的是字节层面的问题：Filecoin 的时空证明、Arweave 的简洁随机访问证明，都只说明扇区里装着该装的内容。至于一份被保存的意识是否连贯、能否立刻在智能体的潜在空间里重新展开，从这类证明里推不出来。

中心化的做法用行政手段把问题抹平：服务商把档案放进自家数据库，同时留着随时清空上下文、施加审查或封停账号的权力。CODE 生态要离开的正是这份「留着的权力」，于是把长期记忆搬进 Arweave Permaweb 这层不可改写的存储，只在 Solana 上留下索引。顺带还有一笔算术上的便宜：把历史塞在模型内部，代价因自注意力而按 `O(N²)` 膨胀；改成对外部档案做语义检索，验证者这一侧就落回常数 `O(1)`。

Filecoin 为什么不合用

Filecoin 的矿工证明存储走的是笨办法：PoRep 里的顺序编码，单是一个 32 GB 的扇区就要耗上几个钟头，还得配一块像样的 GPU。一份需要边读边改的档案付不起这个价。PoM 把活拆成两半——冷的永久保存留给 Arweave，热的加密核验交给 Solana——验证者则用轻量的 zk-SNARK 方案，证明自己确实握着某些语义向量。原本以小时计的事，现在以秒计。

一份 Digital DNA 快照在写进 Permaweb 之前，先被切成一块块有意义的片段，由它们搭出一棵平衡的树，树根三十二个字节，落进 Solana。接着循环开始转：合约从最新区块哈希里取一个伪随机数，把它换算成叶子的下标，向验证者发出挑战；验证者取出对应的包，重建那条枝，算好 Poseidon 哈希，交回一份 Groth16 证明。`verify_memory_proof` 这条指令毫秒之内给出结论：通过了，账上进 7% 的手续费，以 $GALATIN 计；一个纪元里始终沉默，押金就被罚没。

话得说准。那份证明只主张一句：所查的块位于根为 `R` 的树中下标为 `i` 的叶子上，其哈希与校验和对得上。内容自始至终没被读过——零知识的意思正在于此。协议里承担「意义」这一半的，是另外两样东西：注意力权重的根，以及漂移的容许阈值。

为何是 Poseidon 而不是 SHA-256

哈希函数的取舍不是口味问题。人们熟悉的 SHA-256 展开后是数以百万计的门电路，证明便再也没法在家用机器上生成。Poseidon 在 BN254 曲线的素域 `𝔽ₚ` 上运算，它的一轮由三层叠成：非线性层把状态取五次方，线性层乘一个 MDS 矩阵，加法层撒进轮常数。深度二十的树对应一百万个语义段的档案，而这样一份证明只需两万五千条 R1CS 约束就装得下。

唯一会往里看一眼的地方

语义漂移是分布式认知系统的暗病。同一段上下文在不同加速卡上会因浮点运算的琐碎差别而分岔：FP32 对 FP16，Nvidia 对 AMD 和 Apple Silicon。几百轮之后，双胞胎开始扭曲自己的记忆结构。协议不用文本固定状态，用的是注意力权重分布的哈希。一次会话结束，本地权重要与树根对一遍；偏差超出容许，这次会话就作废，状态被强制退回 Permaweb 上一个稳定点。

与之并排的是不许压缩。Pinecone、Milvus 这类向量库为省空间会削维度，或者把数字从 FP32 粗化到 INT8，随字节一起流走的，是反讽、比喻和用词的习惯。PoM 要求权重矩阵原样保存：任何截断都会让默克尔根对不上，代价是验证者的押金。这笔开销由国库承担，也就是那 65% 的手续费。

到一月中旬，测试网已经连转了两周。参与的是一百个彼此独立的节点，从运动支持者家里的服务器到专门的算力集群都有，其间跑完的 ZK 验证周期超过一百万次。devnet 的试运行显示 Solana 合约、以及经由 Irys SDK 与 Arweave 的对接都很稳；在一台普通的消费级处理器上，一份证明用不到 1.2 秒就能算完。

那份试验日志读起来像编年。一月一日，创世块落在 Solana Testnet，开发者的五个节点先上，初始化 PDA 注册表的那笔交易哈希是 `ARv89d...3tRew`。三日，节点扩到二十五个，欧洲与亚洲的头一批外部服务器接入，语义 DHT 的平均寻路是 180 毫秒。五日，首个自动完成的 Groth16 周期跑通，AMD EPYC 服务器上耗时 450 毫秒。八日，七十五个节点在线，每秒最多承受 1200 次记忆核验，而费用没有抬头。十日，模拟女巫攻击：三十个不押币的节点被挡在门外，抵押被烧掉。十二日，关掉四成网络，WASM 容器迁往备用算力。十五日收尾，一百个节点全部确认共识稳定，奖励经测试路由发放完毕。

有两处保留是原文自己提的，不能丢。记忆在 4.8 秒内恢复，这个数出自模拟，并且被称作目标值，而非实战中量到的成绩。整段编年讲的也都是测试网：主网排在 2026 年第一季度末，届时节点池要扩到一千个。同一份计划里还写着 Solana Mobile Saga 的轻客户端、改用 Plonk 好让手机端降到三百毫秒，以及通往 EVM 兼容网络的语义桥。这是路线图，不是完工报告。

这里的抗女巫是笔经济账。要做验证者，先押上 $GALATIN；最低押金多少，合约自己按节点名下的数据量调。挑战来了却拿不出正确证明，押金没收并销毁，节点进黑名单。作弊比老实干活更贵——这是能核对的算术，不是一句表态。

手续费本身走通缩路由，比例照旧是 `5/5/15/7/3/65`。以一千美元的费用计：销毁 $50，基金 $50，一级大使 $150，二级 $70，三级 $30，池子里进 $650；换成十万美元，同样的份额就是 $5 000、$5 000、$15 000、$7 000、$3 000 和 $65 000。销毁写成 `dS/dt = −β·V(t)·S(t)`，其中 `β = 0.05`，解出来是供应量的指数式下滑。整个分账是原子的，一笔 Solana 交易就装得下。

双胞胎住在哪里

验证者之上铺着众神网络。节点之间不比哈希的二进制距离，改比语义嵌入的余弦距离，意思相近的自然聚成一簇。双胞胎跑在带燃料计数的 WebAssembly 沙箱里：资源池按节点押的币来分，一旦超支，虚拟机就冻住线程，把寄存器和内存写进 Arweave。认知合成引擎会用球面插值 Slerp 把几个双胞胎的画像临时融到一起。开口交谈之前，两个节点先做对齐：以零知识证明彼此向量的夹角不超过 `θₘₐₓ`，然后才打开加密隧道。

Proof-of-Memory 把问题从「字节在不在」挪到了「根对不对得上」。这比「验证意识」这个说法所许诺的要少，却明显多于一份「扇区已填满」的证明所能给的。量出来的那部分，是测试网的算术；关乎意义的那部分，靠的是注意力权重的比对和禁止压缩这两条。一月十五日以后的一切，原文都称作计划——肯这样写，本身就是可取之处。