Enum StmAggrSig

pub enum StmAggrSig<D: Clone + Digest + FixedOutput + Send + Sync> {
    Future,
    Concatenation(ConcatenationProof<D>),
}

An STM aggregate signature.

Variants

Future

A future proof system.

Concatenation(ConcatenationProof<D>)

Concatenation proof system.

Implementations

impl<D: Clone + Digest + FixedOutput + Send + Sync> AggregateSignature<D>

pub fn verify( &self, msg: &[u8], avk: &AggregateVerificationKey<D>, parameters: &Parameters, ) -> Result<(), StmAggregateSignatureError<D>>

Verify an aggregate signature

pub fn batch_verify( stm_signatures: &[Self], msgs: &[Vec<u8>], avks: &[AggregateVerificationKey<D>], parameters: &[Parameters], ) -> Result<(), StmAggregateSignatureError<D>>

Batch verify a set of aggregate signatures

pub fn to_bytes(&self) -> Vec<u8>

Convert an aggregate signature to bytes

pub fn from_bytes(bytes: &[u8]) -> Result<Self, StmAggregateSignatureError<D>>

Extract an aggregate signature from a byte slice.

pub fn to_concatenation_proof(&self) -> Option<&ConcatenationProof<D>>

If the aggregate signature is a concatenation proof, return it.

Trait Implementations

impl<D: Clone + Clone + Digest + FixedOutput + Send + Sync> Clone for AggregateSignature<D>

fn clone(&self) -> AggregateSignature<D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<D: Debug + Clone + Digest + FixedOutput + Send + Sync> Debug for AggregateSignature<D>

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

Formats the value using the given formatter.

impl<'de, D: Clone + Digest + FixedOutput + Send + Sync> Deserialize<'de> for AggregateSignature<D>

where MerkleBatchPath<D>: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<D: Clone + Digest + FixedOutput + Send + Sync> From<&AggregateSignature<D>> for AggregateSignatureType

fn from(aggr_sig: &AggregateSignature<D>) -> Self

Converts to this type from the input type.

impl<D: Clone + Digest + FixedOutput + Send + Sync> Serialize for AggregateSignature<D>

where MerkleBatchPath<D>: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.