第六部技术学 · 怎样变成可运行的系统

第六部　技术学

PART VI ‧ TECHNOLOGY怎样变成可运行的系统

这一部是本次整理中改动最大的部分。原因很直接：原始技术文本里，一部分是已经跑起来的系统（存证平台、三个原型），另一部分是纯设计的蓝图（第三代公链、专用虚拟机、人即矿机）。把两者混在一起讲，会让评审误判成熟度；分开讲，反而更有力量——因为「已有真东西」比「构想宏大」值钱得多。

18五层技术栈与成熟度（TRL）

图 6-1　五层技术栈。把成熟度直接画在图上，是为了防止一种常见误读：把 L5 的愿景当作 L1 的现状。

表 6-1　技术清单与成熟度判定（诚实版）
组件	成熟度	依据的现成技术	本文处置
天下必治存证	已运行	SHA-256、append-only 哈希链、RFC3161、Merkle、多链锚定	全体系的地基，优先扩容与开放接口
三个诊断原型	有原型	Tarjan 割点、Shannon 熵、一次性连带池结算	升级为 Web 应用，补 β 指标
独立证明台 I1–I8	有设计稿	《公司法》第 23 条举证要点	做成可交付产品（第一件可收款）
诺卞之「诺」	可立即落地	存证＝承诺留痕；合约哈希上链	作为存证服务的第一类业务对象
诺卞之「卞」	纯设计	链下 AI 评估＋结果上链存证	明确为链下服务，不包装成链上原语
CHuman／COPC	纯设计	DID、面向对象模型、可选披露	先做数据模型，不做链
HVM 人类虚拟机	建议否决	EVM／BPF／WASM 三条成熟路线	改用 WASM 或账户对象模型（见 21.1）
人即矿机（PoH）	开放问题	ZK 可证成员资格，不能证全球唯一	降级为「多源可信锚」渐进路线（见 21.2）
天下链／通证	合规禁区	公链发币在大陆明令禁止	改定位为联盟链／存证链，剥离通证（见第 22 节）

19权威成本函数：为什么「验证」能替掉「背书」

这一节是整套理论在经济学的落点，也是它最有原创性的地方之一。它要解释的是一件反直觉的事：为什么一个没有刊号、没有主管部门的园地，可能给出比正式机构更硬的证明？

先把「权威」这个词拆开。一切权威的本质是可信第三方，而可信第三方有两种实现：机构（社会信任）与数学（可验证性）。它们的成本结构完全不同：

机构：C_i(N) ＝ a ＋ b‧N　（每件都要人审，单位成本有正下界 b，且存在配额 N_cap）
数学：C_m(N) ＝ c ＋ d‧log N　（证明路径随规模对数增长，单位成本趋于 0）N ＝需确认的事实数量

由此得到三条推论：

规模越大，数学越便宜：机构单位成本收敛到 b（不为零），数学单位成本趋于 0。
真正的分水岭不是成本，是配额：机构验证有 N_cap（人手、名额、审期），数学验证没有配额。所谓「权威稀缺」，稀缺的从来不是真理，而是验证能力。
AI 改变的是 d：它让「生成证明、整理材料、自动核验」的边际成本进一步下降，于是交叉点提前到来。

命题 V1　新增权威的稀缺性来自验证配额，而非真理稀缺

在事实可被独立验算的领域，权威的定价权会从「授予」转移到「验算」；其经济学机制是单位验证成本的下界差（b ＞ 0 vs → 0）与配额差（N_cap vs 无上限）。B

但这条命题必须立刻加一道闸，否则它会过度承诺——而过度承诺正是这类理论最容易死的地方：

表 6-2　数学验证能替代什么，不能替代什么
权威类型	能否由验证替代	原因
存在性／时间性	可以	「某物在某时刻已存在」是可被时间戳与哈希独立复验的事实
完整性／未篡改	可以	「此后一个字节未改」由哈希前后一致即可判定
来源／归属	部分可以	只存终稿不够，须有创作过程留痕（版本序列的多时点存证）；否则「上链前真实性」无法自证
责任／赔付／许可	不能	这三件事必须有一个「承担者」，数学不承担责任。刊号、牌照、学位之所以是机构专属，因为它们承载的是责任与准入，不是事实确认

这张表就是这套理论的分寸。它承认：存证能替代「事实性权威」，不能替代「责任性权威」。因此正确的表述不是「区块链取代了期刊」，而是「期刊的两种功能被拆开了：一种功能（何时存在、是否被改）可以由数学接管，另一种功能（谁负责、谁许可）仍然只能由机构承担」。把这个区分讲清楚，理论就既锋利又站得住。

这条区分还有一条直接的制度含义：司法对区块链存证的采信是有条件的。《人民法院在线诉讼规则》第十六条规定，区块链存储、技术核验一致的，可认定上链后未经篡改；但第十七条要求存证平台符合国家规定与相关标准——这意味着「自建平台」想获得司法推定，必须先过合规备案这一关；第十八条要求「上链前真实性」另证——这意味着只存终稿不够，必须过程留痕。这两条硬约束，恰好把「版本轨迹」从一种洁癖变成了必需品。

20存证层：一个已经在跑的三层锚定

这套体系不是从零开始设计存证，而是已经有一个在运行的系统，这使论文的性质发生了根本变化：不是「设计一个系统」，而是「论证一个已在运行的系统」。实证的分量完全不同。

表 6-3　天下必治的三层锚定与本理论的对应
层	机制	理论含义
L1	浏览器本地 SHA-256，原文不出设备（零知识指纹）	对应「数据主权」：指纹可外传，原文不必外传。这不是隐私功能，是主权结构
L2	append-only 哈希链账本，每条含前一条的哈希；凭证编号 TXC	对应「茻的历时维度」：艸是自环（昨天的我与今天的我），账本就是这个自环的物化
L3	RFC3161 时间戳＋日度 Merkle 根锚定到多条公链	对应「外部锚」：把内部记账挂到不可收买的外部事实上，使「自证」变成「他证」
验证	验真台＋公开账本（可下载 JSON 命令行复算）	对应「不当权威」：「不必相信这个网站」——这句话是整套体系最硬的一句设计原则

三层锚定的精妙之处在于它把「信任」拆成了三级可检验的事实：L1 证明「这份文件就是这份文件」，L2 证明「它在账本里的位置与时间」，L3 证明「这本账在某时刻已经存在且未被改写」。三级合起来，一个没有刊号的园地可以获得一种机构给不了的东西：任何人都能独立复算的优先权证明。

这也给「发表即存证」提供了机制基础：论文三审完毕 → 定稿取指纹 → 存证签发凭证 → 上线挂牌。文末挂一枚存证铭牌（指纹／凭证号／锚定链／验真入口），读者不必相信编辑部的诚信，只需算一次哈希。B

21协议层的两处取舍：一个否决，一个降级

21.1　否决「C++ 子集专用虚拟机」

原始设计提出 HVM（人类虚拟机），用 C++ 精简子集编译 CHuman／COPC 类，做到「百 KB 运行时、可跑在嵌入式与手机」。这个目标值得尊敬，但技术路线是错的：

EVM 是为确定性执行与计费（gas）定制的栈式虚拟机；Solana 用 BPF（受限 RISC 指令集）；近年的新链普遍选 WASM。三者共同的取舍是：不碰 C++ 的完整语义。
C++ 要上链，必须解决未定义行为、浮点确定性、内存模型、模板实例化、异常与 RTTI 的裁剪——工程量是百万行级，且每一处都可能成为共识分裂点。
「百 KB 跑嵌入式」是 WASM 运行时（如 wasm3）的能力，不是「C++ 编译器」的能力。这两件事被混为一谈了。

更关键的是：「人是第一类对象」是数据模型的选择，与虚拟机无关。用账户对象模型（如 Move／Aptos 风格）或 WASM ＋系统合约，同样可以把「人」做成原生对象，而不必自造一门语言的编译器。因此本文的建议是：弃 HVM，改用 WASM 或现成对象模型；把「人本位」落在账户与权限结构上，不落在虚拟机上。

21.2　降级「人即矿机」：一个不能糊过去的密码学事实

原始设计把「零知识人证合一」当作已解决的前提：一人一身份，因此可以防女巫。这里有一个必须说清的事实：

零知识证明能证明「我是某个集合的成员，且具备属性 X」，但它不能证明「我在全人类中唯一」。唯一性（uniqueness）与成员资格（membership）是两件事。要证明唯一，必须有一个外部的、全局的注册表或物理锚点——而任何全局注册表本身就是一个中心。现实中的三条路都有代价：生物采集（Worldcoin 式虹膜）＝中心化根信任，与「无平台」自相矛盾；社交图谱（BrightID 式）＝可合谋刷号；硬件安全模块＝可被租借与转卖。这是一个开放研究问题，不是本文能解决的工程细节。

因此正确的处置不是删掉这个愿景，而是把它改成渐进的多源可信锚：短期内用「机构背书（学校／企业／社区）＋社交图谱＋设备指纹」三源交叉，把女巫成本抬到不经济；长期再看有没有真正的去中心化唯一性方案。把开放问题写成开放问题，是这套体系能取信于技术评审的前提。

21.3　保留下来的两件事：诺与卞

「诺卞机制」这个命名，字义上站得住（诺＝允诺、守约；卞＝卞和识玉、辨真）。它在技术上必须一分为二，否则会被当成万能词：

表 6-4　诺卞的技术切分
字	含义	技术形态	现状
诺	契约、承诺、守约	合约文本／履约记录的哈希上链＋时间戳＝不可否认的承诺留痕	可立即落地（存证层已有）
卞	甄别、辨真、识值	链下 AI 评估，评估结论与依据再上链存证（链下计算、链上存证）	纯设计；且必须承认「价值真伪」无法由哈希推出

切分之后，「诺卞」不再是一个大词，而是两句可执行的话：诺管「说过没有、改过没有」，卞管「值不值、真不真」——前者由数学保证，后者由 AI 判断并留痕，判断可能错，但判断过程可追溯。这比宣称「智能合约能判定价值真伪」诚实得多，也强得多。

22合规红线：哪些事不能做，必须写在设计里

这一节不是法律意见，但它决定这套体系能不能公开运行。四条必须前置处理：

表 6-5　四条合规约束与处置
风险点	为什么是红线	处置
公链发币／通证	境内对代币发行融资与交易有明确禁止性规定；「公链＋通证＋UBI」的组合会被直接识别为发币	天下链改定位为联盟链／存证链；通证、红元、UBI 从技术文档中剥离，仅作长期研究议题，不进产品
存证平台的司法效力	《在线诉讼规则》第 17 条要求平台符合国家规定与相关标准，否则不享受推定	对外提供服务前完成备案与合规；未完成前，只做「自证工具」，不主张司法效力
「上链前真实性」	第 18 条：上链前数据的真实性需另证	落「版本轨迹」：多时点存证，把创作过程本身留痕（这正好是本站的既有铁律）
意识形态包装	把技术体系等同于某种政治主张，会同时损害学术可信度与合规性	技术文档中剥离政治修辞；价值立场只在「导论」与「结语」出现，且以学术语言表述

一条容易被忽略的边界：「存证平台」与「拟建的公链」必须严格区分。前者已经运行、合规、可对外服务；后者尚在设计、且涉及敏感领域。把两者混着讲，会让已经合规的部分也被质疑。这是本次整理中最需要立刻纠正的表述问题。

22.1　六个月内的最小可行路线（三件事，都不碰链）

① 把「诺」做成存证服务

单片公司合约／履约记录哈希上链 → TXC 凭证 → 静态验真页（输入凭证号返回锚定证明包）。验收：任意合约可生成凭证，第三方在浏览器内可独立验真。

② 独立证明台跑成 Web 应用

输入财产与关联通道数据 → 独立分、茻图与割点、可导出的财产独立证明书。验收：演示环境可现场改参数，隔离度从 0.70 掉到 0.10。

③ 四阶代数做成诊断原型

输入片集 → 阶、H、κ、β、割点、处方。验收：空数据与单片数据均不崩，且给出有意义的提示。

三件事的共同点：都不需要新链、不需要发币、不需要等审批，且都能立刻产生可验证的凭证或数值。先让「可证性」变成产品，再谈链——这个顺序不能反，反了就会陷入「先造基础设施、再找用途」的经典陷阱。