阈值收敛系统:巴塞尔协议IV下用于实物资产验证和抵押的量子纠错和预言机共识的共享数学结构
对分布式系统进行形式化刻画,其中低于临界误差阈值的扩展可实现指数级可靠性提升,并将其应用于巴塞尔协议SCO60下的代币化实物资产抵押。
作者
Abel Gutu — LedgerWell Corporation 的创始人兼首席执行官。CVR 协议的设计者和架构师。
Robert Stillwell — LedgerWell Corporation 联合创始人兼首席技术官 / DaedArch Corporation 首席执行官。CVR 协议工程基础设施的构建者。
日期
2026年3月
建立在
ethresear.ch/t/23577 · ethresear.ch/t/23609 · MCMC Basel SCO60 论文(2026 年 3 月)ethresear.ch/t/24442
关键词
阈值收敛 · 量子纠错 · 预言机共识 · 相变 · 巴塞尔SCO60 · MCMC · 表面码 · 随机键伊辛模型 · CVR协议 · 分布式验证
抽象的
本文识别并正式刻画了一类分布式信息系统——我们称之为阈值收敛系统。这类系统中,单个参与者的可靠性较低,但存在一个数学上可定义的临界阈值。当参与者的错误率低于该阈值时,增加参与者数量会呈指数级提升系统级可靠性。高于该阈值时,规模会放大噪声;低于该阈值时,规模会呈指数级抑制噪声。我们建立了定义此类系统的四个公理性质:组件的不可靠性、阈值作为相边界的存在性、从不可靠输入中涌现出可靠输出以及在形式上有限的分数范围内具有对抗抵抗能力。
我们证明,这种阈值现象支配着两个独立开发的系统,这两个系统运行在完全不同的物理领域:量子纠错系统(如谷歌量子人工智能的Willow处理器在2024年12月实现的低于阈值的表面码性能所证明的那样)和用于物理资产验证的预言机共识系统(如CVR协议中基于信誉加权贝叶斯融合和马尔可夫链蒙特卡罗收敛保证所实现的那样)。我们推导出了这两个系统之间的形式结构映射,证明量子表面码中的误差抑制因子Λ对应于MCMC收敛预言机网络中的后验可信区间收窄率,量子比特码距离缩放对应于预言机网络缩放,表面码误差阈值对应于预言机偏差阈值。我们进一步将相变结构与Dennis等人建立的二维随机键伊辛模型映射联系起来。对于量子纠错,并证明预言机共识中的 MCMC 遍历机制转变受同一类数学定理支配,这些定理涉及分布式、噪声随机过程何时产生可靠的集体输出。
我们随后证明,这种共享的数学结构具有直接的监管意义:CVR协议预言机网络的阈值收敛特性正是满足巴塞尔银行监管委员会SCO60关于第1a类代币化实物资产“持续基础”分类要求的精确机制。基于MCMC后验可信区间的动态验证折扣,能够根据阈值收敛数学原理计算出持续更新的资本减免,并且该框架支持一种原则性的三类监管分类体系,将阈值收敛验证与非收敛的持续监控和定期审计区分开来。这种映射既是一种分类声明——两个系统属于同一形式数学类别——也是一种预测声明:预言机系统的抑制因子一旦经过实证测量,将展现出与量子系统在硬件上已证明的相同的指数级改进特性。
1. 引言:分布式系统中的阈值现象
2024年12月,谷歌量子人工智能团队在《自然》杂志上发表了研究成果,证明其105量子比特的Willow处理器利用表面码实现了低于阈值的量子纠错[1]。这一成果具有里程碑意义:自1995年Peter Shor提出量子纠错理论以来,近三十年来,该领域的理论一直认为,如果物理量子比特的错误率能够被降低到某个临界阈值以下,那么向逻辑量子比特中添加更多量子比特将呈指数级抑制错误,而不是放大错误。此前所有尝试都未能大规模突破这一界限。Willow成功突破了这一界限,当码距从5增加到7时,错误抑制因子Λ = 2.14 ± 0.02——这意味着规模每增加一步,逻辑错误率就会减半。逻辑量子比特的寿命比其最佳物理量子比特的寿命高出2.4 ± 0.3倍——这无可辩驳地证明了纠错技术正在提升整个系统的性能。
本文提出一个具体论点:谷歌成果所依据的数学结构并非量子纠错所独有。它是一种普遍现象的实例,这种现象支配着一类形式上可表征的分布式系统。我们识别并定义了这类系统——阈值收敛系统——并证明,CVR协议的预言机共识架构(其数学基础已在[2]、[3]和[4]中建立)是同一结构属性在不同的物理领域中的第二个独立实例。
该论断并非类比。我们并非断言CVR协议预言机共识在某种广义上“类似于”量子纠错。我们旨在证明,这两个系统都满足一组共同的数学形式条件,这些条件能够产生相同的定性行为:规模与可靠性之间的关系发生相变,该相变由一个临界阈值控制,低于该阈值,指数级改进在数学上得到保证。这对巴塞尔协议IV中代币化实物资产的抵押具有直接意义:如果能够证明监控实物资产的预言机网络具有阈值收敛特性,则SCO60的“持续基础”验证要求并非通过操作层面的断言,而是通过数学证明来满足。
2. 阈值收敛系统:公理化定义
我们将阈值收敛系统定义为同时满足以下四个公理性质的分布式信息系统。该框架具有很强的通用性:任何满足所有四个性质的系统都属于此类,无论其物理领域如何。
2.1 特性 1:元件不可靠性(噪声公理)
该系统由 n 个独立组件构成,每个组件都会产生观测或计算结果,且每个组件的错误率均为 εᵢ。没有哪个组件是完全可靠的。这比经典的容错模型更为严格,因为经典容错模型通常假设非故障组件的行为完美——在阈值收敛系统中,所有组件都存在噪声,问题在于整体能否从普遍不可靠的输入中提取出可靠的输出。在量子纠错中,组件是物理量子比特,其门错误率源于热噪声、宇宙射线和材料缺陷。在预言机共识中,组件是预言机节点,其偏差源于传感器漂移、通信延迟以及潜在的经济利益驱动下的虚假报告。这两个系统都基于所有输入本质上都存在噪声的前提。
2.2 性质 2:阈值存在(相边界)
存在一个临界阈值ε*,使得组件数量n与集体错误率E(n)之间的关系在ε*处发生质的变化:
对于 εᵢ > ε*:∂E/∂n > 0 — 添加分量会增加集体误差
对于 εᵢ < ε* : E(n) ~ Λ⁻ⁿ — 添加分量会使集体误差呈指数级下降
从统计力学的角度来看,这是一种相变:有序-无序转变,系统在临界点处发生根本性的定性行为改变。该阈值并非调节参数或设计选择,而是系统数学结构的涌现属性。在量子纠错中,Dennis 等人 [5] 证明,表面码阈值与二维随机键伊辛模型的相变完全对应:低于临界错误率时,系统处于有序相,错误被隔离且可纠正;高于临界错误率时,系统进入无序相,错误扩散速度超过纠正速度。在预言机共识中,类似的转变发生在瞬态机制(MCMC 链尚未混合,后验分布被局域模式束缚)和遍历机制(链已收敛,后验分布能够可靠地估计真实物理状态)之间的边界处。
这种联系并非巧合。Dennis 等人的证明确立了二维晶格上的量子纠错与经典统计力学模型的配分函数之间的形式等价性。MCMC 收敛性保证依赖于相同的数学工具——遍历理论和马尔可夫链向平稳分布的收敛性。这两个系统都遵循同一类定理,即分布的、带噪声的随机过程何时能够产生可靠的集体输出。
2.3 特性 3:可组合性(涌现可靠性)
多个不可靠的组件组合成一个逻辑单元,其可靠性超过任何组成部分的可靠性。该逻辑单元继承了阈值以下区域的指数级误差抑制特性。在量子纠错中,物理量子比特组合成逻辑量子比特,其寿命超过任何物理量子比特的相干时间——谷歌在 Willow 上证明了这一点,其相干时间比物理量子比特长 2.4 ± 0.3 倍 [1]。在预言机共识中,各个预言机的读数组合成一个共识后验分布,其不确定性小于任何单个预言机的读数。虽然组合机制不同——前者采用的是表面代码奇偶校验,后者采用的是基于声誉加权的贝叶斯融合——但其涌现特性在结构上是相同的:整体比任何部分都更可靠。
2.4 特性 4:对抗抵抗性(拜占庭鲁棒性)
阈值特性对随机噪声和对抗性篡改均有效,直至达到形式上有限的分数。在量子纠错中,表面码每轮最多可纠正⌊(d-1)/2⌋个任意错误,无论这些错误是随机的还是恶意的。在预言机共识中,拜占庭容错(n ≥ 3f+1)保证了在f个对抗节点下达成正确共识,并通过3σ惩罚阈值进一步强化,使得持续攻击在经济上难以承受。对抗模型的一个关键结构性差异在于,量子退相干是随机的且非策略性的——环境不会优化其干扰——而预言机网络的攻击者则具有经济理性且具有策略性,它们会优化虚假提交以最大化利润并最小化被检测的风险。CVR协议的惩罚机制是博弈论的回应:它使得低于容错阈值的对抗行为在经济上变得不理性。对抗模型的这种差异不会改变阈值收敛特性;在这两种情况下,系统都能容忍低于某个界限的对抗行为,而高于该界限则会失效。
定义:阈值收敛系统是指同时满足性质 1 至 4 的分布式信息系统。临界阈值 ε* 和抑制因子 Λ 是此类系统的两个特征参数。系统属于此类既是一种分类声明,也是一种预测声明:任何满足所有四个性质的系统,在低于其阈值运行时,其可靠性都会呈指数级提升。
3. 作为阈值收敛系统的量子纠错
3.1 表面代码架构
表面码将物理量子比特排列成二维晶格。数据量子比特存储量子信息。辅助量子比特用于测量错误综合征,而不会破坏编码态。码距 d 决定了该码能够纠正的错误数量:距离为 d 的表面码最多可以纠正 ⌊(d-1)/2⌋ 个错误。物理量子比特的数量与 d² 成正比,因此表面码系统可以通过增加参与者来提高复合可靠性。
3.2 阈值定理与伊辛模型的联系
量子纠错的阈值定理指出,如果物理错误率 p 低于临界阈值 pₜₕ,则逻辑错误率 pᴸ 随码距呈指数级下降:
pᴸ ~ (p / pₜₕ)^(⌊d/2⌋),其中 p < pₜₕ
抑制因子 Λ = pₜₕ / p 表征了系统在阈值以下运行的程度:阈值越低,指数抑制速度越快。谷歌的 Willow 使用距离为 3、5 和 7 的表面码演示了 Λ = 2.14 ± 0.02,其中一个 101 量子比特的距离为 7 的码实现了每个周期 0.143% ± 0.003% 的错误率 [1]。
Dennis等人[5]确定了表面码阈值的形式深度,并证明它与二维随机键伊辛模型的相变精确对应。在该映射中,量子比特错误对应于晶格中的键无序,码距对应于系统尺寸,纠错过程对应于寻找无序自旋系统的基态。临界错误率pₜₕ对应于随机键伊辛模型的Nishimori临界点——一个具有已知普适类的精确表征的相边界。该映射表明,表面码阈值不仅仅是一个工程观察结果,而是一个基本的相变,其遵循与描述经典统计力学中有序-无序转变相同的数学规律。
3.3 映射到四个属性
| 财产 | 量子纠错 |
|---|---|
| 1. 噪声公理 | 物理量子比特的门误码率约为0.1%–0.3%。所有量子比特都存在噪声;没有完美组件。 |
| 2. 相界 | 表面代码阈值 pₜₕ ≈ 1%。证明等价于二维随机键伊辛模型的 Nishimori 临界点 [5]。 |
| 3. 可组合性 | 在 Willow 上,逻辑量子比特的寿命比最佳物理量子比特的寿命高 2.4 ± 0.3 倍。Λ = 2.14 ± 0.02。 |
| 4. 拜占庭式稳健性 | 每轮修正⌊(d-1)/2⌋个任意误差。可容忍环境退相干、宇宙射线和材料缺陷。 |
4. CVR协议预言机共识作为一种阈值收敛系统
4.1 Oracle 网络作为隐马尔可夫模型
如[2]和[3]中所述,CVR协议的预言机网络以隐马尔可夫模型的形式运行,其运行状态基于现实世界资产的连续物理状态。预言机节点提交对潜在物理状态Sₜ的观测结果。每个预言机都有一个动态信誉评分R(i,t),该评分由历史准确率、正常运行时间、质押记录和争议记录计算得出。发射概率——即在给定真实物理状态的情况下,预言机读取结果的可能性——服从高斯分布,其方差与信誉成反比:
P(Oₜ | Sₜ) = ∏ 𝓝( o⁽ⁱ⁾ₜ ; Sₜ , σ²ᵢ / R(i,t) )
将 Metropolis-Hastings 算法应用于物理状态和预言机信誉的联合后验分布,可以生成一个马尔可夫链,其平稳分布即为目标后验分布。遍历定理保证了收敛性:随着共识轮数的增加,状态的任何函数的样本均值都会收敛到其真实后验期望,且具有可量化的不确定性。
4.2 多维阈值曲面
CVR协议实施了多个阈值,这些阈值共同定义了一个多维阈值曲面,将收敛区域与非收敛区域分隔开来。3σ削减阈值会拒绝偏离后验共识超过三个标准差的预言机提交——这对应于在诚实报告情况下后验概率小于0.0027。Gelman-Rubin R-hat诊断要求在任何共识轮次作为已验证证据记录提交之前,所有并行MCMC链的R-hat均小于1.05。300基点偏差警报会在源节点发散超过自动处理边界时触发人工干预升级。拜占庭容错要求至少需要n≥3f+1个诚实节点。
这些并非相互独立的阈值。它们在预言机网络运行的参数空间中构成了一个多维阈值曲面。在该曲面以下——当单个预言机的偏差率在3σ范围内、收敛性诊断得到满足、源一致性在300个基点以内,且诚实节点与对抗节点的比率超过拜占庭界限时——系统处于遍历状态,并表现出指数抑制特性。在该曲面以上,系统处于瞬态状态:MCMC链尚未混合,后验分布尚未收敛,且增加预言机节点并不能提高可靠性。这与伊辛模型相变直接类似:在西森临界点以下,错误可纠正,系统有序;在临界点以上,系统无序。
4.3 低于阈值的指数后验分布收窄
关键数学结果:在多维阈值曲面以下,向共识网络中添加预言节点会以由声誉加权的费舍尔信息决定的速率缩小真实物理状态的后验可信区间。对于 n 个在偏差阈值以下运行且声誉为 R(i,t) 的预言节点,95% 后验可信区间的宽度按以下比例缩放:
CI_width(n) ~ 1 / √( Σ R(i,t) / σ²ᵢ )
随着节点的增加,复合观测的有效精度提高,可信区间缩小。收窄速度由声誉加权和决定,该加权和会放大高声誉节点的贡献并抑制低声誉节点。当网络运行在阈值以下(所有节点均在 3σ 范围内,R-hat < 1.05)时,这种收窄速度由预言机抑制因子 Λ_oracle 表征,该因子与表面码中的错误抑制因子 Λ 直接类似。
Fisher 信息缩放机制连接了独立观测的经典 √n 收敛速度和阈值收敛系统特有的指数抑制特性。在低于阈值的状态下,声誉加权将有效信息集中在高质量节点上,同时通过“惩罚”机制逐步排除低质量节点。当网络低于阈值时,有效预言机数量 n_eff(即声誉加权对 Fisher 信息的贡献)的增长速度快于原始节点数量,因为声誉奖励会随着持续准确的节点而累积。这种加速增长正是预言机网络产生阈值收敛行为的机制。
4.4 映射到四个属性
| 财产 | CVR Oracle 共识 |
|---|---|
| 1. 噪声公理 | Oracle 节点存在因传感器漂移、延迟和经济激励等因素导致的偏差。所有节点均存在噪声。 |
| 2. 相界 | 多维:3σ偏差,R-hat < 1.05,300bp发散,拜占庭n ≥ 3f+1。瞬态/遍历状态转变。 |
| 3. 可组合性 | 共识后验不确定性 < 任何单个预言机的读数。后验收窄由 Λ_oracle 控制。 |
| 4. 拜占庭式稳健性 | 有利益支撑的削减使得对抗行为在经济上变得非理性。n ≥ 3f+1 拜占庭容忍度。 |
5. 结构同构
下表列出了两个系统之间的形式对应关系。这些对应关系是结构上的同一性:量子列中的每个元素在量子纠错中扮演的数学角色,与预言机列中对应的元素在预言机共识中扮演的角色相同。
| 数学角色 | 量子纠错 | CVR Oracle 共识 |
|---|---|---|
| 单个组件 | 物理量子比特 | Oracle 节点 |
| 组件错误源 | 热噪声、宇宙射线、材料缺陷 | 传感器漂移、延迟、经济数据误报 |
| 组成逻辑单元 | 逻辑量子比特(表面代码补丁) | 共识后验(MCMC链) |
| 组成机制 | 表面码奇偶校验 | 基于声誉加权的贝叶斯融合 |
| 尺度参数 | 代码距离 d | 有效预言机数量 n_eff |
| 综合误差指标 | 逻辑错误率 pᴸ | 后验可信区间宽度 CI_width |
| 临界阈值 | 表面代码阈值 pₜₕ | 多维:R-hat / 3σ / 拜占庭 |
| 抑制因子 | Λ = 2.14 ± 0.02(柳树,实测值) | Λ_oracle(理论值;实证值预计在 2026 年第三季度) |
| 低于阈值的行为 | pᴸ ~ Λ⁽⁻⌊d/2⌋⁾ | CI_width ~ Λ_oracle⁽⁻n_eff⁾ |
| 高于阈值的行为 | 量子比特越多,逻辑错误率越高 | 更多神谕 = 更宽的后部 |
| 对抗模型 | 随机的、非策略性的退相干 | 经济理性的策略性虚假报道 |
| 容错界限 | 修正 ⌊(d-1)/2⌋ 任意误差 | n ≥ 3f+1 个诚实节点 |
| 可组合性证明 | 逻辑寿命 > 物理寿命(倍数 2.4±0.3) | 后验不确定性 < 任何预言读数 |
| 收敛保证 | 阈值定理[5] | MCMC遍历定理 |
| 相变模型 | 二维随机键伊辛模型[5] | 瞬态/遍历状态转变 |
| 可测量的诊断 | Λ 来自连续 d 次的逻辑错误率 | 来自平行 MCMC 链的 R-hat |
| 由……证明 | Google Willow,2024 年 12 月 [1] | CVR协议[2][3][4];经验性预测2026年第三季度 |
5.1 信息论联系
在信息论层面,这两个系统执行的是相同的基本操作:它们利用结构冗余,从一组不可靠的观测数据中提取出可靠的信号。在量子纠错中,冗余是空间性的——多个物理量子比特编码一个逻辑量子比特。在预言机共识中,冗余既是空间性的(多个预言机节点观测到相同的物理状态),也是时间性的(多轮共识观测到相同的演化状态)。表面码使用奇偶校验测量来检测错误,而无需使编码状态崩溃。MCMC算法使用Metropolis-Hastings接受率,根据观测值与后验分布的一致性对其进行加权,而无需直接观测真实的物理状态。这两种机制都实现了相同的数学效果:它们将概率质量集中在正确的状态上,同时分散到错误的状态上,在临界阈值以下具有指数级的效率。
5.2 关键洞察:阈值状态,而非节点数量
这种结构同构性带来了一个关键的操作性洞见,它对监管和工程有着直接的影响:阈值才是验证可靠性的决定性因素,而非参与者的原始数量。一个由20个预言机节点组成的网络,如果其运行在收敛阈值以上(R-hat > 1.05),其验证置信度会低于一个由7个预言机节点组成的网络(R-hat < 1.05),因为无论有多少节点参与,超过阈值的网络的后验分布都无法收敛。这与量子计算的情况完全吻合:谷歌早期的Sycamore处理器拥有可用于表面码的量子比特,但其运行在阈值以上,导致逻辑错误率随着码距的增加而恶化。而Willow处理器拥有更高保真度的量子比特,其运行在阈值以下,并立即展现出指数级的错误抑制能力。关键问题不在于“有多少节点?”,而在于“是否低于阈值?”。这一洞见同样适用于欧盟碳移除认证框架(CRCF)的监测要求——阈值条件,而非监测频率,决定了验证的可信度。
6. 对巴塞尔协议IV抵押品的影响
6.1 将“持续经营”重新定义为一项门槛条件
巴塞尔协议SCO60要求银行“持续”评估第1a类资产的分类条件[6]。此前的解读将其视为一项治理要求——定期审计、委员会审查和鉴证计划。阈值收敛框架表明,“持续”具有数学定义:阈值收敛验证网络持续低于阈值运行。如果CVR协议的预言机网络在其多维阈值曲面以下运行——R-hat < 1.05,个体偏差在3σ以内,源一致性在300个基点以内,满足拜占庭容差——那么指数抑制特性保证了实物资产状态的后验可信区间会随着每一轮共识的进行而缩小。“持续”的要求并非通过定期重新验证来满足,而是通过一个数学收敛性可由遍历定理证明的系统的持续运行来满足。
6.2 动态验证折扣作为阈值收敛输出
[4] 中引入的动态验证折扣 Dᵥₑᵣ(t) 形式上是阈值收敛性质的函数。后验不确定性比率 PURₜ = (Uₜ − Lₜ) / V 衡量后验可信区间相对于名义资产价值的宽度。验证折扣 Dᵥₑᵣ(t) = Dₘₐₓ × (1 − PURₜ / PURₘₐₓ) 是 PURₜ 的递减函数。完整的风险权重公式如下:
RWAᶜᵛᴿ(t) = 暴露量 × 风险权重 × (1 − Dₘₐₓ × (1 − PURₜ / PURₘₐₓ))
在阈值收敛框架下,PURₜ 并非预言机数据质量的任意函数,而是一个其改进率由同一类数学定理(即量子纠错定理)保证的量。在阈值收敛的预言机网络中,只要网络运行在阈值以下,PURₜ 就会随着有效预言机数量 n_eff 和共识轮数的增加而降低,其降低速率由 Λ_oracle 表征。因此,验证折扣是阈值收敛系统的数学输出,可以使用与量子计算研究人员用来表征其纠错码相同的形式化方法进行审计。机构持有代币化实物资产所获得的资本减免是预言机网络阈值收敛特性的直接且可计算的结果,而非监管谈判的结果。
6.3 三类监管分类法
该框架使监管机构能够根据客观、可审计的标准区分三种验证类别:
| 班级 | 验证类型 | 数学表征 | 监管处理 |
|---|---|---|---|
| 1a | 连续阈值收敛 | R-hat < 1.05 维持;Λ_oracle 特征化;n_eff ≥ 最小值 | SCO60 第 1a 组全部权益;动态验证折扣 |
| 1b | 连续不收敛 | 持续监测但未达到 R-hat < 1.05 的目标值;后验分布未收敛。 | 部分认可;风险权重较高 |
| 2 | 定期审计 | 仅进行瞬时验证;不进行收敛性诊断 | 标准抵押品处理;无验证折扣 |
这种分类方法为区分持续验证的资产和定期审计的资产提供了一个客观、可审计的依据——这种区分在以往的监管框架中一直难以实现。对于银行监管机构而言,相关的问题不是“有多少预言机验证这项资产?”或“这项资产多久审计一次?”,而是“预言机网络的运行是否低于收敛阈值,以及测得的抑制因子是多少?”
6.4 监管审计能力
阈值收敛框架为监管机构提供了可审计、可量化的指标,用于评估验证质量。银行合规官可以获得以下信息:R-hat 诊断结果,确认运行低于阈值;抑制因子 Λ_oracle,展示后验不确定性如何随网络规模的扩大而降低;当前共识轮次的后验可信区间宽度;以及由此产生的 PUR 和验证折扣。这些是 MCMC 链的数学输出,而非治理声明。任何有权访问链上证据记录的各方均可对其进行审计。量子计算研究人员可以验证 Willow 的运行低于表面代码阈值,而巴塞尔协议合规官同样可以利用同样的数学推理来验证 CVR 协议预言机网络的运行低于其收敛阈值。
7. 区别、不对称性和局限性
结构映射虽然精确,但并不全面。出于学术诚信,必须承认几个重要的区别,以避免对形式上的对应关系过度解读。
7.1 严格阈值与诊断阈值
量子纠错阈值是一个经过严格证明的数学界限,对于每个码族都有精确的数值,这是通过 Dennis 等人将其映射到随机键伊辛模型 [5] 而建立的。预言机收敛阈值——R-hat < 1.05——是一个实用的诊断指标,具有强大的经验支持和 MCMC 收敛理论的理论基础 [7],但它并非相同形式意义上的已证明的清晰相变边界。这种不对称性是真实存在的,并且不会随着论证的进行而减弱。因此,该映射既是一个分类断言——两个系统都满足四个公理性质——也是一个预测断言:预言机系统的阈值一旦通过生产部署数据进行形式化表征,并可能通过映射到类似于 Dennis 等人的统计力学模型,就会展现出与量子系统已展现的相同的清晰相变。将 R-hat 诊断提升为已证明的相变边界是本文提出的最高优先级的开放性研究问题。
7.2 实证论证与理论论证
谷歌已在物理量子硬件上通过实验数据验证了低于阈值的操作,测得 Λ = 2.14 ± 0.02 [1]。CVR 协议的阈值收敛特性已通过 MCMC 遍历定理和声誉加权贝叶斯融合的性质在理论上得到证实。预言机抑制因子 Λ_oracle 尚未在生产部署中进行测量。这种不对称性是真实存在的。理论框架提供了阈值收敛特性存在的数学证明及其显现的条件。来自生产部署的实证数据将提供特定配置的测量抑制因子和校准阈值曲面。CVR 协议部署中信用发放前的 90 天预热期将产生首个实证校准数据集。
7.3 离散状态空间与连续状态空间
表面码运行于具有明确码距的离散二维量子比特晶格上。预言机共识运行于物理资产参数的连续状态空间上。阈值现象在离散系统和连续系统中表现不同:在离散系统中,抑制因子Λ可以直接从连续码距下的逻辑错误率测量;在连续系统中,Λ_oracle必须通过连续预言机网络配置下后验可信区间收窄的速率来估计。结构特性——低于临界边界的指数级改进——不受维度差异的影响,但测量方法不同。在连续参数空间中形式化地刻画多维阈值曲面的几何形状仍然是一个开放的数学问题。
7.4 相关故障
MCMC框架依赖于关于预言机独立性和发射概率的特定概率假设。预言机节点间的相关故障(例如共享基础设施、常见传感器缺陷、相关的环境条件)可能会比模型当前预测的更有效地违反独立性假设。量子力学中类似的现象是相关的错误事件:谷歌的Willow实验发现,重复码中的错误抑制最终受限于大约每小时发生一次的罕见相关事件[1]。相关故障是系统在名义上低于阈值的情况下表现得如同高于阈值的主要机制。理解和缓解相关故障对于在阈值收敛机制下运行的量子纠错和预言机共识都至关重要。
8. 开放性问题和合作邀请
该框架开辟了多个研究方向。我们诚邀以太坊研究社区、量子信息社区、分布式系统社区以及监管和风险管理社区的专家学者参与合作。
- 对预言机收敛相变进行形式化证明。将 R-hat < 1.05 诊断提升为类似于表面码阈值的已证明相边界,是目前优先级最高的开放性问题。最有前景的方法是:将预言机信誉动态映射到统计力学模型——可能是 Dennis 等人 [5] 使用的随机键伊辛模型——从而能够应用相同的证明技术。成功将使预言机框架从“统计鲁棒性”转变为“数学同构”,并在收敛证明层面实现量子纠错。
- 对 Λ_oracle 进行实证校准。来自 CVR 协议预言机网络的生产部署数据将能够直接测量后验概率收窄率与预言机数量和共识轮数的关系。关键问题:如何设计最佳实验方案以最小的统计不确定性测量 Λ_oracle?Λ_oracle 如何随状态空间维度变化?能否通过部署前模拟预测 Λ_oracle?首个实证数据集来自 CVR 协议的生产部署试运行期。
- 跨域阈值收敛系统。第 2 节中的公理化定义特意采用了通用方法。我们推测,阈值收敛行为不仅出现在量子纠错和预言机共识中,还出现在其他分布式系统中,例如具有噪声参与者更新的联邦学习系统、多传感器融合网络、具有概率最终性的共识协议以及去中心化预测市场。识别出更多实例将更有力地证明阈值收敛是分布式信息系统的基本属性,而非两种特定架构之间的巧合。一个通用的理论将确定任意分布式系统中阈值收敛行为的充要条件。
- 有限规模标度和时间阈值动态。发展预言机网络的有限规模标度理论,以预测小型网络(n < 30)的阈值行为并外推至渐近行为。研究随着预言机声誉更新和物理资产状态变化,阈值如何随时间演变:系统是否存在滞后现象?它能否双向跨越阈值?什么样的权益水平能够保证理性对手无法迫使网络超过阈值?
- 监管认可方法。我们正在开发用于阈值收敛验证的监管评估方法,包括模型验证标准、用于验证R-hat长期维持情况的审计程序、阈值边界条件的压力测试框架以及跨司法管辖区的认可协议。我们正在寻找巴塞尔协议合规官、银行风险团队和学术界合作者来共同开发此方法。我们注意到,欧盟碳移除认证框架(CRCF,欧盟法规2024/3012)为土壤碳农业的阈值收敛验证提供了直接的监管框架——CRCF对碳移除的“持续基础”监测要求与SCO60的“持续基础”分类要求在结构上完全相同,并且两者都通过相同的低于阈值的收敛保证来满足。欧洲碳农业峰会(ECFS26,由 CREDIBLE 项目联盟根据欧盟拨款协议 101112951 组织)及其相关的 MRV、认证和数据协调焦点小组,是推进金融监管和环境认证框架之间监管协调的天然场所。
- 通过交易承载定理对阈值条件进行形式化验证。 [2] 中引用的 TCT 提案为智能合约逻辑提供了设计层面的安全验证。将形式化验证应用于惩罚机制、信誉动态和共识协议,证明它们正确实现了阈值收敛特性,将为监管机构接受预言机收敛保证提供最有力的证据。
9. 结论
本文证明,谷歌的低于阈值量子纠错结果与CVR协议的MCMC收敛预言机共识所遵循的数学结构是相同的:规模与可靠性关系中的相变,由一个临界阈值控制,低于该阈值则保证指数级改进。我们将这种结构形式化为一类——阈值收敛系统——由量子纠错和预言机共识各自独立满足的四个公理性质定义。二者之间的联系远不止结构类比:这两个系统都遵循同一类数学定理,这些定理描述了分布式、噪声随机过程何时能够产生可靠的集体输出,其中表面码阈值在形式上等价于经典统计力学中的相变。
巴塞尔协议IV对代币化实物资产抵押的影响是直接的。SCO60对第1a类代币化资产的“持续基础”分类要求,即对实物资产状态进行持续验证。CVR协议预言机网络的阈值收敛特性为这种持续验证提供了数学上的收敛保证——这种保证与大规模量子计算得以实现的保证属于同一类别。基于MCMC后验可信区间的动态验证折扣,将这种收敛性转化为可计算的资本减免,并在每次共识轮次中随着后验区间的收窄而更新。三级监管分类体系为监管机构提供了一个客观、可审计的框架,用于区分阈值收敛验证和其他较弱的替代方案。
本文的贡献在于认识到阈值收敛并非量子系统独有的属性,而是分布式信息系统这一可形式化定义的类别所共有的属性。谷歌已证明其适用于量子纠错,CVR协议则证明了其适用于物理资产验证。数学结构并不关心物理领域,它关注的是各个参与者的错误率、组合机制以及临界阈值之间的关系。低于阈值时,规模是优势;高于阈值时,规模则成为劣势。构建阈值收敛系统的艺术——无论是在量子硬件、预言机网络,还是在任何需要将不可靠组件组合成可靠输出的领域——都在于如何将系统控制在阈值以下并保持在该水平。
谷歌证明的使规模化量子计算可行的同一数学原理——低于临界阈值的指数误差抑制——也是使 CVR 协议的连续物理资产验证可证明收敛的原理,并且是巴塞尔协议 IV 下正式证据标准的数学基础。
参考
- Google Quantum AI (2024)。低于表面码阈值的量子纠错。 《自然》 。2024 年 12 月 9 日。Willow 处理器,105 个量子比特,Λ = 2.14 ± 0.02。
- Gutu, A. (2025). 提案:一种用于降低 RWA 抵押品风险权重的连续可验证现实 (CVR) 框架。以太坊研究,ethresear.ch/t/23577。2025 年 12 月 1 日。
- Gutu, A. (2025). ProofLedger:基于 ProofLedger 文档的核心原则和数学框架。以太坊研究,ethresear.ch/t/23609。2025 年 12 月 4 日。
- Gutu, A. 和 Stillwell, R. (2026)。马尔可夫链蒙特卡罗方法作为巴塞尔协议 SCO60 第 1a 组代币化实物资产验证的计算引擎。LedgerWell 公司,2026 年 3 月。
- Dennis, E., Kitaev, AY, Landahl, A. & Preskill, J. (2002). 拓扑量子存储器.数学物理杂志, 43, 4452–4505。
- 巴塞尔银行监管委员会(2022 年,2024 年修订版)。加密资产风险敞口的审慎处理——SCO60。国际清算银行。实施日期:2026 年 1 月 1 日。
- Gelman, A. & Rubin, DB (1992). 使用多个序列进行迭代模拟的推断。统计科学,7(4),457–472。
- Shor, PW (1995). 减少量子计算机存储器退相干的方案。物理评论 A ,52(4),R2493。
- Metropolis, N., Rosenbluth, AW, Rosenbluth, MN, Teller, AH & Teller, E. (1953). 利用快速计算机进行状态方程计算。化学物理杂志,21(6), 1087–1092。
- Hastings, WK (1970). 使用马尔可夫链的蒙特卡罗抽样方法及其应用。Biometrika,57(1),97-109。
Abel Gutu · LedgerWell Corporation 创始人兼首席执行官。
Robert Stillwell · LedgerWell Corporation 联合创始人兼首席技术官 / DaedArch Corporation 首席执行官
ledgerwell.io
CVR协议数学框架系列——CVR数学框架系列出版物之四(共四篇)。同时提交至arXiv。
积极寻求对阈值表征、跨域实例化、伊辛模型映射和监管校准方法的反馈。





