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
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,
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,
Add a specified point and generate a random blinding factor
Commit a specified point with the specified scalar
Return the point and blinding factor at the specified index
Convert the committed values to bytes for the fiat-shamir challenge