Module tari_crypto::extended_range_proof
source · Expand description
Extended range proofs
Structs
- The aggregated private range proof statement contains the (public) range proof statement and an optional seed nonce for mask recovery
- The aggregated public range proof statement contains the vector of commitments and a vector of minimum promised values
- Extended blinding factor vector used as part of the witness to construct an extended proof, or rewind data extracted from a range proof containing the mask (e.g. blinding factor vector).
- The extended witness contains the extended mask (blinding factor vector), value and a minimum value promise; this will be used to construct the extended range proof
- The (public) statement contains the commitment and a minimum promised value
Traits
- A service to generate a proof that value is non-negative, using multiple blinding factors