Struct ProofG1

pub struct ProofG1 { /* private fields */ }

A proof of knowledge of a signature and hidden messages

Implementations

impl ProofG1

pub fn get_challenge_contribution( &self, bases: &[GeneratorG1], commitment: &Commitment, challenge: &ProofChallenge, ) -> Result<GeneratorG1, BBSError>

Computes the piece that goes into verifying the overall proof component by computing the c == H(U || \widehat{U} || nonce) This returns the \widehat{U} commitment is U

pub fn verify( &self, bases: &[GeneratorG1], commitment: &Commitment, challenge: &ProofChallenge, ) -> Result<bool, BBSError>

Verify that bases[0]^responses[0] * bases[0]^responses[0] * … bases[i]^responses[i] * commitment^challenge == random_commitment

pub fn verify_complete_proof( &self, bases: &[GeneratorG1], commitment: &Commitment, challenge: &ProofChallenge, nonce: &[u8], ) -> Result<bool, BBSError>

Assumes this is the entire proof and is not a sub proof Used primarily during 2-PC signature creation

Trait Implementations

impl Clone for ProofG1

fn clone(&self) -> ProofG1

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofG1

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

Formats the value using the given formatter.

impl Default for ProofG1

fn default() -> Self

Returns the “default value” for a type.

impl<'a> Deserialize<'a> for ProofG1

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'a>,

Deserialize this value from the given Serde deserializer.

impl From<Box<[u8]>> for ProofG1

fn from(data: Box<[u8]>) -> ProofG1

Converts to this type from the input type.

impl Into<Box<[u8]>> for ProofG1

fn into(self) -> Box<[u8]>

Converts this type into the (usually inferred) input type.

impl Serialize for ProofG1

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl ToVariableLengthBytes for ProofG1

type Output = ProofG1

The type that implements this trait

type Error = BBSError

The type of error to return

fn to_bytes_compressed_form(&self) -> Vec<u8>

Convert to raw compressed bytes

fn from_bytes_compressed_form<I: AsRef<[u8]>>(data: I) -> Result<Self, BBSError>

Convert from raw compressed bytes

fn to_bytes_uncompressed_form(&self) -> Vec<u8>

Convert to raw bytes

fn from_bytes_uncompressed_form<I: AsRef<[u8]>>( data: I, ) -> Result<Self, BBSError>

Convert from raw bytes

impl TryFrom<&[u8]> for ProofG1

type Error = BBSError

The type returned in the event of a conversion error.

fn try_from(value: &[u8]) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<Vec<u8>> for ProofG1

type Error = BBSError

The type returned in the event of a conversion error.

fn try_from(value: Vec<u8>) -> Result<Self, Self::Error>

Performs the conversion.