Enum AggregateSignature 

pub enum AggregateSignature<D: MembershipDigest> {
    Concatenation(Box<ConcatenationProof<D>>),
}

An STM aggregate signature.

Variants

Concatenation(Box<ConcatenationProof<D>>)

Concatenation proof system.

Implementations

impl<D: MembershipDigest> AggregateSignature<D>

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

Verify an aggregate signature.

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

Batch verify a set of aggregate signatures.

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

Convert an aggregate signature to CBOR bytes with a version prefix.

Uses a type-discriminated envelope to work around the #[serde(untagged)] attribute which is incompatible with ciborium’s CBOR deserialization.

pub fn from_bytes(bytes: &[u8]) -> StmResult<Self>

Extract an aggregate signature from a byte slice.

Supports both the legacy type-prefix byte format and the new versioned CBOR format. Because the legacy Snark type prefix is 0x01 (same as the CBOR version byte), this method uses try-CBOR-then-fallback when the first byte is 0x01.

Note: if a valid CBOR payload is corrupted in transit, CBOR decoding will fail and the legacy decoder may accept the corrupted bytes as a structurally valid (but semantically garbage) proof. This is acceptable because the resulting proof will always fail cryptographic verification.

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

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

Trait Implementations

impl<D: Clone + MembershipDigest> 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 + MembershipDigest> Debug for AggregateSignature<D>

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

Formats the value using the given formatter.

impl<'de, D: MembershipDigest> Deserialize<'de> for AggregateSignature<D>

where MerkleBatchPath<D::ConcatenationHash>: 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: MembershipDigest> From<&AggregateSignature<D>> for AggregateSignatureType

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

Converts to this type from the input type.

impl<D: MembershipDigest> Serialize for AggregateSignature<D>

where MerkleBatchPath<D::ConcatenationHash>: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.