Struct tari_crypto::ristretto::dalek_range_proof::DalekRangeProofService

pub struct DalekRangeProofService { /* fields omitted */ }

A wrapper around the Dalek library implementation of Bulletproof range proofs.

Implementations

impl DalekRangeProofService

pub fn new(
    range: usize,
    base: &PedersenCommitmentFactory
) -> Result<DalekRangeProofService, RangeProofError>

Create a new RangeProofService. The Dalek library can only generate proofs for ranges between [0; 2^range), where valid range values are 8, 16, 32 and 64.

Trait Implementations

impl RangeProofService for DalekRangeProofService

type K = RistrettoSecretKey

type P = Vec<u8>

type PK = RistrettoPublicKey

fn construct_proof(
    &self,
    key: &RistrettoSecretKey,
    value: u64
) -> Result<Vec<u8>, RangeProofError>

Construct a new range proof for the given secret key and value. The resulting proof will be sufficient evidence that the prover knows the secret key and value, and that the value lies in the range determined by the service.

fn verify(&self, proof: &Self::P, commitment: &PedersenCommitment) -> bool

Verify the range proof against the given commitment. If this function returns true, it attests to the commitment having a value in the range [0; 2^64-1] and that the prover knew both the value and private key.