Struct mithril_stm::stm::StmAggrSig

pub struct StmAggrSig<D: Clone + Digest + FixedOutput> {
    pub batch_proof: BatchPath<D>,
    /* private fields */
}

StmMultiSig uses the “concatenation” proving system (as described in Section 4.3 of the original paper.) This means that the aggregated signature contains a vector with all individual signatures. BatchPath is also a part of the aggregate signature which covers path for all signatures.

Fields

batch_proof: BatchPath<D>

The list of unique merkle tree nodes that covers path for all signatures.

Implementations

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

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

Verify aggregate signature, by checking that

• each signature contains only valid indices,
• the lottery is indeed won by each one of them,
• the merkle tree path is valid,
• the aggregate signature validates with respect to the aggregate verification key (aggregation is computed using functions MSP.BKey and MSP.BSig as described in Section 2.4 of the paper).

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

Batch verify a set of signatures, with different messages and avks.

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

Convert multi signature to bytes

Layout

• Number of the pairs of Signatures and Registered Parties (SigRegParty) (as u64)
• Size of a pair of Signature and Registered Party
• Pairs of Signatures and Registered Parties
• Batch proof

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

Extract a StmAggrSig from a byte slice.

Trait Implementations

impl<D: Clone + Clone + Digest + FixedOutput> Clone for StmAggrSig<D>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: Debug + Clone + Digest + FixedOutput> Debug for StmAggrSig<D>

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

Formats the value using the given formatter.

impl<'de, D: Clone + Digest + FixedOutput> Deserialize<'de> for StmAggrSig<D>

where BatchPath<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> Serialize for StmAggrSig<D>

where BatchPath<D>: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.