Struct bbs::pok_sig::PoKOfSignatureProof

pub struct PoKOfSignatureProof { /* fields omitted */ }

The actual proof that is sent from prover to verifier.

Contains the proof of 2 discrete log relations.

Implementations

impl PoKOfSignatureProof

pub fn get_bytes_for_challenge(
    &self,
    revealed_msg_indices: BTreeSet<usize>,
    vk: &PublicKey
) -> Vec<u8>

Return bytes that need to be hashed for generating challenge. Takes self.a_bar, self.a_prime and self.d and commitment and instance data of the two proof of knowledge protocols.

pub fn get_resp_for_message(
    &self,
    msg_idx: usize
) -> Result<SignatureMessage, BBSError>

Get the response from post-challenge phase of the Sigma protocol for the given message index msg_idx. Used when comparing message equality

pub fn verify(
    &self,
    vk: &PublicKey,
    revealed_msgs: &BTreeMap<usize, SignatureMessage>,
    challenge: &ProofChallenge
) -> Result<PoKOfSignatureProofStatus, BBSError>

Validate the proof

Trait Implementations

impl Clone for PoKOfSignatureProof

fn clone(&self) -> PoKOfSignatureProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PoKOfSignatureProof

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

Formats the value using the given formatter.

impl Default for PoKOfSignatureProof

fn default() -> Self

Returns the "default value" for a type.

impl<'a> Deserialize<'a> for PoKOfSignatureProof

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 PoKOfSignatureProof

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

Performs the conversion.

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

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

Performs the conversion.

impl Serialize for PoKOfSignatureProof

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 PoKOfSignatureProof

type Output = PoKOfSignatureProof

The type that implements this trait

type Error = BBSError

The type of error to return

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

Convert the proof to a compressed raw bytes form.

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

Convert compressed byte slice into a proof

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

Convert to raw bytes

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

Convert from raw bytes

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

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 PoKOfSignatureProof

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.