Struct tari_bulletproofs_plus::generators::pedersen_gens::PedersenGens

pub struct PedersenGens<P: Compressable> {
    pub h_base: P,
    pub h_base_compressed: P::Compressed,
    pub g_base_vec: Vec<P>,
    pub g_base_compressed_vec: Vec<P::Compressed>,
    pub extension_degree: ExtensionDegree,
}

Represents a pair of base points for Pedersen commitments

The Bulletproofs implementation and API is designed to support pluggable bases for Pedersen commitments, so that the choice of bases is not hard-coded.

The default generators are:

• h_base: the curve basepoint;
• g_base_vec: the result of domain separated SHA3-512 (hash of unique indexed strings) hash-to-group on input B_bytes.

Fields

h_base: P

Base for the committed value

h_base_compressed: P::Compressed

Compressed base for the committed value

g_base_vec: Vec<P>

Base for the blinding factor vector

g_base_compressed_vec: Vec<P::Compressed>

Compressed base for the blinding factor vector

extension_degree: ExtensionDegree

Blinding factor extension degree

Implementations

impl<P> PedersenGens<P>where P: Compressable,

pub fn h_base(&self) -> &P

Returns the non-public value base point

pub fn h_base_compressed(&self) -> P::Compressed

Returns the non-public value compressed base point

impl<P> PedersenGens<P>where P: Compressable + MultiscalarMul<Point = P> + Clone,

pub fn commit<T>(&self, value: &T, blindings: &[T]) -> Result<P, ProofError>where for<'a> &'a T: Borrow<Scalar>,

Creates a Pedersen commitment using the value scalar and a blinding factor vector

Trait Implementations

impl<P: Clone + Compressable> Clone for PedersenGens<P>where P::Compressed: Clone,

fn clone(&self) -> PedersenGens<P>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<P: Debug + Compressable> Debug for PedersenGens<P>where P::Compressed: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<P: PartialEq + Compressable> PartialEq<PedersenGens<P>> for PedersenGens<P>where P::Compressed: PartialEq,

fn eq(&self, other: &PedersenGens<P>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<P: Compressable> StructuralPartialEq for PedersenGens<P>