Skip to content

Feature: income_proof range mode — prove income within a band, not just above a threshold #414

Description

@Psalmuel01

income proofs currently prove value >= threshold. Some gates need a band (e.g. income between X and Y for a subsidy tier) without revealing the exact figure.

Scope

  • Add a range mode (min <= value <= max) to income (and reuse the range_proof circuit if suitable), bound to the signed commitment.
  • Wire thresholds through witness/SDK/UI; document the public input layout.
  • Keep the existing threshold mode.

Value

Supports tiered eligibility, not just minimums.

Acceptance

  • Income can be proven within a band with fixtures/VK/tests; threshold mode still works.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Stellar WaveIssues in the Stellar wave programcircuitsNoir ZK circuit workmediumModerate complexity

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions