Struct PoKOfSignatureProof

pub struct PoKOfSignatureProof { /* private fields */ }

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

Converts to this type from the input type.

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

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

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

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

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

type Output = PoKOfSignatureProof

The type that implements this trait

type Error = BBSError

The type of error to return

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.