Struct mithril_stm::multi_sig::Signature

pub struct Signature(/* private fields */);

MultiSig signature, which is a wrapper over the BlstSig type.

Implementations

impl Signature

pub fn verify( &self, msg: &[u8], mvk: &VerificationKey ) -> Result<(), MultiSignatureError>

Verify a signature against a verification key.

pub fn eval(&self, msg: &[u8], index: Index) -> [u8; 64]

Dense mapping function indexed by the index to be evaluated. We hash the signature to produce a 64 bytes integer. The return value of this function refers to ev = H("map" || msg || index || σ) <- MSP.Eval(msg,index,σ) given in paper.

pub fn to_bytes(self) -> [u8; 48]

Convert an Signature to its compressed byte representation.

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

Convert a string of bytes into a MspSig.

Error

Returns an error if the byte string does not represent a point in the curve.

pub fn aggregate( vks: &[VerificationKey], sigs: &[Signature] ) -> Result<(VerificationKey, Signature), MultiSignatureError>

Aggregate a slice of verification keys and Signatures by first hashing the signatures into random scalars, and multiplying the signature and verification key with the resulting value. This follows the steps defined in Figure 6, Aggregate step.

pub fn verify_aggregate( msg: &[u8], vks: &[VerificationKey], sigs: &[Signature] ) -> Result<(), MultiSignatureError>

Verify a set of signatures with their corresponding verification keys using the aggregation mechanism of Figure 6.

pub fn batch_verify_aggregates( msgs: &[Vec<u8>], vks: &[VerificationKey], sigs: &[Signature] ) -> Result<(), MultiSignatureError>

Batch verify several sets of signatures with their corresponding verification keys.

Trait Implementations

impl Clone for Signature

fn clone(&self) -> Signature

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Signature

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Signature

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Ord for Signature

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Signature

fn eq(&self, other: &Signature) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for Signature

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for Signature

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<'a> Sum<&'a Signature> for Signature

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = &'a Self>,

Method which takes an iterator and generates Self from the elements by “summing up” the items.

impl Copy for Signature

impl Eq for Signature

impl StructuralPartialEq for Signature