MinervaMinerva

Brass Tacks

Question

Does this entity's revenue meet the regulatory minimum requirement?

How

A greater-than gate compares private revenue figures against the public regulatory minimum threshold.

Privacy

Exact revenue and financial details stay private. The verifier only learns: compliant or non-compliant.

Financial Audit

★★★ Advancedfinance

Prove financial metrics meet regulatory requirements without exposing raw books. Revenue, expenses, ratios — verified privately.

financeauditcompliance
Customize with Juno

Circuit Definition

Gates

gtrevenue>minimum_revenue

Public inputs

minimum_revenue

integer

$1,000,000

Private inputs

revenue

integer · hidden

•••

Test Vectors

Revenue above minimum
valid
Revenue below minimum
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Financial Audit",
    "description": "Prove financial compliance",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "revenue",
        "right": "minimum_revenue"
      }
    ]
  },
  "inputs": {
    "public": {
      "minimum_revenue": 1000000
    },
    "private": {
      "revenue": 2500000
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Quarterly revenue range attestation
  • Expense ratio compliance proof
  • Solvency verification for regulators

About this template

Engine versionv2.0
Security level128-bit
DifficultyAdvanced
Gates1

Customize with Juno

Modify this circuit in plain language

Brass Tacks

Question

Does this entity's revenue meet the regulatory minimum requirement?

How

A greater-than gate compares private revenue figures against the public regulatory minimum threshold.

Privacy

Exact revenue and financial details stay private. The verifier only learns: compliant or non-compliant.

Financial Audit

★★★ Advancedfinance

Prove financial metrics meet regulatory requirements without exposing raw books. Revenue, expenses, ratios — verified privately.

financeauditcompliance
Customize with Juno

Circuit Definition

Gates

gtrevenue>minimum_revenue

Public inputs

minimum_revenue

integer

$1,000,000

Private inputs

revenue

integer · hidden

•••

Test Vectors

Revenue above minimum
valid
Revenue below minimum
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Financial Audit",
    "description": "Prove financial compliance",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "revenue",
        "right": "minimum_revenue"
      }
    ]
  },
  "inputs": {
    "public": {
      "minimum_revenue": 1000000
    },
    "private": {
      "revenue": 2500000
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Quarterly revenue range attestation
  • Expense ratio compliance proof
  • Solvency verification for regulators

About this template

Engine versionv2.0
Security level128-bit
DifficultyAdvanced
Gates1

Customize with Juno

Modify this circuit in plain language