MinervaMinerva

Brass Tacks

Question

Does this person's credit score fall within the required range?

How

Two greater-than gates run in sequence: score > minimum AND maximum > score — both must pass.

Privacy

The exact credit score stays private. The verifier only learns: in range or out of range.

Credit Score Range

★★ Intermediatefinance

Prove your credit score falls within an acceptable range without revealing the exact number. Privacy-preserving creditworthiness.

financecreditrange
Customize with Juno

Circuit Definition

Gates

gtcredit_score>min_score
gtmax_score>credit_score

Public inputs

min_score

integer

650 / 850

max_score

integer

850 / 850

Private inputs

credit_score

integer · hidden

•••

Test Vectors

Score in range
valid
Score below range
constraint_violation
Score above range
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Credit Score Range",
    "description": "Prove credit score in range",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "credit_score",
        "right": "min_score"
      },
      {
        "type": "gt",
        "left": "max_score",
        "right": "credit_score"
      }
    ]
  },
  "inputs": {
    "public": {
      "min_score": 650,
      "max_score": 850
    },
    "private": {
      "credit_score": 742
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Mortgage pre-approval without exact score disclosure
  • Landlord verification of creditworthiness
  • Insurance underwriting with privacy

About this template

Engine versionv2.0
Security level128-bit
DifficultyIntermediate
Gates2

Customize with Juno

Modify this circuit in plain language

Brass Tacks

Question

Does this person's credit score fall within the required range?

How

Two greater-than gates run in sequence: score > minimum AND maximum > score — both must pass.

Privacy

The exact credit score stays private. The verifier only learns: in range or out of range.

Credit Score Range

★★ Intermediatefinance

Prove your credit score falls within an acceptable range without revealing the exact number. Privacy-preserving creditworthiness.

financecreditrange
Customize with Juno

Circuit Definition

Gates

gtcredit_score>min_score
gtmax_score>credit_score

Public inputs

min_score

integer

650 / 850

max_score

integer

850 / 850

Private inputs

credit_score

integer · hidden

•••

Test Vectors

Score in range
valid
Score below range
constraint_violation
Score above range
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Credit Score Range",
    "description": "Prove credit score in range",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "credit_score",
        "right": "min_score"
      },
      {
        "type": "gt",
        "left": "max_score",
        "right": "credit_score"
      }
    ]
  },
  "inputs": {
    "public": {
      "min_score": 650,
      "max_score": 850
    },
    "private": {
      "credit_score": 742
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Mortgage pre-approval without exact score disclosure
  • Landlord verification of creditworthiness
  • Insurance underwriting with privacy

About this template

Engine versionv2.0
Security level128-bit
DifficultyIntermediate
Gates2

Customize with Juno

Modify this circuit in plain language