閾值收斂系統——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

關鍵詞
閾值收斂 · 量子糾錯 · 預言機共識 · 相變 · 巴塞爾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. 開放性問題和合作邀請

該框架開闢了多個研究方向。我們誠邀以太坊研究社區、量子信息社區、分佈式系統社區以及監管和風險管理社區的專家學者參與合作。

  1. 對預言機收斂相變進行形式化證明。將 R-hat < 1.05 診斷提升為類似於表面碼閾值的已證明相邊界,是目前優先級最高的開放性問題。最有前景的方法是:將預言機信譽動態映射到統計力學模型——可能是 Dennis 等人 [5] 使用的隨機鍵伊辛模型——從而能夠應用相同的證明技術。成功將使預言機框架從“統計魯棒性”轉變為“數學同構”,並在收斂證明層面實現量子糾錯。
  2. 對 Λ_oracle 進行實證校準。來自 CVR 協議預言機網絡的生產部署數據將能夠直接測量後驗概率收窄率與預言機數量和共識輪數的關係。關鍵問題:如何設計最佳實驗方案以最小的統計不確定性測量 Λ_oracle?Λ_oracle 如何隨狀態空間維度變化?能否通過部署前模擬預測 Λ_oracle?首個實證數據集來自 CVR 協議的生產部署試運行期。
  3. 跨域閾值收斂系統。第 2 節中的公理化定義特意採用了通用方法。我們推測,閾值收斂行為不僅出現在量子糾錯和預言機共識中,還出現在其他分佈式系統中,例如具有噪聲參與者更新的聯邦學習系統、多傳感器融合網絡、具有概率最終性的共識協議以及去中心化預測市場。識別出更多實例將更有力地證明閾值收斂是分佈式信息系統的基本屬性,而非兩種特定架構之間的巧合。一個通用的理論將確定任意分佈式系統中閾值收斂行為的充要條件。
  4. 有限規模標度和時間閾值動態。發展預言機網絡的有限規模標度理論,以預測小型網絡(n < 30)的閾值行為並外推至漸近行為。研究隨著預言機聲譽更新和物理資產狀態變化,閾值如何隨時間演變:系統是否存在滯後現象?它能否雙向跨越閾值?什麼樣的權益水平能夠保證理性對手無法迫使網絡超過閾值?
  5. 監管認可方法。我們正在開發用於閾值收斂驗證的監管評估方法,包括模型驗證標準、用於驗證R-hat長期維持情況的審計程序、閾值邊界條件的壓力測試框架以及跨司法管轄區的認可協議。我們正在尋找巴塞爾協議合規官、銀行風險團隊和學術界合作者來共同開發此方法。我們注意到,歐盟碳移除認證框架(CRCF,歐盟法規2024/3012)為土壤碳農業的閾值收斂驗證提供了直接的監管框架——CRCF對碳移除的“持續基礎”監測要求與SCO60的“持續基礎”分類要求在結構上完全相同,並且兩者都通過相同的低於閾值的收斂保證來滿足。歐洲碳農業峰會(ECFS26,由 CREDIBLE 項目聯盟根據歐盟撥款協議 101112951 組織)及其相關的 MRV、認證和數據協調焦點小組,是推進金融監管和環境認證框架之間監管協調的天然場所。
  6. 通過交易承載定理對閾值條件進行形式化驗證。 [2] 中引用的 TCT 提案為智能合約邏輯提供了設計層面的安全驗證。將形式化驗證應用於懲罰機制、信譽動態和共識協議,證明它們正確實現了閾值收斂特性,將為監管機構接受預言機收斂保證提供最有力的證據。

9. 結論

本文證明,谷歌的低於閾值量子糾錯結果與CVR協議的MCMC收斂預言機共識所遵循的數學結構是相同的:規模與可靠性關係中的相變,由一個臨界閾值控制,低於該閾值則保證指數級改進。我們將這種結構形式化為一類——閾值收斂系統——由量子糾錯和預言機共識各自獨立滿足的四個公理性質定義。二者之間的聯繫遠不止結構類比:這兩個系統都遵循同一類數學定理,這些定理描述了分佈式、噪聲隨機過程何時能夠產生可靠的集體輸出,其中表面碼閾值在形式上等價於經典統計力學中的相變。

巴塞爾協議IV對代幣化實物資產抵押的影響是直接的。SCO60對第1a類代幣化資產的“持續基礎”分類要求,即對實物資產狀態進行持續驗證。CVR協議預言機網絡的閾值收斂特性為這種持續驗證提供了數學上的收斂保證——這種保證與大規模量子計算得以實現的保證屬於同一類別。基於MCMC後驗可信區間的動態驗證折扣,將這種收斂性轉化為可計算的資本減免,並在每次共識輪次中隨著後驗區間的收窄而更新。三級監管分類體系為監管機構提供了一個客觀、可審計的框架,用於區分閾值收斂驗證和其他較弱的替代方案。

本文的貢獻在於認識到閾值收斂並非量子系統獨有的屬性,而是分佈式信息系統這一可形式化定義的類別所共有的屬性。谷歌已證明其適用於量子糾錯,CVR協議則證明了其適用於物理資產驗證。數學結構並不關心物理領域,它關注的是各個參與者的錯誤率、組合機制以及臨界閾值之間的關係。低於閾值時,規模是優勢;高於閾值時,規模則成為劣勢。構建閾值收斂系統的藝術——無論是在量子硬件、預言機網絡,還是在任何需要將不可靠組件組合成可靠輸出的領域——都在於如何將系統控制在閾值以下並保持在該水平。

谷歌證明的使規模化量子計算可行的同一數學原理——低於臨界閾值的指數誤差抑制——也是使 CVR 協議的連續物理資產驗證可證明收斂的原理,並且是巴塞爾協議 IV 下正式證據標準的數學基礎。


參考

  1. Google Quantum AI (2024)。低於表面碼閾值的量子糾錯。 《自然》 。2024 年 12 月 9 日。Willow 處理器,105 個量子比特,Λ = 2.14 ± 0.02。
  2. Gutu, A. (2025). 提案:一種用於降低 RWA 抵押品風險權重的連續可驗證現實 (CVR) 框架。以太坊研究,ethresear.ch/t/23577。2025 年 12 月 1 日。
  3. Gutu, A. (2025). ProofLedger:基於 ProofLedger 文檔的核心原則和數學框架。以太坊研究,ethresear.ch/t/23609。2025 年 12 月 4 日。
  4. Gutu, A. 和 Stillwell, R. (2026)。馬爾可夫鏈蒙特卡羅方法作為巴塞爾協議 SCO60 第 1a 組代幣化實物資產驗證的計算引擎。LedgerWell 公司,2026 年 3 月。
  5. Dennis, E., Kitaev, AY, Landahl, A. & Preskill, J. (2002). 拓撲量子存儲器.數學物理雜誌, 43, 4452–4505。
  6. 巴塞爾銀行監管委員會(2022 年,2024 年修訂版)。加密資產風險敞口的審慎處理——SCO60。國際清算銀行。實施日期:2026 年 1 月 1 日。
  7. Gelman, A. & Rubin, DB (1992). 使用多個序列進行迭代模擬的推斷。統計科學,7(4),457–472。
  8. Shor, PW (1995). 減少量子計算機存儲器退相干的方案。物理評論 A ,52(4),R2493。
  9. Metropolis, N., Rosenbluth, AW, Rosenbluth, MN, Teller, AH & Teller, E. (1953). 利用快速計算機進行狀態方程計算。化學物理雜誌,21(6), 1087–1092。
  10. Hastings, WK (1970). 使用馬爾可夫鏈的蒙特卡羅抽樣方法及其應用。Biometrika,57(1),97-109。

Abel Gutu · LedgerWell Corporation 創始人兼首席執行官。
Robert Stillwell · LedgerWell Corporation 聯合創始人兼首席技術官 / DaedArch Corporation 首席執行官
ledgerwell.io

CVR協議數學框架系列——CVR數學框架系列出版物之四(共四篇)。同時提交至arXiv。
積極尋求對閾值表徵、跨域實例化、伊辛模型映射和監管校準方法的反饋。


來源
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
70
收藏
10
評論