Core Concepts

Circuit Templates

Built-in circuit templates for common ZK proof use cases — ESG, finance, supply chain, and identity.

Minerva ships with 10 production-ready circuit templates. Each template encodes a common real-world claim as a ZK-STARK circuit. Use them as-is or as a starting point for custom circuits built with Juno.

Available Templates

Template	Slug	Gates	Category
Age Verification	age-verification	gt	Identity
Carbon Emission Threshold	carbon-emissions	gt	ESG
Diversity Range	diversity-range	range	ESG
Revenue Range	revenue-range	range	Finance
Solvency Check	solvency-check	gt	Finance
Expense Ratio Compliance	expense-ratio	mul, gt	Finance
Income Threshold	income-threshold	gt	Finance
Document Authenticity	document-authenticity	hash_eq	Compliance
Supply Chain Origin	supply-chain-origin	eq	Supply Chain
Employee Count Range	employee-count	range	Compliance

Template Details

Age Verification

Prove that an age exceeds a minimum threshold without revealing the actual age.

json

{
  "slug": "age-verification",
  "inputs": {
    "public": ["minimum_age"],
    "private": ["actual_age"]
  },
  "gates": [
    { "type": "gt", "inputs": ["actual_age", "minimum_age"], "output": "verified" }
  ]
}

Carbon Emission Threshold

Prove annual CO2 emissions are below a regulatory threshold.

json

{
  "slug": "carbon-emissions",
  "inputs": {
    "public": ["threshold_tonnes"],
    "private": ["actual_emissions_tonnes"]
  },
  "gates": [
    { "type": "gt", "inputs": ["threshold_tonnes", "actual_emissions_tonnes"], "output": "compliant" }
  ]
}

Revenue Range

Prove quarterly or annual revenue falls within a stated range.

json

{
  "slug": "revenue-range",
  "inputs": {
    "public": ["min_revenue", "max_revenue"],
    "private": ["actual_revenue"]
  },
  "gates": [
    { "type": "range", "inputs": ["actual_revenue", "min_revenue", "max_revenue"], "output": "in_range" }
  ]
}

Using a Template via API

bash

curl -X POST https://api.zkesg.com/api/v1/proofs \
  -H "Authorization: Bearer $MINERVA_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "template": "carbon-emissions",
    "public_inputs": { "threshold_tonnes": 10000 },
    "private_inputs": { "actual_emissions_tonnes": 7342 }
  }'

Creating a Custom Circuit with Juno

Navigate to Ask Juno (/chat) and describe your claim in plain English. Juno generates the circuit definition and walks you through each gate.

•Be specific about what should be public vs. private
•State the claim clearly: "Prove X is true without revealing Y"
•Include constraints: "value must be positive" or "both conditions must hold"
•Juno handles up to 3-gate circuits reliably; multi-gate support is improving

← Back to Documentation

Documentation

Core Concepts

Circuit Templates

Built-in circuit templates for common ZK proof use cases — ESG, finance, supply chain, and identity.

Available Templates

Template	Slug	Gates	Category
Age Verification	age-verification	gt	Identity
Carbon Emission Threshold	carbon-emissions	gt	ESG
Diversity Range	diversity-range	range	ESG
Revenue Range	revenue-range	range	Finance
Solvency Check	solvency-check	gt	Finance
Expense Ratio Compliance	expense-ratio	mul, gt	Finance
Income Threshold	income-threshold	gt	Finance
Document Authenticity	document-authenticity	hash_eq	Compliance
Supply Chain Origin	supply-chain-origin	eq	Supply Chain
Employee Count Range	employee-count	range	Compliance

Template Details

Age Verification

Prove that an age exceeds a minimum threshold without revealing the actual age.

json

{
  "slug": "age-verification",
  "inputs": {
    "public": ["minimum_age"],
    "private": ["actual_age"]
  },
  "gates": [
    { "type": "gt", "inputs": ["actual_age", "minimum_age"], "output": "verified" }
  ]
}

Carbon Emission Threshold

Prove annual CO2 emissions are below a regulatory threshold.

json

{
  "slug": "carbon-emissions",
  "inputs": {
    "public": ["threshold_tonnes"],
    "private": ["actual_emissions_tonnes"]
  },
  "gates": [
    { "type": "gt", "inputs": ["threshold_tonnes", "actual_emissions_tonnes"], "output": "compliant" }
  ]
}

Revenue Range

Prove quarterly or annual revenue falls within a stated range.

json

{
  "slug": "revenue-range",
  "inputs": {
    "public": ["min_revenue", "max_revenue"],
    "private": ["actual_revenue"]
  },
  "gates": [
    { "type": "range", "inputs": ["actual_revenue", "min_revenue", "max_revenue"], "output": "in_range" }
  ]
}

Using a Template via API

bash

curl -X POST https://api.zkesg.com/api/v1/proofs \
  -H "Authorization: Bearer $MINERVA_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "template": "carbon-emissions",
    "public_inputs": { "threshold_tonnes": 10000 },
    "private_inputs": { "actual_emissions_tonnes": 7342 }
  }'

Creating a Custom Circuit with Juno

Navigate to Ask Juno (/chat) and describe your claim in plain English. Juno generates the circuit definition and walks you through each gate.

•Be specific about what should be public vs. private
•State the claim clearly: "Prove X is true without revealing Y"
•Include constraints: "value must be positive" or "both conditions must hold"
•Juno handles up to 3-gate circuits reliably; multi-gate support is improving

← Back to Documentation

Documentation

Core Concepts

Circuit Templates

Built-in circuit templates for common ZK proof use cases — ESG, finance, supply chain, and identity.

Available Templates

Template	Slug	Gates	Category
Age Verification	age-verification	gt	Identity
Carbon Emission Threshold	carbon-emissions	gt	ESG
Diversity Range	diversity-range	range	ESG
Revenue Range	revenue-range	range	Finance
Solvency Check	solvency-check	gt	Finance
Expense Ratio Compliance	expense-ratio	mul, gt	Finance
Income Threshold	income-threshold	gt	Finance
Document Authenticity	document-authenticity	hash_eq	Compliance
Supply Chain Origin	supply-chain-origin	eq	Supply Chain
Employee Count Range	employee-count	range	Compliance

Template Details

Age Verification

Prove that an age exceeds a minimum threshold without revealing the actual age.

json

{
  "slug": "age-verification",
  "inputs": {
    "public": ["minimum_age"],
    "private": ["actual_age"]
  },
  "gates": [
    { "type": "gt", "inputs": ["actual_age", "minimum_age"], "output": "verified" }
  ]
}

Carbon Emission Threshold

Prove annual CO2 emissions are below a regulatory threshold.

json

{
  "slug": "carbon-emissions",
  "inputs": {
    "public": ["threshold_tonnes"],
    "private": ["actual_emissions_tonnes"]
  },
  "gates": [
    { "type": "gt", "inputs": ["threshold_tonnes", "actual_emissions_tonnes"], "output": "compliant" }
  ]
}

Revenue Range

Prove quarterly or annual revenue falls within a stated range.

json

{
  "slug": "revenue-range",
  "inputs": {
    "public": ["min_revenue", "max_revenue"],
    "private": ["actual_revenue"]
  },
  "gates": [
    { "type": "range", "inputs": ["actual_revenue", "min_revenue", "max_revenue"], "output": "in_range" }
  ]
}

Using a Template via API

bash

curl -X POST https://api.zkesg.com/api/v1/proofs \
  -H "Authorization: Bearer $MINERVA_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "template": "carbon-emissions",
    "public_inputs": { "threshold_tonnes": 10000 },
    "private_inputs": { "actual_emissions_tonnes": 7342 }
  }'

Creating a Custom Circuit with Juno

Navigate to Ask Juno (/chat) and describe your claim in plain English. Juno generates the circuit definition and walks you through each gate.

•Be specific about what should be public vs. private
•State the claim clearly: "Prove X is true without revealing Y"
•Include constraints: "value must be positive" or "both conditions must hold"
•Juno handles up to 3-gate circuits reliably; multi-gate support is improving

← Back to Documentation

Documentation

Core Concepts

Circuit Templates

Built-in circuit templates for common ZK proof use cases — ESG, finance, supply chain, and identity.

Available Templates

Template	Slug	Gates	Category
Age Verification	age-verification	gt	Identity
Carbon Emission Threshold	carbon-emissions	gt	ESG
Diversity Range	diversity-range	range	ESG
Revenue Range	revenue-range	range	Finance
Solvency Check	solvency-check	gt	Finance
Expense Ratio Compliance	expense-ratio	mul, gt	Finance
Income Threshold	income-threshold	gt	Finance
Document Authenticity	document-authenticity	hash_eq	Compliance
Supply Chain Origin	supply-chain-origin	eq	Supply Chain
Employee Count Range	employee-count	range	Compliance

Template Details

Age Verification

Prove that an age exceeds a minimum threshold without revealing the actual age.

json

{
  "slug": "age-verification",
  "inputs": {
    "public": ["minimum_age"],
    "private": ["actual_age"]
  },
  "gates": [
    { "type": "gt", "inputs": ["actual_age", "minimum_age"], "output": "verified" }
  ]
}

Carbon Emission Threshold

Prove annual CO2 emissions are below a regulatory threshold.

json

{
  "slug": "carbon-emissions",
  "inputs": {
    "public": ["threshold_tonnes"],
    "private": ["actual_emissions_tonnes"]
  },
  "gates": [
    { "type": "gt", "inputs": ["threshold_tonnes", "actual_emissions_tonnes"], "output": "compliant" }
  ]
}

Revenue Range

Prove quarterly or annual revenue falls within a stated range.

json

{
  "slug": "revenue-range",
  "inputs": {
    "public": ["min_revenue", "max_revenue"],
    "private": ["actual_revenue"]
  },
  "gates": [
    { "type": "range", "inputs": ["actual_revenue", "min_revenue", "max_revenue"], "output": "in_range" }
  ]
}

Using a Template via API

bash

curl -X POST https://api.zkesg.com/api/v1/proofs \
  -H "Authorization: Bearer $MINERVA_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "template": "carbon-emissions",
    "public_inputs": { "threshold_tonnes": 10000 },
    "private_inputs": { "actual_emissions_tonnes": 7342 }
  }'

Creating a Custom Circuit with Juno

Navigate to Ask Juno (/chat) and describe your claim in plain English. Juno generates the circuit definition and walks you through each gate.

•Be specific about what should be public vs. private
•State the claim clearly: "Prove X is true without revealing Y"
•Include constraints: "value must be positive" or "both conditions must hold"
•Juno handles up to 3-gate circuits reliably; multi-gate support is improving

← Back to Documentation