
閾值收斂系統:規範量子糾錯與巴塞爾協議IV下實體資產驗證及抵押預言機共識的共同數學結構
本文識別了一類分佈式系統,當其規模在低於臨界錯誤閾值時會產生指數級的可靠性提升,並將量子糾錯與實體資產代幣化的預言機共識聯繫起來。這項研究論證了該數學框架如何透過 CVR 協議滿足巴塞爾協議 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
關鍵詞
閾值收斂 (threshold convergence) · 量子糾錯 (quantum error correction) · 預言機共識 (oracle consensus) · 相變 (phase transition) · 巴塞爾 SCO60 · MCMC · 表面碼 (surface code) · 隨機鍵伊辛模型 (random-bond Ising model) · CVR 協議 · 分佈式驗證
摘要
本文識別並正則化表徵了一類分佈式資訊系統——我們稱之為「閾值收斂系統」(threshold-convergent systems)。在該系統中,單個參與者是不可靠的,但存在一個數學上可定義的臨界閾值,當參與者的錯誤率低於該閾值時,增加更多參與者將使系統級可靠性產生指數級提升。在閾值之上,規模會放大噪聲;在閾值之下,規模會指數級地抑制噪聲。我們確立了定義此類系統的四個公理化屬性:組件不可靠性、作為相位邊界的閾值存在性、從不可靠輸入中湧現出可靠輸出的可組合性,以及在形式化邊界內的對抗抗性。
我們證明了這種閾值現象支配著兩個在完全不同物理領域運行的獨立開發系統:量子糾錯(如 Google Quantum AI 的 Willow 處理器在 2024 年 12 月實現的低於閾值的表面碼性能所示)以及用於實體資產驗證的預言機共識(如 CVR 協議中具有馬可夫鏈蒙地卡羅 (MCMC) 收斂保證的信譽加權貝氏融合所實現的)。我們推導出這兩個系統之間的形式化結構映射,確立了量子表面碼中的錯誤抑制因子 Λ 對應於 MCMC 收斂預言機網絡中的後驗信賴區間縮小率;量子位元代碼距離擴展對應於預言機網絡擴展;表面碼錯誤閾值對應於預言機偏差閾值。我們進一步將相變結構連接到 Dennis 等人為量子糾錯建立的二維隨機鍵伊辛模型映射,並展示預言機共識中的 MCMC 遍歷機制轉變受同一類關於分佈式、多噪聲、隨機過程何時產生可靠集體輸出的數學定理所支配。
隨後,我們證明了這種共享的數學結構具有直接的監管意義:CVR 協議預言機網絡的閾值收斂特性,正是滿足巴塞爾銀行監管委員會 SCO60 關於第一類 a (Group 1a) 代幣化實體資產「持續性基礎」(ongoing basis) 分類要求的精確機制。從 MCMC 後驗信賴區間推導出的動態驗證折扣提供了可根據閾值收斂數學計算的持續更新資本緩解,該框架實現了一個有原則的三類監管分類法,將閾值收斂驗證與非收斂的持續監測和定期審計區分開來。這種映射既是一個分類主張(兩個系統屬於同一個形式數學類別),也是一個預測性主張:預言機系統的抑制因子一旦經過實證測量,將展現出與量子系統已在硬體上證明的相同的指數級改進特性。
1. 引言:分佈式系統中的閾值現象
2024 年 12 月,Google Quantum AI 在《自然》(Nature) 雜誌上發表結果,證明其 105 量子位元的 Willow 處理器已使用表面碼實現了低於閾值的量子糾錯 [1]。這一結果具有歷史意義:自 1995 年 Peter Shor 引入量子糾錯以來的近三十年裡,該領域一直理論化地認為,如果物理量子位元的錯誤率能被推到臨界閾值以下,那麼為邏輯量子位元增加更多量子位元將指數級地抑制錯誤而非放大錯誤。此前所有在大規模上跨越這一邊界的嘗試均告失敗。Willow 跨越了它,在將代碼距離從 5 增加到 7 時,展示了 Λ = 2.14 ± 0.02 的錯誤抑制因子——這意味著規模每提升一級,邏輯錯誤率就會減半。邏輯量子位元的壽命超過了其最佳物理量子位元 2.4 ± 0.3 倍——這是一個不可造假的證明,表明糾錯正在改善整個系統。
本文提出一個特定的主張:使 Google 的結果奏效的數學結構並非量子糾錯所獨有。它是一個通用現象的實例,支配著一類可形式化表徵的分佈式系統。我們識別並定義了這一類別——閾值收斂系統——並證明 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:可組合性(湧現可靠性)
多個不可靠組件組合成一個單一的邏輯單元,其可靠性超過任何組成部分。邏輯單元繼承了低於閾值機制的指數級錯誤抑制。在量子糾錯中,物理量子位元組合成邏輯量子位元,其壽命超過任何物理量子位元的相干時間——Google 在 Willow 上以 2.4 ± 0.3 的因子證明了這一點 [1]。在預言機共識中,單個預言機讀數組合成共識後驗,其不確定性小於任何單個預言機的讀數。組合機制不同——表面碼奇偶校驗與信譽加權貝氏融合——但湧現屬性在結構上是相同的:整體比任何部分都更可靠。
2.4 屬性 4:對抗抗性(拜占庭魯棒性)
閾值屬性在隨機噪聲和對抗性破壞下均成立,直至形式化定義的邊界比例。在量子糾錯中,表面碼每輪可修正高達 ⌊(d-1)/2⌋ 個任意錯誤,無論是隨機的還是惡意的。在預言機共識中,拜占庭容錯 (n ≥ 3f+1) 保證了在存在 f 個對抗節點的情況下共識正確,並通過 3-sigma 削減 (slashing) 閾值進行強化,使持續攻擊在經濟上令人望而卻步。對抗模型中的一個關鍵結構差異是量子退相干是隨機且非策略性的——環境不會優化其干擾——而預言機網絡對抗者是經濟理性的且具策略性的,會優化虛假提交以在最小化檢測風險的同時最大化利潤。CVR 協議的削減機制是博弈論的回應:它使低於容錯邊界的對抗行為在經濟上變得不理性。對抗模型的這種差異不會改變閾值收斂屬性;在兩種情況下,系統在低於邊界時容忍對抗行為,在高於邊界時失效。
定義: 閾值收斂系統是同時滿足屬性 1 至 4 的分佈式資訊系統。臨界閾值 ε* 和抑制因子 Λ 是任何此類系統的兩個特徵參數。一個系統在該類別中的成員身份既是一個分類主張,也是一個預測性主張:任何滿足所有四個屬性的系統在低於其閾值運行時,都將展現出指數級的可靠性提升。
3. 作為閾值收斂系統的量子糾錯
3.1 表面碼架構
表面碼將物理量子位元排列在二維晶格中。數據量子位元存儲量子資訊。輔助量子位元測量錯誤校驗子 (error syndromes) 而不塌縮編碼狀態。代碼距離 d 決定了代碼可以修正的錯誤數量:距離為 d 的表面碼可以修正多達 ⌊(d-1)/2⌋ 個錯誤。物理量子位元的數量隨 d² 縮放,使表面碼成為一個通過增加參與者來提高複合可靠性的系統。
3.2 閾值定理與伊辛模型連接
量子糾錯的閾值定理指出,如果物理錯誤率 p 低於臨界閾值 pₜₕ,則邏輯錯誤率 pᴸ 隨代碼距離呈指數級下降:
對於 p < pₜₕ,pᴸ ~ (p / pₜₕ)^(⌊d/2⌋)
抑制因子 Λ = pₜₕ / p 表徵了系統在閾值以下運行的程度:越低於閾值,指數級抑制越快。Google 的 Willow 使用距離為 3、5 和 7 的表面碼展示了 Λ = 2.14 ± 0.02,其中 101 量子位元的距離-7 代碼實現了每週期 0.143% ± 0.003% 的錯誤率 [1]。
表面碼閾值的形式化深度由 Dennis 等人 [5] 確立,他們證明其精確對應於二維隨機鍵伊辛模型的相變。在這種映射中,量子位元錯誤對應於晶格中的鍵紊亂 (bond disorders),代碼距離對應於系統尺寸,糾錯過程對應於尋找紊亂自旋系統的基態。臨界錯誤率 pₜₕ 對應於隨機鍵伊辛模型的 Nishimori 臨界點——一個具有已知普適類 (universality class) 的精確表徵相位邊界。這種映射確立了表面碼閾值不僅僅是一個工程觀察,而是一個由描述經典統計力學中有序-無序轉變的相同數學所支配的根本相變。
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 作為隱馬可夫模型的預言機網絡
如 [2] 和 [3] 中所規定的,CVR 協議的預言機網絡在現實世界資產的連續物理狀態上作為隱馬可夫模型 (Hidden Markov Model) 運行。預言機節點提交對潛在物理狀態 Sₜ 的觀察。每個預言機都有一個動態信譽分數 R(i,t),根據歷史準確性、在線時間、質押和爭議歷史計算得出。發射概率 (emission probability)——即給定真實物理狀態下預言機讀數的可能性——是一個高斯分佈,其變異數與信譽成反比:
P(Oₜ | Sₜ) = ∏ 𝓝( o⁽ⁱ⁾ₜ ; Sₜ , σ²ᵢ / R(i,t) )
應用於物理狀態和預言機信譽聯合後驗的 Metropolis-Hastings 演算法產生一個馬可夫鏈,其平穩分佈即為目標後驗。遍歷定理保證了收斂性:隨著共識輪次的增加,狀態任何函數的樣本均值都會收斂到其具有量化不確定性的真實後驗期望值。
4.2 多維閾值曲面
CVR 協議實施了多個閾值,共同定義了一個區分收斂機制與非收斂機制的多維閾值曲面。3-sigma 削減閾值會拒絕與共識後驗偏差超過三個標準差的預言機提交——這對應於誠實報告下小於 0.0027 的後驗概率。Gelman-Rubin R-hat 診斷要求並行 MCMC 鏈之間的 R-hat < 1.05,然後才能將任何共識輪次提交為已驗證的證據記錄。300 個基點 (bps) 的偏差警報在源頭發散超過自動處理邊界時觸發人工介入升級。拜占庭容錯要求強制執行 n ≥ 3f+1 個誠實節點。
這些並非獨立的閾值。它們構成了預言機網絡運行參數空間中的一個多維閾值曲面。在該曲面之下——當單個預言機偏差率在 3-sigma 範圍內、滿足收斂診斷、源頭一致性在 300 個基點以內且誠實與對抗比例超過拜占庭邊界時——系統處於遍歷機制並展現出指數級抑制屬性。在曲面之上,系統處於瞬態機制:MCMC 鏈未混合,後驗未收斂,增加預言機節點並不能提高可靠性。這是伊辛模型相變的直接類比:在 Nishimori 臨界點之下,錯誤是可修正的且系統是有序的;在臨界點之上,系統是無序的。
4.3 閾值之下的指數級後驗縮小
關鍵數學結果:在多維閾值曲面之下,向共識網絡增加預言機節點會縮小真實物理狀態上的後驗信賴區間,其速率受信譽加權費雪資訊 (Fisher information) 支配。對於 n 個均在偏差閾值以下運行且信譽為 R(i,t) 的預言機節點,95% 後驗信賴區間的寬度縮放為:
CI_width(n) ~ 1 / √( ∑ R(i,t) / σ²ᵢ )
隨著節點的增加,複合觀察的有效精度提高,信賴區間縮小。縮小速率受信譽加權和支配,該權和放大了高信譽節點的貢獻並抑制了低信譽節點。當網絡在閾值以下運行(所有節點在 3-sigma 內,R-hat < 1.05)時,這種縮小以預言機抑制因子 Λ_oracle 表徵的速率進行,這與表面碼中的錯誤抑制因子 Λ 直接類比。
費雪資訊縮放提供了獨立觀察的經典 √n 收斂速率與閾值收斂系統特有的指數級抑制之間的橋樑。在低於閾值的機制中,信譽權重將有效資訊集中在高質量節點中,同時通過削減逐步排除低質量節點。有效預言機計數 n_eff——對費雪資訊的信譽加權貢獻——在網絡低於閾值時增長速度快於原始節點計數,因為信譽獎勵會為持續準確的節點產生複利效應。這種加速是在預言機網絡中產生閾值收斂行為的機制。
4.4 映射至四個屬性
| 屬性 | CVR 預言機共識 |
|---|---|
| 1. 噪聲公理 | 預言機節點具有來自傳感器漂移、延遲、經濟動機的偏差特徵。所有節點均多噪聲。 |
| 2. 相位邊界 | 多維:3-sigma 偏差、R-hat < 1.05、300bp 發散、拜占庭 n ≥ 3f+1。瞬態/遍歷機制轉變。 |
| 3. 可組合性 | 共識後驗不確定性 < 任何單個預言機讀數。後驗縮小受 Λ_oracle 支配。 |
| 4. 拜占庭魯棒性 | 以質押為基礎的削減使對抗行為在經濟上不理性。n ≥ 3f+1 拜占庭容錯。 |
5. 結構同構性
下表展示了兩個系統之間的形式對應關係。這些是結構恆等式:量子列中的每個元素在量子糾錯中所扮演的數學角色,與預言機列中對應元素在預言機共識中所扮演的角色相同。
| 數學角色 | 量子糾錯 | CVR 預言機共識 |
|---|---|---|
| 單個組件 | 物理量子位元 | 預言機節點 |
| 組件錯誤源 | 熱噪聲、宇宙射線、材料缺陷 | 傳感器漂移、延遲、經濟誤報 |
| 組合邏輯單元 | 邏輯量子位元 (表面碼區塊) | 共識後驗 (MCMC 鏈) |
| 組合機制 | 表面碼奇偶校驗 | 信譽加權貝氏融合 |
| 規模參數 | 代碼距離 d | 有效預言機計數 n_eff |
| 複合錯誤指標 | 邏輯錯誤率 pᴸ | 後驗信賴區間寬度 CI_width |
| 臨界閾值 | 表面碼閾值 pₜₕ | 多維:R-hat / 3σ / 拜占庭 |
| 抑制因子 | Λ = 2.14 ± 0.02 (Willow, 已測) | Λ_oracle (理論值;2026 Q3 實測) |
| 低於閾值行為 | 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 Q3 實測 |
5.1 資訊理論連接
在資訊理論層面,兩個系統執行相同的基本操作:通過利用結構化冗餘,從一組不可靠的觀察中提取可靠信號。在量子糾錯中,冗餘是空間性的——多個物理量子位元編碼一個邏輯量子位元。在預言機共識中,冗餘既是空間性的(多個預言機節點觀察同一物理狀態),也是時間性的(多個共識輪次觀察同一演化狀態)。表面碼使用奇偶校驗測量來檢測錯誤而不塌縮編碼狀態。MCMC 演算法使用 Metropolis-Hastings 接受率根據觀察與後驗的一致性對其進行加權,而無需直接觀察真實物理狀態。兩種機制實現了相同的數學效果:它們將概率質量集中在正確狀態上,同時將其從錯誤狀態中分散出去,在臨界閾值之下具有指數級效率。
5.2 關鍵洞察:閾值狀態而非節點數量
結構同構性產生了一個具有直接監管和工程意義的關鍵洞察:閾值是決定驗證可靠性的決定性因素,而非參與者的原始數量。一個在收斂閾值之上運行的 20 節點預言機網絡 (R-hat > 1.05) 提供的驗證信心,低於一個在閾值之下運行的 7 節點預言機網絡 (R-hat < 1.05),因為無論有多少節點貢獻,高於閾值網絡的後驗都是不收斂的。這精確地映射到量子案例:Google 早期的 Sycamore 處理器雖然有用於表面碼的量子位元,但在閾值之上運行,導致邏輯錯誤率隨代碼距離增加而惡化。具有更高保真度量子位元的 Willow 跨越到了閾值之下,並立即展示了指數級錯誤抑制。重要的問題不是「有多少?」,而是「你是否在閾值之下?」。這一洞察同樣適用於歐盟碳移除認證框架 (CRCF) 的監測要求——閾值條件而非監測頻率決定了驗證的可信度。
6. 對巴塞爾協議 IV 抵押化的影響
6.1 將「持續性基礎」重新定義為閾值條件
巴塞爾 SCO60 要求銀行在「持續性基礎」上評估第一類 a (Group 1a) 分類條件 [6]。之前的解釋將其視為治理要求——定期審計、委員會審查、證明時間表。閾值收斂框架證明了「持續性基礎」具有數學定義:閾值收斂驗證網絡的持續低於閾值運行。如果 CVR 協議的預言機網絡在其多維閾值曲面之下運行——維持 R-hat < 1.05、單個偏差在 3-sigma 內、源頭一致性在 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 Group 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 實證證明與理論證明
Google 已在物理量子硬體上實證了低於閾值的運行,從實驗數據中測得 Λ = 2.14 ± 0.02 [1]。CVR 協議的閾值收斂屬性是從 MCMC 遍歷定理和信譽加權貝氏融合的屬性中理論建立的。預言機抑制因子 Λ_oracle 尚未在生產部署中測量。這種不對稱性是真實存在的。理論框架提供了閾值收斂屬性存在及其表現條件的數學證明。來自生產部署的實證數據將為特定配置提供測得的抑制因子和校準的閾值曲面。CVR 協議部署中信用發行前的 90 天試運行期 (burn-in period) 將產生第一個實證校準數據集。
7.3 離散與連續狀態空間
表面碼在具有明確代碼距離的離散二維量子位元晶格上運行。預言機共識在實體資產參數的連續狀態空間上運行。閾值現象在離散與連續系統中的表現不同:在離散情況下,抑制因子 Λ 可以直接從連續代碼距離的邏輯錯誤率中測量;在連續情況下,Λ_oracle 必須從連續預言機網絡配置中後驗信賴區間縮小的速率來估計。結構屬性——臨界邊界以下的指數級改進——在維度差異中得以保留,但測量方法論有所不同。在連續參數空間中形式化表徵多維閾值曲面的幾何形狀仍然是一個開放的數學問題。
7.4 相關性故障
MCMC 框架依賴於關於預言機獨立性和發射概率的特定概率假設。預言機節點之間的相關性故障——共享基礎設施、共同的傳感器缺陷、相關的環境條件——可能比模型目前預期的更有效地違反獨立性假設。量子類比是相關錯誤事件:Google 的 Willow 實驗發現,重複碼中的錯誤抑制最終受到大約每小時發生一次的罕見相關事件的限制 [1]。相關性故障是名義上低於閾值的系統表現得像是在閾值之上的主要機制。理解和減輕相關性故障對於在閾值收斂機制下運行的量子糾錯和預言機共識都至關重要。
8. 開放問題與合作邀請
該框架開啟了多個研究方向。我們邀請來自以太坊研究社群、量子資訊社群、分佈式系統社群以及監管和風險管理社群的合作。
-
預言機收斂相變的形式化證明。 將 R-hat < 1.05 診斷提升為類似於表面碼閾值的已證明相位邊界是最高優先級的開放問題。最可行的方法:將預言機信譽動態映射到統計力學模型——可能是 Dennis 等人使用的隨機鍵伊辛模型 [5]——從而應用相同的證明技術。成功將使預言機框架從「統計魯棒」轉變為在收斂證明層面上與量子糾錯「數學同構」。
-
Λ_oracle 的實證校準。 來自 CVR 協議預言機網絡的生產部署數據將允許直接測量後驗縮小率作為預言機計數和共識輪次計數的函數。關鍵問題:以最小統計不確定性測量 Λ_oracle 的最佳實驗設計是什麼?Λ_oracle 如何隨狀態空間維度變化?是否可以從部署前模擬中預測 Λ_oracle?第一個實證數據集將從 CVR 協議的生產部署試運行期獲得。
-
跨領域閾值收斂系統。 第 2 節中的公理化定義具有普適性。我們推測閾值收斂行為出現在量子糾錯和預言機共識之外的其他分佈式系統中,包括具有多噪聲參與者更新的聯邦學習系統、多傳感器融合網絡、具有概率終局性的共識協議以及去中心化預測市場。識別更多實例將加強閾值收斂是分佈式資訊系統的基本屬性而非兩個特定架構之間巧合的論點。通用理論將確定任意分佈式系統中閾值收斂行為的必要和充分條件。
-
有限尺寸縮放與時間閾值動態。 為預言機網絡開發有限尺寸縮放理論,以預測小網絡 (n < 30) 中的閾值行為並外推至漸近行為。研究閾值如何隨預言機信譽更新和實體資產狀態變化而隨時間演化:系統是否表現出遲滯現象 (hysteresis)?它是否可以雙向跨越閾值?什麼樣的質押水平能保證理性對抗者無法迫使網絡超過閾值?
-
監管認可方法論。 為閾值收斂驗證開發監管評估方法論:模型驗證標準、驗證 R-hat 隨時間維持的審計程序、閾值邊界條件的壓力測試框架以及跨司法管轄區的認可協議。我們正在尋求巴塞爾合規官、銀行風險團隊和學術合作者來開發這一方法論。我們注意到,歐盟碳移除認證框架 (CRCF, Regulation EU 2024/3012) 為土壤碳耕作的閾值收斂驗證提供了一個直接的監管背景——CRCF 對碳移除的「持續性基礎」監測要求在結構上與 SCO60 的「持續性基礎」分類要求相同,兩者都由相同的低於閾值收斂保證所滿足。歐洲碳耕作峰會 (ECFS26) 及其相關的 MRV、認證和數據協調焦點小組是推進金融監管與環境認證框架之間這種監管對齊的自然場所。
-
通過交易攜帶定理 (TCT) 對閾值條件進行形式化驗證。 [2] 中提到的 TCT 提案為智能合約邏輯提供了設計級的安全驗證。對削減機制、信譽動態和共識協議應用形式化驗證——證明它們正確實現了閾值收斂屬性——將為監管機構接受預言機收斂保證提供最強有力的證據。
9. 結論
本文證明了支配 Google 低於閾值量子糾錯結果與 CVR 協議 MCMC 收斂預言機共識的數學結構是相同的:規模與可靠性之間關係的相變,受臨界閾值支配,在閾值之下,指數級的改進得到保證。我們將這一結構正則化為一個類別——閾值收斂系統——由量子糾錯和預言機共識各自獨立滿足的四個公理化屬性定義。這種聯繫比結構類比更深:兩個系統都受同一類關於分佈式、多噪聲、隨機過程何時產生可靠集體輸出的數學定理所支配,表面碼閾值在形式上等同於經典統計力學相變。
這對巴塞爾協議 IV 下代幣化實體資產的抵押化具有直接影響。SCO60 對第一類 a 代幣化資產的「持續性基礎」分類要求需要對實體資產狀態進行持續驗證。CVR 協議預言機網絡的閾值收斂特性通過數學收斂保證提供了這種持續驗證——這與使規模化量子計算可行的保證屬於同一類別。從 MCMC 後驗信賴區間推導出的動態驗證折扣將這種收斂轉化為可計算的資本緩解,並隨著後驗縮小在每個共識輪次更新。三類監管分類法為監管機構提供了一個客觀、可審計的框架,用於區分閾值收斂驗證與較弱的替代方案。
本文的貢獻在於認識到閾值收斂並非量子系統獨有的屬性。它是可形式化定義的分佈式資訊系統類別的一個屬性。Google 證明了它適用於量子糾錯。CVR 協議證明了它適用於實體資產驗證。數學結構不在乎物理領域。它在乎單個參與者錯誤率、組合機制與臨界閾值之間的關係。在閾值之下,規模是你的盟友;在閾值之上,規模是你的敵人。工程化閾值收斂系統的藝術——無論是在量子硬體中、在預言機網絡中,還是在任何必須將不可靠組件組合成可靠輸出的領域中——就是進入閾值之下並保持在那裡的藝術。
Google 證明的使規模化量子計算可行的相同數學原理——臨界閾值之下的指數級錯誤抑制——正是使 CVR 協議的持續實體資產驗證可證明收斂的原理,也是巴塞爾協議 IV 下形式化證據標準的數學基礎。
參考文獻
-
Google Quantum AI (2024). Quantum error correction below the surface code threshold. Nature. December 9, 2024. Willow processor, 105 qubits, Λ = 2.14 ± 0.02.
-
Gutu, A. (2025). Proposal: A Continuous Verifiable Reality (CVR) Framework for Reducing RWA Collateral Risk Weights. Ethereum Research, ethresear.ch/t/23577. December 1, 2025.
-
Gutu, A. (2025). ProofLedger: Core Tenets and Mathematical Framework Based on ProofLedger Documentation. Ethereum Research, ethresear.ch/t/23609. December 4, 2025.
-
Gutu, A. & Stillwell, R. (2026). Markov Chain Monte Carlo as the Computational Engine for Basel SCO60 Group 1a Tokenized Physical Asset Verification. LedgerWell Inc. March 2026.
-
Dennis, E., Kitaev, A.Y., Landahl, A. & Preskill, J. (2002). Topological quantum memory. Journal of Mathematical Physics, 43, 4452–4505.
-
Basel Committee on Banking Supervision (2022, rev. 2024). Prudential treatment of cryptoasset exposures — SCO60. BIS. Implementation date: 1 January 2026.
-
Gelman, A. & Rubin, D.B. (1992). Inference from iterative simulation using multiple sequences. Statistical Science, 7(4), 457–472.
-
Shor, P.W. (1995). Scheme for reducing decoherence in quantum computer memory. Physical Review A, 52(4), R2493.
-
Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H. & Teller, E. (1953). Equation of State Calculations by Fast Computing Machines. Journal of Chemical Physics, 21(6), 1087–1092.
-
Hastings, W.K. (1970). Monte Carlo sampling methods using Markov chains and their applications. Biometrika, 57(1), 97–109.
Abel Gutu · LedgerWell Corporation 創始人兼執行長。
Robert Stillwell · LedgerWell Corporation 聯合創始人兼技術長。/ DaedArch Corporation 執行長。
CVR 協議數學框架系列 — CVR 數學框架序列 4 篇中的第 4 篇。同時提交至 arXiv。
積極尋求關於閾值表徵、跨領域實例、伊辛模型映射以及監管校準方法論的反饋。