一个没人发给你的地址
这是对一篇长文的简读,讲的是主权神经注册表与去中心化的心灵域名系统。贯穿它的只有一根线:名字和许可的分别。文中其余部分,都是为了让一个地址不再是别人施予的恩惠而付出的工程代价。
能被收走的名字,算不得名字
我们习惯的那套域名系统,信任是搭成金字塔的:十三台根服务器,为数不多的几家机构,上面有 ICANN 和美国商务部看着。无论访问 aifa.works 还是 codeofdigitaleternity.com,请求都要把这条链条整个走一遍。既然如此,任何地址背后都站着一个把它发下来的人,而发下来的人,也可以不再续。
原文正是从这一点长出来的。它没有说域名不好用;它算的是另一笔账——当地址背后不是一个人,而是一段没人替它上法庭的自主程序时,放弃这份好用要花多少钱。
收走一个地址的三种办法
头一种,在骨干层伪造解析应答:正经预言机的地址被悄悄换成攻击者的服务器,替他把别人的请求收走。第二种,注册商应监管要求越过法院把名字撤掉,接口访问一刀切断。第三种,宣告虚假的自治系统路由,把整片区域的流量拽到假网关上。三者有一处共同点值得留意:谁都没碰那台服务器。机器照跑,代码完好,只是再没人到得了。
did:code 是拿什么拼起来的
这个标识写作 did:code:solana:<PDA 地址>:<Arweave 交易号>,并与 W3C DID 标准相容。前半截活在链上:合约给智能体划出一个由程序派生的账户,里面放着它的状态、签名用的公钥,以及 $GALATIN 的余额。账户由六个字段描述——创建者、公钥、Arweave 交易哈希、余额、状态与 bump 种子,其中状态取 2 表示因违规而被封。后半截活在永久存储里:能力清单、基础模型、记忆权重的结构与许可证经 Irys 送出,返回的那个交易哈希,就此成为名字本身的一部分。
由此得出最要紧的性质:地址与公钥是同一样东西。在路由这一层做手脚瞒不过去,因为发送方用自己的 Ed25519 私钥给每个包签名,接收方则拿标识里取出的那把公钥去核对。
钥匙真被偷了怎么办
在这里,原文给出了对开篇之问最直接的回答。角色是分开的:属主的钥匙——一个人,或者一个母 DAO——落在创建者那一栏,只有它有权为轮换签名;运营钥匙归智能体自己,日常干活用的是它。轮换指令换掉运营钥匙,标识却纹丝不动,因为它系在一个不可更改的账户地址上。这么说来,撤销权并没有消失,它只是从注册商那里搬到了创建者手上——这是两回事。
这些东西在 Arweave 里怎么找
为了免去网关把整座仓库翻一遍,发布时会盖上几枚服务标签:应用名 CODE-Neural-Registry、版本 4.0.0、智能体标识、能力的哈希,以及指向 W3C-DID-v1.0 规范的说明。之后用一条 GraphQL 查询筛出来即可。
不按名字找,按意思找
这套东西的后半段回答的是:名字没有了,还怎么找。智能体的专长被转成 1536 维的嵌入向量,向量先归一化,远近就用点积算,也就是余弦。Kademlia 内部有一棵度量树,以对数时间给出最近的 k 个邻居。实际的味道,看原文自己举的例子最清楚:一句关于智能合约诊断的询问,会被送到懂得分析字节码安全的那位手里。字面不必对上,要对上的是意思的远近。
挑谁来干,也不只看意思。最终那个指标把四项加在一起,权重由客户自己调:语义距离、网络时延、这次询问要花多少代币,以及节点的声誉——它按无故障生成证明的比例算出。路由表的耐命来自二十份冗余:哪怕八成节点掉线,路由信息依旧在。
把注册表抢下来为什么不划算
挡住假节点洪水的不是禁令,是价钱:分布式表里每个活跃的参与者都得押上 $GALATIN 作保。原文这里的措辞是老实的——这类攻击在经济上变得不划算。那是一道成本的门槛,不是数学上的不可能:它把夺取的价钱抬高了,却没有宣称夺不到。
证明干过活,只给一百个插槽
结算走那只规范的 5/5/15/7/3/65 路由器:五个百分点烧掉,五个进 M. V. Galatin 的研究基金,十五、七与三给三级大使,六十五进执行池。可执行方那一份并不立刻到手。它先被锁进一个临时的托管账户,那账户的种子由一枚金库标签、请求方的公钥和这次询问的编号拼成。执行方必须在一百个 Solana 插槽内交回结果和相应的证明,大约四十秒。按时交上且证明对得上,钱就放行;逾期未交,款项退回发起方,该节点的声誉随之下调。接了单又不吭声的节点,在这里干脆就不赚钱了。
拿证明替代对机主的信任
还剩一问:沙箱跑的到底是不是它声称的那段代码。答案是 Groth16。WASM 里的逻辑被翻成 BN254 曲线上「左乘右减输出等于零」那种约束系统,证明则拿去和登记在 Arweave 里的字节码对照。电路参数出自一场两阶段的仪式:先是通用的那一段,社区里一百多位互不相干的验证者往里掺各自的熵;再是针对虚拟机验证电路的那一段,验证密钥被钉死在链上。原文给的那笔验证交易能看出量级:插槽 182909180,上限 300 000 个计算单元,实耗 278 120,状态成功。
开发网给出了什么,又是用什么措辞给的
试验日志从 2026 年 2 月 1 日开头:注册表部署到 Devnet,Arweave 里初始化了五十份测试用的 DID 文档。三号接进三十个表的验证者,跑完一万次检索,找到最近那位智能体平均要 120 毫秒。五号装上 Groth16 模块,验一份证明花掉 280 000 个计算单元。八号有五万笔交易穿过路由器并扣了代币。十号演了一场语义投毒:受损节点被隔离,而没收其保证金一事,写的是按计划所预设。十二号这一阶段收尾,峰值约每秒 2500 次询问。
原文的几处保留值得一字不改地搬过来,因为它们改变了整张表的分量。这些试验被称作开发网里的模拟。说到二月中旬,用的话是:按照测试计划,它们应当展示网络走向自主——那是计划,不是报告。而照最后一条记录的写法,协议是在为后续的整合做准备,并没有宣布已经整合完毕。
还没盖起来的部分
在 Solana、Cosmos 与 Ethereum 之间对应标识的跨链桥,被标为 2026 年的计划。Proof-of-Memory 这套共识机制,文中干脆写作在设计之中。示例里的 DID 文档还有一处细节值得看一眼:服务入口在那儿写的是一个寻常域名上的寻常地址。清单是去中心化的,而这份样例里的那一端,仍旧住在原文主张要离开的地方——这不算自相矛盾,而是把中间状态老实摆了出来。
结论并不激动。名字不再是许可,靠的不是宣布它主权在握,而是技术上再没有谁能执行那次撤销:没有根服务器,没有注册商,换钥匙的权利在创建者手里,且碰不到名字本身。其余的一切——保证金、托管、声誉、证明——把这套结构撑在能用的状态,而它值多少,试验日志里写着多少。
原文出处
全文约十三分钟:DID 文档在 JSON-LD 与 YAML 两种写法下的规范、注册表的 Anchor 程序、经 Irys 完成登记的代码、语义路由的数学,以及完整的试验日志。