Struct IpStatement 

pub(crate) struct IpStatement {
    h_bold_weights: ScalarVector,
    u: Scalar,
}

The Bulletproofs Inner-Product statement.

This is for usage with Protocol 2 from the Bulletproofs paper.

Fields

h_bold_weights: ScalarVector

u: Scalar

Implementations

impl IpStatement

pub(crate) fn new_without_P_transcript( h_bold_weights: ScalarVector, u: Scalar, ) -> Self

Create a new Inner-Product statement which won’t transcript P.

This MUST only be called when P is deterministic to already transcripted elements.

fn transcript_L_R( transcript: Scalar, L: CompressedPoint, R: CompressedPoint, ) -> Scalar

pub(crate) fn prove( self, transcript: Scalar, witness: IpWitness, ) -> Result<IpProof, IpError>

Prove for this Inner-Product statement.

Returns an error if this statement couldn’t be proven for (such as if the witness isn’t consistent).

pub(crate) fn verify( self, verifier: &mut BulletproofsBatchVerifier, ip_rows: usize, transcript: Scalar, verifier_weight: Scalar, proof: IpProof, ) -> Result<(), IpError>

Queue an Inner-Product proof for batch verification.

This will return Err if there is an error. This will return Ok if the proof was successfully queued for batch verification. The caller is required to verify the batch in order to ensure the proof is actually correct.

Trait Implementations

impl Clone for IpStatement

fn clone(&self) -> IpStatement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IpStatement

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

Formats the value using the given formatter.