Keyboard shortcuts

Press or to navigate between chapters

Press ? to show this help

Press Esc to hide this help

maximum_income_proof

Example: Maximum Income Proof

This executable demonstrates the stable v1 interface for proving:

  1. The prover knows a wage matching the public commitment.
  2. That wage is at or below a public threshold.

Public inputs: max_income_low, max_income_high, wage_commitment Private inputs: wage_low, wage_high, salt

Fully qualified path: smart_identity_proofs::maximum_income_proof