马尔可夫链蒙特卡罗方法作为巴塞尔协议SCO60第1a组代币化实物资产验证的计算引擎

基于CVR协议连续预言机共识架构的一流代币化资产生成数学框架

作者
Abel Gutu — LedgerWell Inc. 的创始人兼首席执行官，CVR 协议的设计者和架构师。
Robert Stillwell — LedgerWell Inc. 联合创始人兼首席技术官 / DaedArch Corporation 首席执行官。CVR 协议工程基础设施的构建者。

日期
2026年3月

建立在
ethresear.ch/t/23577 · ethresear.ch/t/23609

关键词
马尔可夫链蒙特卡罗 (MCMC) · 贝叶斯融合 · 预言机共识 · 巴塞尔协议 SCO60 · 第一组 (Group 1a) · RWA 代币化 · CVR 协议 · 隐马尔可夫模型

抽象的

本文引入马尔可夫链蒙特卡罗（MCMC）作为计算引擎，使CVR协议中基于声誉加权的贝叶斯预言机共识机制能够在机构层面上有效运作。文章证明，该引擎是生成符合巴塞尔银行监管委员会SCO60第1a组分类条件的代币化实物资产所需的精确数学机制。CVR协议的预言机网络（其数学基础已在[1]和[2]中建立）构成了一个隐马尔可夫模型（HMM），该模型运行于现实世界资产的连续物理状态之上。MCMC，特别是应用于预言机声誉后验分布的Metropolis-Hastings算法，提供了可直接映射到SCO60“持续基础”分类要求的收敛性保证。我们从MCMC后验可信区间推导出验证折扣量化方法，扩展了[1]中引入的巴塞尔风险权重公式以纳入完整的后验不确定性，并证明只有满足我们收敛条件的持续监控且抗对抗的预言机网络才能生成同时满足SCO60第一组a分类所有四个条件的代币化实物商品索赔。本文以埃塞俄比亚合作碳农业部署CVR协议为例进行主要实证分析。

1. 引言和动机

巴塞尔银行监管委员会于2022年12月最终确定了加密资产审慎监管标准（SCO60），并于2024年7月进行了修订，将于2026年1月1日全面实施。该标准建立了一个四级分类体系，其中第一类（1a）代币化传统资产——即赋予与其实物对应物具有同等法律权利的资产——将继承基础资产的资本待遇，而非像未分类加密资产那样面临1250%的风险权重。对于代币化实物商品（例如碳信用额、农产品和土地）而言，第一类（1a）分类决定了其能否成为可行的机构资产类别，还是会陷入监管困境。

对于代币化实物资产而言，第一类资产（1a类）分类的关键障碍并非法律结构，而是持续验证。SCO60要求银行“持续”评估分类条件，代币化资产“赋予与传统实物商品所有权账户记录同等的法律权利”，并且网络“不会对可转让性、结算最终性或可赎回性构成实质性风险”。对于价值取决于不断变化的现实世界条件（例如土壤碳固存、树冠完整性、供应链溯源）的实物资产而言，满足这些条件需要一个数学框架，用于持续、抗对抗的实物状态验证。迄今为止，尚未有针对区块链预言机系统的此类框架被正式提出。

本文提供了这样一个框架。它直接基于文献[1]中提出的预言机信誉模型和三层架构，以及文献[2]中CVR协议的数学规范。我们证明，这些论文中使用的信誉加权贝叶斯融合是应用于预言机可靠性后验分布的MCMC的一个具体实例，并且MCMC的遍历定理提供了收敛性保证，使得连续物理资产验证在数学上可证明，而不仅仅是断言。

核心论点：由 MCMC 收敛的 CVR 协议预言机网络持续监控底层状态的代币化实物资产满足 SCO60 第一组 a 类分类的所有四个条件。其风险加权资产价值可根据 MCMC 后验可信区间计算，而非根据应用于未经验证加密资产的 1250% 默认权重计算。

2. CVR协议作为一种隐马尔可夫模型

2.1 状态空间定义

设资产在 t 时刻的真实物理状态为潜在变量 Sₜ，该变量无法直接观测。对于碳农业合作社而言，Sₜ 是一个物理变量向量：

物理状态矢量——不可直接观测

Sₜ = (Cₜ, Wₜ, Bₜ, Pₜ)

其中，Cₜ 为土壤碳储量（吨二氧化碳当量/公顷），Wₜ 为地下水位深度（米），Bₜ 为边界完整性（二元），Pₜ 为冠层密度分数。观测变量为每次共识轮次中 Oracle 传感器提交的数据：

可观测预言机提交 — 第 t 轮

Oₜ = { o⁽1⁾ₜ, o⁽²⁾ₜ, …, o⁽ⁿ⁾ₜ }

发射概率——即在真实物理状态下任何给定预言机读数的可能性——被建模为高斯分布，并由预言机的声誉得分 R(i,t) 进行缩放，如 [1] 所示：

排放概率——声誉方差缩放

P(Oₜ | Sₜ) = Π N( o⁽ⁱ⁾ₜ ; Sₜ, σ²ⁱ / R(i,t) )

这是将[1]中的信誉公式转换为统计上一致的似然加权方案的正式机制。高信誉预言机的发射方差较低——它们的读数被认为更接近真实的物理状态。低信誉预言机的发射方差较高——它们的读数会按比例降低其可靠性。

2.2 状态转移动力学和马尔可夫性质

实物资产状态的演变遵循马尔可夫转移概率。从 Sₜ 到 Sₜ₊₁ 的转移仅取决于当前状态，而与资产如何达到当前状态的历史无关：

马尔可夫性质——无记忆状态转换

P(Sₜ₊₁ | Sₜ, Sₜ₋₁, …, S₁) = P(Sₜ₊₁ | Sₜ)

这并非对物理碳动态的近似描述，而是正确的模型。下个月的土壤碳储量取决于本月的储量、当前的管理措施和季节。它与三年前的储量无关，除非通过当前状态来反映。因此，隐马尔可夫模型是用于连续物理资产监测的精确数学结构，而非为了计算便利而强加的简化模型。

2.3 滤波问题——为什么需要 MCMC

核心计算挑战是滤波问题：给定截至时间 t 的预言机观测序列，真实物理状态 Sₜ 的后验分布是什么？

贝叶斯滤波器更新方程

P(Sₜ | O₁,…,Oₜ) = [ P(Oₜ | Sₜ) · P(Sₜ | O₁,…,Oₜ₋₁) ] / P(Oₜ | O₁,…,Oₜ₋₁)

分母——观测值的边际似然——需要对所有可能的物理状态进行积分。当状态空间连续且发射概率为非高斯分布时（例如现场物联网传感器数据不可避免地如此），该积分在解析上是难以处理的。这正是马尔可夫链蒙特卡罗 (MCMC) 方法旨在解决的问题：从一个无法解析评估但其非归一化密度可以逐点计算的分布中抽取样本。

为什么共轭先验不足以解决问题：碳封存动态是非高斯的、多维的，并且由于传感器故障和极端天气事件，会表现出重尾异常值行为。使用共轭先验的闭式贝叶斯更新并不适用。MCMC 并非计算上的便利——它是大规模解决此类推断问题的唯一数学上正确的方法。

3. MCMC 应用于 CVR 协议预言机共识

3.1 用于 Oracle 信誉的 Metropolis-Hastings 算法

Metropolis-Hastings (MH) 算法构建一个马尔可夫链，其平稳分布等于目标后验分布。应用于 CVR 协议时，目标分布是基于当前共识轮次提交结果，对真实物理资产状态和所有预言机信誉评分的联合后验分布：

目标后验分布——状态和声誉的联合分布

π(Sₜ, R | Oₜ) ∝ P(Oₜ | Sₜ, R) · P(Sₜ | Sₜ₋₁) · P(R | Rₜ₋₁)

从 (S, R) 到 (S*, R*) 的提议移动的 MH 接受概率为：

大都会-黑斯廷斯接受率

α = min( 1, [ π(S*, R* | Oₜ) · q(S,R | S*,R*) ] / [ π(S,R | Oₜ) · q(S*,R* | S,R) ] )

关键特性：该比率无需计算难以处理的归一化常数 P(Oₜ | O₁:ₜ₋₁)。MH 算法仅处理未归一化后验概率的比率，使得对于具有多种传感器类型的大型预言机网络，过滤问题在计算上易于处理。正是这种算法桥梁使得 CVR 协议的预言机经济模型能够在机构规模上部署。

3.2 遍历定理——收敛性保证

遍历定理是使 MCMC 可用于推断的基本收敛结果。对于不可约、非周期、正递归马尔可夫链，无论初始状态如何，链上任何函数的平均值都会在平稳分布下收敛到其期望值：

遍历定理——MCMC大数定律

(1/N) · Σ (k=1 至 N) f(θₖ) → E₍π₎[f(θ)] 为 N → Infini

应用于CVR协议：随着预言机共识轮次的增加，预言机状态的任何函数（包括估计的土壤碳储量、已验证的无毁林概率或地下水位深度）的样本均值都会收敛到其在物理状态和预言机信誉联合分布下的真实后验期望值。CVR协议不会收敛到点估计值，而是收敛到真实物理资产状态的完整后验分布，并具有量化的不确定性。

CVR协议的惩罚机制和信誉底线满足了不可约性条件：任何持续提交有偏读数的预言机最终都会被降至最低信誉，但不会被永久排除——这确保了区块链能够达到所有可能的物理状态。连续值物理状态空间保证了非周期性。碳储量和环境参数的有限物理边界保证了正向递归性。

监管语言中的收敛性保证： MCMC遍历定理提供了数学证明，CVR协议预言机网络在足够多的共识轮次运行后，能够生成经验证的物理资产状态估计值，该估计值会收敛到真实的后验概率——其不确定性界限以可信区间表示。这是SCO60 1a组分类所要求的持续监控保证。

3.3 3-Sigma阈值作为贝叶斯可信区间检验

[1] 和 [2] 中的 3σ 削减阈值现在可以在 MCMC 框架内进行正式解释。舍弃 M 次预热迭代后，MCMC 链生成 N 个真实资产状态的后验样本。3σ 边界是贝叶斯可信区间的拒绝域：

3-Sigma阈值——贝叶斯可信区间检验

如果出现以下情况，则拒绝 Oracle i： o⁽ⁱ⁾ₜ - E₍π₎[Sₜ | Oₜ] | > 3 · √(Var₍π₎[Sₜ | Oₜ])

如果预言机在当前后验概率下如实报告，则超出此边界的读数发生的后验概率小于 0.0027。因此，对于 3σ 偏差，15% 的赌注削减是对提交与后验共识统计不一致的证据的一种经济上合理的惩罚。对于经密码学证明为虚假的数据，20% 的赌注削减是对于在诚实报告下后验概率为零的事件的最大惩罚。两种惩罚之间的不对称性正确地反映了证据的信息含量：统计上的不概率比密码学证明的恶意行为应受到更小的惩罚。

4. 将 MCMC 收敛性与巴塞尔协议 SCO60 组 1a 联系起来

SCO60 规定了代币化资产必须始终满足的四个分类条件，才能符合 1a 组的资格。我们将每个条件映射到 MCMC 收敛 CVR 协议的一个具体的、可验证的属性。

5. 利用 MCMC 后验不确定性扩展风险权重公式

5.1 原始验证折扣模型

在[1]中，巴塞尔风险权重公式通过静态验证折扣Dᵥₑᵣ进行了扩展：

原始验证折扣公式 — [1]

RWAᶜᵛᴿ = 风险敞口 · 风险权重 · (1 - Dᵥₑᵣ)

基于持续的商品监测证据，Dᵥₑᵣ 的估计值为 20-50%。本文将 Dᵥₑᵣ 形式化为 MCMC 后验可信区间宽度的函数，从而提供了一种原则性强、可审计且动态更新的验证折扣，而非静态估计。

5.2 动态后验验证折扣

设资产状态 Sₜ 的 95% 后验可信区间为 [Lₜ, Uₜ]，该可信区间由 N 个后试 MCMC 样本得出。定义后验不确定性比率 (PUR) 为可信区间宽度与资产名义价值 V 的比值：

后验不确定性比率——动态变化，每轮共识均变化

PURₜ = (Uₜ - Lₜ) / V

验证折扣是 PUR 的递减函数——不确定性越低，折扣越高：

动态验证折扣——基于MCMC方法

Dᵥₑᵣ(t) = Dₘₐₓ · ( 1 - PURₜ / PURₘₐₓ )

其中，Dₘₐₓ 为监管框架下可获得的最大折扣（根据 [1] 校准为 40-60%），PURₘₐₓ 为零折扣对应的 PUR 值——即未经核实的静态年度审计的不确定性水平。因此，完整的动态巴塞尔协议-MCMC 风险权重公式为：

完整动态巴塞尔协议-MCMC风险权重公式

RWAᶜᵛᴿ(t) = 暴露量 · 风险权重 · ( 1 - Dₘₐₓ · ( 1 - PURₜ / PURₘₐₓ ) )

该公式对机构投资者意味着什么：验证折扣不再是监管谈判的结果，而是马尔可夫链蒙特卡罗（MCMC）链的数学输出。在每一轮共识中，后验可信区间会根据传感器的一致性而缩小或扩大，资本要求也会相应调整。这是持续的资本优化，而非周期性的重新评估。

5.3 数值示例——埃塞俄比亚碳合作社

以下示例使用埃塞俄比亚某咖啡合作社站点在第一阶段 CVR 协议部署下的预计参数值（4 种物联网传感器类型，n=7 个预言机节点）。所示的 PUR 值是部署前的估计值，将从 2026 年第三季度开始使用第一阶段传感器数据进行经验校准：

6. 制度部署的趋同条件

MCMC收敛性保证在实践中需要满足特定条件。以下是CVR协议预言机网络满足遍历定理并因此生成符合1a组代币化资产要求的最低部署要求。

7. 埃塞俄比亚合作网络——实证基础

CVR协议第一阶段部署的目标是覆盖埃塞俄比亚的47个农业合作社站点——从2026年第二季度开始，首先在5个合作社站点启动，最终扩展到全部47个站点的网络——这为MCMC框架提供了实证基础。埃塞俄比亚于2025年6月发布了《国家碳市场战略（2025-2035）》[11]，为第6.2条规定的双边转移、第6.4条规定的机制参与以及自愿参与碳市场奠定了政策框架。CVR协议的部署正是在此国家战略框架内进行的。每个站点都在一个四维物理状态空间上实例化一个包含7个预言机的Metropolis-Hastings链，并在每次物联网传感器共识轮次中进行更新。

7.1 先验分布

关于实物资产状态的先验信息基于政府间气候变化专门委员会（IPCC）现有的埃塞俄比亚高原和东非大裂谷农业生态区的土壤碳数据，并辅以农业部“绿色遗产倡议”488亿棵树木种植计划的实地调查数据。该先验信息并非单一不变——它融合了来自全球最大规模植树造林计划的真实领域知识，使得第一轮共识后得到的后验可信区间比基于简单无信息的先验信息更为紧密。

先行地点 — 绿色遗产倡议校准

P(S₀) = N(μ₍GLI₎, Σ₍GLI₎)

其中 μ₍GLI₎ 是该地点农业生态区的平均碳储量，Σ₍GLI₎ 是 GLI 调查数据的区域内方差。

7.2 信贷发放条件

当 MCMC 后验分布同时满足以下三个条件时，就会发生碳信用发行事件：

信用发放条件——这三项条件必须同时满足。

L⁽⁹⁵⁾ₜ > C₍baseline₎ + δ₍min₎ AND R-hat < 1.05 AND chain_length > N₍min₎

其中，C₍baseline₎ 为项目基准碳储量，δ₍min₎ 为最小可验证增量，N₍min₎ 为最小老化后样本计数。所有三个条件必须同时满足，信用额度发放事件才能被记录到区块链上。

7.3 EUDR供应链应用

同样的 MCMC 框架也适用于 EUDR 供应链核查，只是状态空间有所调整。欧盟森林砍伐条例（EU Deforestop Regulation，简称 EUDR）经 2025 年 12 月通过的 (EU) 2025/2650 号条例修订后，将于 2026 年 12 月 30 日起适用于大型经营者。对于埃塞俄比亚咖啡而言——该国 92% 的土地面积小于 0.5 公顷，且大多属于非正式土地所有权——MCMC 后续验证可提供该条例尽职调查声明所要求的持续合规性证据：

EUDR 物理状态向量

S⁽ᴱᵁᴰᴿ⁾ₜ = (Fₜ, Lₜ, Tₜ, Wₜ)

其中，Fₜ 代表耕作区域的无毁林状态，Lₜ 代表经 GPS 验证的地块标识，Tₜ 代表作物类型和收获时间戳，Wₜ 代表加工设施的合规状态。基于物联网传感器提交数据和卫星边界验证结果，持续更新的该状态向量的 MCMC 后验分布，可随时生成欧盟《森林砍伐条例》要求的尽职调查声明——并非定期审计报告，而是持续维护的供应链合规性后验概率分布。

8. 解决 SCO60 无需许可的区块链障碍

SCO60 为公共无需许可区块链上的资产设置了重大障碍：分类条件 3 和 4 实际上要求对节点验证者进行监管，这对于以太坊开放的验证者集合而言在实践中难以实现。巴塞尔委员会在最初的标准中就承认了这一局限性，并已着手积极重新审议：在 2025 年 11 月于墨西哥城举行的会议上，委员会同意加快对加密资产标准特定要素的专项审查，2026 年 2 月的更新确认了这项审查正在取得进展。

MCMC 收敛框架提供了一条突破这一障碍的途径，因为它区分了 SCO60 中混淆的两个截然不同的功能：结算最终性（由以太坊验证者提供）和物理状态验证（由 CVR 协议预言机网络提供）。预言机节点负责做出物理验证声明，而以太坊验证者则处理记录这些声明的交易。这些是可分离的功能，应受到不同的监管对待。

预言机网络——即对实体资产状态做出声明的实体，受经济约束、声誉质押和量化惩罚机制的约束，并在埃塞俄比亚的部署中接受主权政府的监管——构成了SCO60条件4中针对验证层所要求的“适当的风险管理标准”。MCMC收敛性证明强化了这一论点，因为它使预言机网络的可靠性可量化：银行的合规官可以获得R-hat诊断值、Gelman-Rubin统计量、预热期和后验可信区间——所有这些都是MCMC链的可审计输出。

监管论点：以太坊底层为代币化资产提供结算最终性，它并非实物资产验证风险的来源。CVR协议预言机网络——经济约束、信誉门控且符合MCMC收敛标准——构成了SCO60条件4所要求的实物验证层可量化的风险管理标准。

9. 开放性问题和合作邀请

这一框架开辟了多个研究方向，有助于加强数学基础和监管论证。我诚邀以太坊研究社区就以下各个方面展开合作。

1. 针对高维状态空间的哈密顿蒙特卡罗方法。随着CVR协议部署扩展到多传感器、多作物协作网络，Metropolis-Hastings采样器可能会出现混合速度缓慢的问题。哈密顿蒙特卡罗方法利用后验几何的梯度信息，提出能够更高效地遍历状态空间的移动策略。
2. 用于实时滤波的序列蒙特卡罗方法。MH方法是一种批量 MCMC 方法，每次达成共识都需要多次迭代。序列蒙特卡罗（粒子滤波）方法在每次收到预言机提交结果时递归地更新后验分布，无需多次迭代。
3. 校准验证折扣以获得巴塞尔协议的监管认可。动态 Dᵥₑᵣ(t) 公式需要通过经验校准 Dₘₐₓ 和 PURₘₐₓ，并获得实施 SCO60 的监管机构的监管认可。
4. 通过交易承载定理 (TCT) 对惩罚机制进行形式化验证。文献[1] 中引用的 TCT 提案为智能合约逻辑提供了设计级安全性验证。将 TCT 应用于 CVR 协议的惩罚和信誉合约，可以提供惩罚条件计算正确性的形式化证明。

10. 结论

本文表明，马尔可夫链蒙特卡罗方法并非CVR协议的可选计算增强功能，而是使协议核心主张可证明而非仅仅可断言的数学引擎。文献[1]中提出的预言机信誉模型就是一个马尔可夫链。信誉加权贝叶斯融合是一个后验推理问题。MCMC算法使得这种推理能够大规模处理，并提供遍历收敛保证，从而将连续的物理监测转化为监管级别的证据标准。

与巴塞尔协议SCO60第一组a的关联并非营销噱头，而是基于结构性论证：一级代币化资产的四项分类条件要求对实物资产状态进行持续、抗对抗且有法律依据的验证。MCMC收敛的CVR协议能够同时满足所有四项条件，并以正式的数学收敛保证而非治理清单的形式呈现。基于MCMC后验可信区间的动态验证折扣，是一种原则性且可审计的机制，能够将这种收敛转化为机构持有者可量化的资本减免。

用一句话概括： 3 美元的碳信用额和 37 美元的碳信用额之间的差异是连续验证的数学证明——而马尔可夫链蒙特卡罗方法就是这个证明。

参考

1. Gutu, A. (2025). 提案：一种用于降低 RWA 抵押品风险权重的连续可验证现实 (CVR) 框架。以太坊研究，ethresear.ch/t/23577。2025 年 12 月 1 日。
2. Gutu, A. (2025). ProofLedger：基于 ProofLedger 文档的核心原则和数学框架。以太坊研究，ethresear.ch/t/23609。2025 年 12 月 4 日。
3. 巴塞尔银行监管委员会（2022 年，2024 年修订版）。加密资产风险敞口的审慎处理——SCO60。国际清算银行。实施日期：2026 年 1 月 1 日。
4. Metropolis, N., Rosenbluth, AW, Rosenbluth, MN, Teller, AH, Teller, E. (1953). 利用快速计算机进行状态方程计算。化学物理杂志，21(6), 1087–1092。
5. Hastings, WK (1970). 使用马尔可夫链的蒙特卡罗抽样方法及其应用。Biometrika，57(1)，97-109。
6. Gelman, A., Rubin, DB (1992). 使用多个序列进行迭代模拟的推断。统计科学，7(4)，457–472。
7. 欧盟委员会（2026）。授权条例附件草案——CRCF 条例 EU 2024/3012 下的碳农业认证方法。参考 Ares(2026)746080，2026 年 1 月 22 日。
8. Doucet, A.、de Freitas, N.、Gordon, N. (2001)。序列蒙特卡罗方法的实践。施普林格。
9. Neal, RM (2011). 使用哈密顿动力学的 MCMC。载于《马尔可夫链蒙特卡罗手册》第 5 章。CRC 出版社。
10. Perspectives Climate Group / VCMI / GIZ (2026)。加强非洲验证和核查机构 (VVB) 能力的途径。2026 年 2 月 27 日。
11. 埃塞俄比亚联邦民主共和国（2025）。埃塞俄比亚国家碳市场战略（2025-2035）。2025年6月。由联合国气候变化框架公约区域合作中心出版。
12. 欧盟理事会（2025）。修订欧盟森林砍伐条例的（欧盟）2025/2650号条例。2025年12月18日通过。大型经营者适用日期：2026年12月30日。
13. 巴塞尔银行监管委员会（2025）。新闻稿：巴塞尔委员会同意加快对加密资产标准的定向审查。2025年11月19日。国际清算银行。
14. 巴塞尔银行监管委员会（2026）。新闻稿：巴塞尔委员会讨论对加密资产标准的定向审查。2026年2月25日。国际清算银行。
15. 欧盟委员会于 2025 年 11 月 20 日发布的实施条例 (EU) 2025/2358，根据条例 (EU) 2024/3012 为 CRCF 认证体系、认证机构和审核制定横向规则。

阿贝尔·古图· LedgerWell 公司创始人兼首席执行官
Robert Stillwell · LedgerWell Corp. 联合创始人兼首席技术官 / DaedArch Corporation 首席执行官

ledgerwell.io

CVR 协议数学框架系列——CVR 数学框架系列出版物 3（共 4 册）。
我们正在积极征求关于收敛性诊断、监管映射和经验校准方法的反馈意见。 # 马尔可夫链蒙特卡罗方法作为巴塞尔协议SCO60第1a组代币化实物资产验证的计算引擎