Trellison Institute

Carbon Verification Research

An engraved emblem featuring an open book, a balance scale, and a tripod instrument, flanked by a laurel branch, all in black and brushed gold on an ivory background.
Evaluating carbon credit verification methodology. Validated against Dr. Haya methods.

Trellison Institute evaluates carbon credit verification methodology by applying the standards published by Dr. Barbara Haya (UC Berkeley Carbon Trading Project). We rate methodology, not conclusions. We assess the quality of verification processes — additionality, permanence, leakage, and double-counting — using established scientific criteria. Dr. Haya has not endorsed or been involved in this work; we validate against her published methods as a benchmark for rigorous evaluation.

A monochrome horizontal rule with an ornate, symmetrical diamond-shaped ornament in the center, on an aged-paper background.

The Carbon Credit Verification Problem

A detailed, monochrome scientific journal page with botanical illustrations, circular diagrams, and bar charts on an aged paper background, accented with muted gold.

The voluntary carbon market exceeded $2 billion in 2024, yet independent analyses consistently identify systemic quality issues. Research from UC Berkeley, the Guardian/Die Zeit investigation, and academic meta-analyses have documented that a significant proportion of issued credits may not represent genuine emission reductions.

Four fundamental challenges undermine current verification approaches:

Additionality

Would the emission reduction have occurred without carbon credit funding? Current project-based assessment relies on counterfactual reasoning that is inherently difficult to validate. The Berkeley Carbon Trading Project has documented systematic over-crediting in forest offset programs where baseline scenarios are inflated.

Permanence

Are the claimed reductions long-lasting? Forest-based credits face wildfire, disease, and land-use change risks. Buffer pool mechanisms (typically 10–20% reserves) may be insufficient. Badgley et al. (2022) demonstrated that fire alone may have already exhausted California’s forest offset buffer pool.

Leakage

Does the project simply displace emissions elsewhere? Activity-shifting leakage (logging moves to adjacent areas) and market leakage (reduced supply raises prices, incentivizing production elsewhere) remain difficult to quantify under current audit-based verification.

Double-Counting

Is the same reduction claimed by multiple parties? Under Article 6 of the Paris Agreement, corresponding adjustments are required but implementation remains inconsistent. Without cryptographic uniqueness guarantees, the same physical reduction can appear in corporate inventories, national NDCs, and voluntary market registries simultaneously.

A monochrome horizontal rule with an ornate, symmetrical diamond-shaped ornament in the center, on an aged-paper background.

CVR Protocol: Continuous Verification

Engraved emblem of an open book with a balance scale and flame, flanked by a ribbon and laurel branch, on an aged-paper background.

LedgerWell Corporation’s Continuous Verifiable Reality (CVR) Protocol addresses these challenges through continuous IoT-based monitoring, cryptographic uniqueness, and reputation-weighted oracle consensus. The mathematical framework is published across four peer-reviewed papers (see Publications).

99.7%
Verification confidence (equivalent to traditional financial audit)
2–4 weeks
Initial verification (vs. 12–18 months traditional)
60–75%
Lower verification cost over 5-year lifecycle
14
Ethereum mainnet contracts deployed

Three-layer architecture

Layer 1 — Threshold-Convergent Consensus: Multiple imperfect data sources (IoT sensors, satellite imagery, ground measurements) converge to reliable environmental state estimates when individual error rates fall below a mathematically defined threshold. Below this threshold, adding more sources produces exponential improvement in accuracy.

Layer 2 — MCMC Computational Engine: Markov Chain Monte Carlo methods serve as the computational backbone, modeling the oracle network as a Hidden Markov Model over continuous physical asset states. Posterior credible intervals provide formal confidence bounds for verification claims.

Layer 3 — Basel SCO60 Compliance: Cryptoasset-backed carbon instruments meet Basel Committee requirements for Group 1a classification, enabling institutional adoption with quantified risk weights.

A monochrome horizontal rule with an ornate, symmetrical diamond-shaped ornament in the center, on an aged-paper background.

Competitive Assessment

A grid of 20 intricate geometric diagrams in an engraved-plate style, with fine cross-hatch shading on an aged-paper background, each labeled with serif letters.

Trellison Institute has conducted comparative methodology evaluation across the three dominant verification frameworks:

DimensionLedgerWell CVRVerra VCSGold Standard GS4GG
Verification methodContinuous IoT + oracle consensusPeriodic third-party auditPeriodic third-party audit + SDG
Cost per credit$0.50–$1.50$3–$8$5–$12
Time to verification2–4 weeks12–24 months18–30 months
Double-counting preventionCryptographic uniquenessRegistry-based (manual)Registry-based (manual)
Real-time monitoringYes (continuous)No (periodic audits)No (periodic audits)
Fraud detectionAI anomaly detection + cross-validationAuditor judgmentAuditor judgment + community
Basel complianceSCO60 Group 1a pathwayNot applicableNot applicable
A monochrome horizontal rule with an ornate, symmetrical diamond-shaped ornament in the center, on an aged-paper background.

Credit Stacking

An intricate, abstract diagram in the style of a late 19th-century scientific engraving, featuring swirling lines, cross-hatching, and a subtle brushed gold accent on an aged paper background with decorative corners.

Agricultural practices that sequester carbon often simultaneously produce additional measurable environmental benefits. LedgerWell’s verification infrastructure supports multi-credit stacking from a single set of monitoring data:

Carbon credits — Soil carbon sequestration, agroforestry, avoided emissions from improved practices

Nitrogen credits — Reduced fertilizer runoff, improved nitrogen use efficiency

Water quality credits — Watershed protection, reduced agricultural contamination

Biodiversity credits — Habitat preservation, species corridor maintenance, pollinator support

Energy credits — Renewable energy generation, reduced fossil fuel consumption on-farm

Each credit type requires independent verification against its own methodology standard. The shared IoT monitoring infrastructure enables cost-effective multi-credit issuance without duplicating measurement overhead.

Research Papers

Engraved botanical plates and a dense, blue-ink diagram on aged paper, resembling a 19th-century academic journal.

The mathematical foundations for CVR are published in a four-paper series. See the complete listing at Publications or individual paper pages:

Paper 1: CVR Framework — Original proposal for continuous verification with oracle slashing conditions

Paper 2: ProofLedger Protocol — Three-layer architecture and institutional trust layer

Paper 3: MCMC Basel SCO60 — MCMC as computational engine with Ethiopian case study

Paper 4: Threshold-Convergent Systems — Unifying framework connecting quantum error correction and oracle consensus

Methodology Transparency

This evaluation applies the methodological standards published by Dr. Barbara Haya and the UC Berkeley Carbon Trading Project for assessing carbon credit quality. Trellison Institute has not contacted Dr. Haya and does not claim endorsement or attribution. We validate against her published methods because they represent the most rigorous publicly available framework for carbon credit quality assessment. We evaluate methodology, not outcomes. Negative results are results.

Public comments

Feedback from visitors, translated into business terminology and listed below. Use the assistant in the corner to add a comment.