MinervaMinerva

Brass Tacks

Question

Are this entity's carbon emissions below the regulatory threshold?

How

A greater-than gate checks that the public threshold exceeds the private emissions — direction reversed intentionally.

Privacy

Exact emission figures stay private. The verifier only learns: within limits or over limit.

Carbon Compliance

★★ Intermediateesg

Prove your carbon emissions are below regulatory thresholds without revealing exact figures. ESG compliance without data exposure.

esgcarboncompliance
Customize with Juno

Circuit Definition

Gates

gtthreshold>actual_emissions

Public inputs

threshold

integer

10,000 tonnes CO₂

Private inputs

actual_emissions

integer · hidden

•••

Test Vectors

Emissions below threshold
valid
Emissions above threshold
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Carbon Compliance",
    "description": "Prove emissions below threshold",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "esg"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "threshold",
        "right": "actual_emissions"
      }
    ]
  },
  "inputs": {
    "public": {
      "threshold": 10000
    },
    "private": {
      "actual_emissions": 7342
    }
  }
}

Ready to prove?

Supply your private inputs and generate a cryptographic proof. Verifiers can confirm validity without seeing your data.

Real-World Use Cases

  • Regulatory carbon threshold compliance
  • ESG reporting for investors
  • Carbon credit verification

About this template

Engine versionv2.0
Security level128-bit
DifficultyIntermediate
Gates1

Customize with Juno

Modify this circuit in plain language

Brass Tacks

Question

Are this entity's carbon emissions below the regulatory threshold?

How

A greater-than gate checks that the public threshold exceeds the private emissions — direction reversed intentionally.

Privacy

Exact emission figures stay private. The verifier only learns: within limits or over limit.

Carbon Compliance

★★ Intermediateesg

Prove your carbon emissions are below regulatory thresholds without revealing exact figures. ESG compliance without data exposure.

esgcarboncompliance
Customize with Juno

Circuit Definition

Gates

gtthreshold>actual_emissions

Public inputs

threshold

integer

10,000 tonnes CO₂

Private inputs

actual_emissions

integer · hidden

•••

Test Vectors

Emissions below threshold
valid
Emissions above threshold
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Carbon Compliance",
    "description": "Prove emissions below threshold",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "esg"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "threshold",
        "right": "actual_emissions"
      }
    ]
  },
  "inputs": {
    "public": {
      "threshold": 10000
    },
    "private": {
      "actual_emissions": 7342
    }
  }
}

Ready to prove?

Supply your private inputs and generate a cryptographic proof. Verifiers can confirm validity without seeing your data.

Real-World Use Cases

  • Regulatory carbon threshold compliance
  • ESG reporting for investors
  • Carbon credit verification

About this template

Engine versionv2.0
Security level128-bit
DifficultyIntermediate
Gates1

Customize with Juno

Modify this circuit in plain language