MinervaMinerva

Brass Tacks

Question

Does this account hold at least the required minimum balance?

How

A greater-than gate compares the private balance against the public threshold — one bit of output.

Privacy

The exact balance is never revealed. The verifier only learns: sufficient funds or not.

Balance Proof

★ Beginnerfinance

Prove your account balance exceeds a threshold without revealing the exact amount. Essential for proof-of-reserves and solvency attestations.

financebalancesolvency
Customize with Juno

Circuit Definition

Gates

gtactual_balance>minimum_balance

Public inputs

minimum_balance

integer

$10,000

Private inputs

actual_balance

integer · hidden

•••

Test Vectors

Balance above minimum
valid
Balance below minimum
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Balance Proof",
    "description": "Prove balance >= threshold",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "actual_balance",
        "right": "minimum_balance"
      }
    ]
  },
  "inputs": {
    "public": {
      "minimum_balance": 10000
    },
    "private": {
      "actual_balance": 42000
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Proof-of-reserves for exchanges
  • Solvency attestation for auditors
  • Minimum balance verification for services

About this template

Engine versionv2.0
Security level128-bit
DifficultyBeginner
Gates1

Customize with Juno

Modify this circuit in plain language

Brass Tacks

Question

Does this account hold at least the required minimum balance?

How

A greater-than gate compares the private balance against the public threshold — one bit of output.

Privacy

The exact balance is never revealed. The verifier only learns: sufficient funds or not.

Balance Proof

★ Beginnerfinance

Prove your account balance exceeds a threshold without revealing the exact amount. Essential for proof-of-reserves and solvency attestations.

financebalancesolvency
Customize with Juno

Circuit Definition

Gates

gtactual_balance>minimum_balance

Public inputs

minimum_balance

integer

$10,000

Private inputs

actual_balance

integer · hidden

•••

Test Vectors

Balance above minimum
valid
Balance below minimum
constraint_violation

MinervaFormat JSON

{
  "version": "2.0",
  "meta": {
    "name": "Balance Proof",
    "description": "Prove balance >= threshold",
    "author": "minerva",
    "created_at": "2026-03-12",
    "tags": [
      "finance"
    ]
  },
  "circuit": {
    "gates": [
      {
        "type": "gt",
        "left": "actual_balance",
        "right": "minimum_balance"
      }
    ]
  },
  "inputs": {
    "public": {
      "minimum_balance": 10000
    },
    "private": {
      "actual_balance": 42000
    }
  }
}

Ready to prove?

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

Real-World Use Cases

  • Proof-of-reserves for exchanges
  • Solvency attestation for auditors
  • Minimum balance verification for services

About this template

Engine versionv2.0
Security level128-bit
DifficultyBeginner
Gates1

Customize with Juno

Modify this circuit in plain language