Struct sp_beefy::witness::SignedCommitmentWitness

pub struct SignedCommitmentWitness<TBlockNumber, TMerkleRoot> {
    pub commitment: Commitment<TBlockNumber>,
    pub signed_by: Vec<bool>,
    pub signatures_merkle_root: TMerkleRoot,
}

A light form of SignedCommitment.

This is a light (“witness”) form of the signed commitment. Instead of containing full list of signatures, which might be heavy and expensive to verify, it only contains a bit vector of validators which signed the original SignedCommitment and a merkle root of all signatures.

This can be used by light clients for 2-phase interactive verification (for instance for Ethereum Mainnet), in a commit-reveal like scheme, where first we submit only the signed commitment witness and later on, the client picks only some signatures to verify at random.

Fields

commitment: Commitment<TBlockNumber>

The full content of the commitment.

signed_by: Vec<bool>

The bit vector of validators who signed the commitment.

signatures_merkle_root: TMerkleRoot

A merkle root of signatures in the original signed commitment.

Implementations

impl<TBlockNumber, TMerkleRoot> SignedCommitmentWitness<TBlockNumber, TMerkleRoot>

pub fn from_signed<TMerkelize, TSignature>( signed: SignedCommitment<TBlockNumber, TSignature>, merkelize: TMerkelize ) -> (Self, Vec<Option<TSignature>>)where TMerkelize: FnOnce(&[Option<TSignature>]) -> TMerkleRoot,

Convert SignedCommitment into SignedCommitmentWitness.

This takes a SignedCommitment, which contains full signatures and converts it into a witness form, which does not contain full signatures, only a bit vector indicating which validators have signed the original SignedCommitment and a merkle root of all signatures.

Returns the full list of signatures along with the witness.

Trait Implementations

impl<TBlockNumber: Debug, TMerkleRoot: Debug> Debug for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>

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

Formats the value using the given formatter.

impl<TBlockNumber, TMerkleRoot> Decode for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>where Commitment<TBlockNumber>: Decode, TMerkleRoot: Decode,

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn skip<I>(input: &mut I) -> Result<(), Error>where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<TBlockNumber, TMerkleRoot> Encode for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>where Commitment<TBlockNumber>: Encode, TMerkleRoot: Encode,

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy )

Convert self to a slice and append it to the destination.

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode(&self) -> Vec<u8, Global>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> Rwhere F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<TBlockNumber: PartialEq, TMerkleRoot: PartialEq> PartialEq<SignedCommitmentWitness<TBlockNumber, TMerkleRoot>> for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>

fn eq(&self, other: &SignedCommitmentWitness<TBlockNumber, TMerkleRoot>) -> 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<TBlockNumber, TMerkleRoot> EncodeLike<SignedCommitmentWitness<TBlockNumber, TMerkleRoot>> for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>where Commitment<TBlockNumber>: Encode, TMerkleRoot: Encode,

impl<TBlockNumber: Eq, TMerkleRoot: Eq> Eq for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>

impl<TBlockNumber, TMerkleRoot> StructuralEq for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>

impl<TBlockNumber, TMerkleRoot> StructuralPartialEq for SignedCommitmentWitness<TBlockNumber, TMerkleRoot>