Struct signature_core::proof_committed_builder::ProofCommittedBuilder

source · [−]

pub struct ProofCommittedBuilder<B, C, const P: usize, const S: usize> where
    B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
    C: GroupEncoding + Debug,  { /* private fields */ }

Expand description

A builder struct for creating a proof of knowledge of messages in a vector commitment each message has a blinding factor

Implementations

source

impl<B, C, const P: usize, const S: usize> ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

source

pub fn new(sum_of_products: fn(_: &[B], _: &mut [Scalar ]) -> B) -> Self

Create a new builder

source

pub fn commit_random(&mut self, point: B, rng: impl RngCore)

Add a specified point and generate a random blinding factor

source

pub fn commit(&mut self, point: B, scalar: Scalar)

Commit a specified point with the specified scalar

source

pub fn get(&self, index: usize) -> Option<(B, Scalar )>

Return the point and blinding factor at the specified index

source

pub fn add_challenge_contribution(&mut self, hasher: &mut impl Update)

Convert the committed values to bytes for the fiat-shamir challenge

source

pub fn generate_proof(
 self,
 challenge: Scalar,
 secrets: &[Scalar ]
) -> Result<Vec<Scalar, S>, Error>

Generate the Schnorr challenges given the specified secrets by computing p = r + c * s

Trait Implementations

source

impl<B, C, const P: usize, const S: usize> Default for ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

source

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations

impl<B, C, const P: usize, const S: usize> RefUnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: RefUnwindSafe,

impl<B, C, const P: usize, const S: usize> Send for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Sync for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Unpin for ProofCommittedBuilder<B, C, P, S> where
B: Unpin,

impl<B, C, const P: usize, const S: usize> UnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct signature_core::proof_committed_builder::ProofCommittedBuilder

Implementations

impl<B, C, const P: usize, const S: usize> ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

pub fn new(sum_of_products: fn(_: &[B], _: &mut [Scalar ]) -> B) -> Self

pub fn commit_random(&mut self, point: B, rng: impl RngCore)

pub fn commit(&mut self, point: B, scalar: Scalar)

pub fn get(&self, index: usize) -> Option<(B, Scalar )>

pub fn add_challenge_contribution(&mut self, hasher: &mut impl Update)

pub fn generate_proof(
    self,
    challenge: Scalar,
    secrets: &[Scalar ]
) -> Result<Vec<Scalar, S>, Error>

Trait Implementations

impl<B, C, const P: usize, const S: usize> Default for ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

fn default() -> Self

Auto Trait Implementations

impl<B, C, const P: usize, const S: usize> RefUnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: RefUnwindSafe,

impl<B, C, const P: usize, const S: usize> Send for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Sync for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Unpin for ProofCommittedBuilder<B, C, P, S> where
B: Unpin,

impl<B, C, const P: usize, const S: usize> UnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where
U: From<T>,

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct signature_core::proof_committed_builder::ProofCommittedBuilder

Implementations

impl<B, C, const P: usize, const S: usize> ProofCommittedBuilder<B, C, P, S> where B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>, C: GroupEncoding + Debug,

pub fn new(sum_of_products: fn(_: &[B], _: &mut [Scalar]) -> B) -> Self

pub fn commit_random(&mut self, point: B, rng: impl RngCore)

pub fn commit(&mut self, point: B, scalar: Scalar)

pub fn get(&self, index: usize) -> Option<(B, Scalar)>

pub fn add_challenge_contribution(&mut self, hasher: &mut impl Update)

pub fn generate_proof( self, challenge: Scalar, secrets: &[Scalar]) -> Result<Vec<Scalar, S>, Error>

Trait Implementations

impl<B, C, const P: usize, const S: usize> Default for ProofCommittedBuilder<B, C, P, S> where B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>, C: GroupEncoding + Debug,

fn default() -> Self

Auto Trait Implementations

impl<B, C, const P: usize, const S: usize> RefUnwindSafe for ProofCommittedBuilder<B, C, P, S> where B: RefUnwindSafe,

impl<B, C, const P: usize, const S: usize> Send for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Sync for ProofCommittedBuilder<B, C, P, S>

impl<B, C, const P: usize, const S: usize> Unpin for ProofCommittedBuilder<B, C, P, S> where B: Unpin,

impl<B, C, const P: usize, const S: usize> UnwindSafe for ProofCommittedBuilder<B, C, P, S> where B: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<B, C, const P: usize, const S: usize> ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

pub fn new(sum_of_products: fn(_: &[B], _: &mut [Scalar ]) -> B) -> Self

pub fn get(&self, index: usize) -> Option<(B, Scalar )>

pub fn generate_proof(
self,
challenge: Scalar,
secrets: &[Scalar ]
) -> Result<Vec<Scalar, S>, Error>

impl<B, C, const P: usize, const S: usize> Default for ProofCommittedBuilder<B, C, P, S> where
B: Clone + Copy + Debug + Default + ConstantTimeEq + PartialEq + Eq + Curve<AffineRepr = C>,
C: GroupEncoding + Debug,

impl<B, C, const P: usize, const S: usize> RefUnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: RefUnwindSafe,

impl<B, C, const P: usize, const S: usize> Unpin for ProofCommittedBuilder<B, C, P, S> where
B: Unpin,

impl<B, C, const P: usize, const S: usize> UnwindSafe for ProofCommittedBuilder<B, C, P, S> where
B: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,