Struct bulletproofs::range_proof_mpc::messages::ProofShare

pub struct ProofShare {
    pub(super) t_x: Scalar,
    pub(super) t_x_blinding: Scalar,
    pub(super) e_blinding: Scalar,
    pub(super) l_vec: Vec<Scalar>,
    pub(super) r_vec: Vec<Scalar>,
}

A party's proof share, ready for aggregation into the final RangeProof.

Fields

t_x: Scalar

t_x_blinding: Scalar

e_blinding: Scalar

l_vec: Vec<Scalar>

r_vec: Vec<Scalar>

Methods

impl ProofShare

pub(super) fn audit_share(
    &self,
    bp_gens: &BulletproofGens,
    pc_gens: &PedersenGens,
    j: usize,
    bit_commitment: &BitCommitment,
    bit_challenge: &BitChallenge,
    poly_commitment: &PolyCommitment,
    poly_challenge: &PolyChallenge
) -> Result<(), ()>

Audit an individual proof share to determine whether it is malformed.

Trait Implementations

impl Clone for ProofShare

fn clone(&self) -> ProofShare

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofShare

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofShare

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

fn deserialize_in_place<D>(
    deserializer: D,
    place: &mut Self
) -> Result<(), <D as Deserializer<'de>>::Error> where
    D: Deserializer<'de>, 

Deserializes a value into self from the given Deserializer.

impl Serialize for ProofShare

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.