Keyboard shortcuts

Press or to navigate between chapters

Press ? to show this help

Press Esc to hide this help

salary_range_proof

Example: Salary Range Proof

This executable demonstrates the stable v1 interface for proving:

  1. The prover knows a wage matching the public commitment.
  2. That wage lies within the public min, max range.

Public inputs: min_income_*, max_income_*, wage_commitment Private inputs: wage_low, wage_high, salt

Fully qualified path: smart_identity_proofs::salary_range_proof