Struct bbs::pok_vc::ProofG1

pub struct ProofG1 { /* fields omitted */ }

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, PoKVCError>

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, PoKVCError>

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, PoKVCError>

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

Performs the conversion.

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

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

Performs the conversion.

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 = PoKVCError

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, PoKVCError>

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, PoKVCError>

Convert from raw bytes

impl<'_> TryFrom<&'_ [u8]> for ProofG1

type Error = PoKVCError

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 = PoKVCError

The type returned in the event of a conversion error.

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

Performs the conversion.