Struct mithril_stm::multi_sig::ProofOfPossession

pub struct ProofOfPossession { /* private fields */ }

MultiSig proof of possession, which contains two elements from G1. However, the two elements have different types: k1 is represented as a BlstSig as it has the same structure, and this facilitates its verification. On the other hand, k2 is a G1 point, as it does not share structure with the BLS signature, and we need to have an ad-hoc verification mechanism.

Implementations

impl ProofOfPossession

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

Convert to a 96 byte string.

Layout

The layout of a MspPoP encoding is

• K1 (G1 point)
• K2 (G1 point)

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

Deserialize a byte string to a PublicKeyPoP.

Trait Implementations

impl Clone for ProofOfPossession

fn clone(&self) -> ProofOfPossession

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProofOfPossession

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofOfPossession

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

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&SigningKey> for ProofOfPossession

fn from(sk: &SigningKey) -> Self

Convert a secret key into an MspPoP. This is performed by computing k1 = H_G1(b"PoP" || mvk) and k2 = g1 * sk where H_G1 hashes into G1 and g1 is the generator in G1.

impl PartialEq for ProofOfPossession

fn eq(&self, other: &ProofOfPossession) -> 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 Serialize for ProofOfPossession

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ProofOfPossession

impl Eq for ProofOfPossession

impl StructuralPartialEq for ProofOfPossession