Carbonyx: AI & Web3 Carbon Credit Protocol

An evidence first carbon registry combining IoT/satellite telemetry, AI anomaly detection, verifier staking collateral, and dynamic NFTs to eliminate phantom credits and double-counting.

Comment

CARBONYX End-to-End Verifiable Carbon Credit Registry and Decentralized Marketplace Protocol

INSPIRATION

The Voluntary Carbon Market (VCM) is projected to become a $40B+ industry by 2030, yet today it is plagued by a fundamental crisis of trust. Investigations have repeatedly exposed that up to 85% of forest carbon offsets are "phantom credits" worthless paper claims where trees either do not exist, were never under threat, or were counted multiple times.

While Web3 promised transparency, existing blockchain carbon registries simply tokenize existing legacy paper certificates. If fraudulent data enters the pipeline, all the blockchain does is permanently record fraud: "garbage in, garbage on-chain." Furthermore, traditional auditing bodies have no financial stake in whether their certifications hold up.

We were inspired to build Carbonyx to flip the verification paradigm: environmental evidence must be cryptographically authenticated, cross-checked by AI, and backed by verifier collateral before a credit can ever be minted.

WHAT IT DOES

Carbonyx is an enterprise-grade, end-to-end verifiable carbon credit registry and decentralized marketplace protocol. It enforces a strict evidence-first pipeline:

  1. DECENTRALIZED IDENTITY (DID) & KYC Project proponents register cryptographic identities (did:carbonyx:0x...) with signed KYC attestations.

  2. MULTI-SOURCE EVIDENCE INGESTION & MERKLE PROOFS Instead of self-reported PDFs, Carbonyx ingests ground IoT telemetry (soil/canopy sensors), Sentinel-2 satellite vegetation indices (NDVI), and operational logs. Every batch is hashed into a cryptographic Merkle root (bytes32) committed on-chain.

  3. AI-POWERED ANOMALY & RISK SCORING A Python ML engine runs an Isolation Forest model to detect discrepancies across multi-source telemetry, generating a real-time explainable confidence score (0–100) with plain-language anomaly flags.

  4. POLICY-GATED DYNAMIC ERC-721 NFTs Smart contracts enforce programmatic policy gates. Minting is strictly locked unless data correlation thresholds are satisfied and an authorized verifier approves. Each credit is an ERC-721 token that tracks its live lifecycle: ISSUED -> ESCROWED -> TRANSFERRED -> RETIRED or DISPUTED -> REVOKED

  5. VERIFIER STAKING & 50% SLASHING POOL Verifiers must post collateral in VerifierStakingLedger.sol. If a verifier approves fraudulent claims and a dispute is upheld, 50% of their staked collateral is slashed.

  6. ATOMIC ESCROW MARKETPLACE Buyers purchase verified credits through EscrowSettlement.sol. If a project faces a legitimate challenge during the challenge window, funds are refunded to the buyer and the credit is revoked.

  7. PERMANENT ON-CHAIN RETIREMENT Credits are permanently burned with an immutable, cryptographically verifiable Certificate of Retirement to prevent double-counting forever.

HOW WE BUILT IT

We designed and implemented Carbonyx as a high performance monorepo.

SMART CONTRACTS Technology: Solidity 0.8.20 + Foundry

  • CarbonRegistry.sol Handles project registry, cryptographic policy gates, and verification rules.

  • CarbonCreditNFT.sol Dynamic ERC-721 contract with on-chain metadata, Merkle root commitments, and lifecycle state machines.

  • VerifierStakingLedger.sol Manages verifier collateral deposits, reputation scoring, and programmatic 50% slashing penalties.

  • EscrowSettlement.sol Trustless atomic escrow for buyer protection and dispute refunds.

Testing and Deployment:

  • Extensively tested using Foundry (forge test).
  • Deployed on Anvil Localhost.
  • Deployed on Arbitrum Sepolia Testnet.
  • Chain ID: 421614.

AI / ML ANOMALY ENGINE Technology: Python + FastAPI

  • Built an Isolation Forest and Z-Score divergence model using Scikit-learn and NumPy.
  • Evaluates cross source variance between satellite NDVI indices and ground IoT telemetry.
  • Served via FastAPI.
  • Target latency: sub 50ms.
  • Provides human-readable anomaly diagnostic breakdowns.

BACKEND RELAYER & EVENT LISTENER Technology: Node.js + Express + TypeScript

  • Orchestrates blockchain transaction relaying.
  • Manages off-chain evidence vault storage.
  • Integrates with Supabase.
  • Uses Row-Level Security (RLS).

WEB3 FRONTEND Technology: React 18 + Vite + Tailwind CSS

Built a sleek, glassmorphic UI featuring four specialized Role-Based Access Control (RBAC) portals:

  1. Project Proponent

    • Telemetry upload
    • Merkle proof inspection
    • Issuance requests

  2. Independent Verifier

    • Staking pool
    • Review queue
    • AI risk analysis

  3. Corporate Buyer

    • Dynamic credit marketplace
    • Escrow purchases
    • Retirement burns

  4. Regulator / Auditor

    • Compliance timeline
    • Dispute audits
    • Full provenance tracing

CHALLENGES WE RAN INTO

  1. BRIDGING OFF CHAIN AI TELEMETRY TO ON-CHAIN SMART CONTRACTS Ensuring large multi-gigabyte satellite datasets and sensor streams could be verified by gas-constrained smart contracts was a major challenge.

Solution: We generated SHA-256 Merkle tree commitments off-chain and passed the root hash and cryptographic attestations into the contract policy gates.

  1. DESIGNING ECONOMIC INCENTIVES FOR VERIFIERS Finding the right game-theoretic mechanism to prevent collusive approvals was challenging.

Solution: We implemented a mandatory collateral staking requirement with a 50% slash on substantiated disputes, aligning verifier profits with genuine environmental accuracy.

  1. DYNAMIC NFT STATE MANAGEMENT Transitioning NFTs through complex real-world lifecycle stages while preserving full on-chain backward-compatibility and OpenZeppelin ERC-721 standards required careful architecture.

Lifecycle: ISSUED -> ESCROWED -> TRANSFERRED -> RETIRED DISPUTED -> REVOKED

ACCOMPLISHMENTS WE ARE PROUD OF

  1. FULL-STACK MONOREPO EXECUTION Delivered a complete, functioning ecosystem from low-level Foundry smart contracts and Python ML microservices to a production-ready React Web3 DApp.

  2. EXPLAINABLE AI INTEGRATION Rather than a black-box AI model, our ML engine outputs clear reasoning.

Example: "Satellite canopy index declined by 23% while ground moisture reported stable divergence flag triggered."

  1. REAL ECONOMIC DEFENSIBILITY The verifier staking and slashing ledger brings financial accountability to environmental verification.

  2. SINGLE-CLICK VERIFICATION SUITE Created automated cross-service test scripts (verify_phase_1.py) validating:

  3. Smart contracts

  4. FastAPI

  5. Express API

  6. Supabase

  7. Frontend build

All can be validated with a single command.

WHAT WE LEARNED

  • Deep insights into Voluntary Carbon Market (VCM) standards and additionality calculations.
  • Experience with Copernicus Sentinel-2 remote sensing telemetry.
  • Advanced smart contract architecture using Foundry for rapid test-driven Solidity development.
  • Combining cryptographic proofs, including Merkle trees and ECDSA signatures, with machine learning anomaly detection to build robust Web3 data oracles.
  • Designing frictionless Web3 UX for non crypto enterprise buyers.
  • Implementing built-in role switching and demo credentials.

WHAT'S NEXT FOR CARBONYX

  1. ZERO-KNOWLEDGE TELEMETRY (zkSNARKs) Implementing Circom/snarkjs circuits to allow project developers to prove sensor readings and satellite compliance without exposing sensitive land boundaries or proprietary operational metrics.

  2. DECENTRALIZED SATELLITE ORACLE NETWORK Integrating Chainlink Functions or custom decentralized oracle networks (DONs) to query Copernicus and NASA satellite APIs autonomously on-chain.

  3. SECONDARY MARKET LIQUIDITY & DEFI COLLATERALIZATION Enabling fractionalization through ERC 20 wrappers for retired carbon offsets and green bonds.

  4. LEGACY REGISTRY MIGRATION BRIDGE Partnering with forward thinking registries to import existing verifications into the Carbonyx cryptographic provenance ledger.

CORE VALUE PROPOSITION

Carbonyx is built around one central principle:

"Environmental evidence must be verified before carbon credits are created."

By combining decentralized identity, cryptographic evidence, AI anomaly detection, verifier staking, policy gated NFTs, atomic escrow, and permanent on-chain retirement, Carbonyx aims to create a more transparent and accountable infrastructure for carbon credit verification and trading.

Built With

Share this project:

Updates

Submission history