pub fn prove_range(
value: u64,
lo: u64,
hi: u64,
) -> Result<PredicateProof, String>Expand description
Prove, in zero knowledge, that a private value satisfies lo <= value <= hi.
Fails with Err if value < lo or value > hi (no satisfying witness), and
if lo > hi (an empty range is unprovable for any value).