Struct hotshot_types::qc::BitVectorQc

pub struct BitVectorQc<A: AggregateableSignatureSchemes + Serialize + for<'a> Deserialize<'a>>(PhantomData<A>);

An implementation of QC using BLS signature and a bit-vector.

Tuple Fields

0: PhantomData<A>

Trait Implementations

impl<'de, A: AggregateableSignatureSchemes + Serialize + for<'a> Deserialize<'a>> Deserialize<'de> for BitVectorQc<A>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A> QuorumCertificateScheme<A> for BitVectorQc<A>

where A: AggregateableSignatureSchemes + Serialize + for<'a> Deserialize<'a>, A::VerificationKey: SignatureKey,

fn sign<R: CryptoRng + RngCore, M: AsRef<[A::MessageUnit]>>( pp: &A::PublicParameter, sk: &A::SigningKey, msg: M, prng: &mut R, ) -> Result<A::Signature, SignatureError>

Sign a message with the signing key

type QcProverParams = QcParams<<A as SignatureScheme>::VerificationKey, <A as SignatureScheme>::PublicParameter>

Public parameters for generating the QC E.g: snark proving/verifying keys, list of (or pointer to) public keys stored in the smart contract.

type QcVerifierParams = QcParams<<A as SignatureScheme>::VerificationKey, <A as SignatureScheme>::PublicParameter>

Public parameters for validating the QC E.g: verifying keys, stake table commitment

type Qc = (<A as SignatureScheme>::Signature, BitVec)

Type of the actual quorum certificate object

type MessageLength = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

Allows to fix the size of the message at compilation time.

type QuorumSize = U256

Type of the quorum size (e.g. number of votes or accumulated weight of signatures)

fn assemble( qc_pp: &Self::QcProverParams, signers: &BitSlice, sigs: &[A::Signature], ) -> Result<Self::Qc, SignatureError>

Computes an aggregated signature from a set of partial signatures and the verification keys involved

fn check( qc_vp: &Self::QcVerifierParams, message: &GenericArray<A::MessageUnit, Self::MessageLength>, qc: &Self::Qc, ) -> Result<Self::QuorumSize, SignatureError>

Checks an aggregated signature over some message provided as input

fn trace( qc_vp: &Self::QcVerifierParams, message: &GenericArray<A::MessageUnit, Self::MessageLength>, qc: &Self::Qc, ) -> Result<Vec<A::VerificationKey>, SignatureError>

Trace the list of signers given a qc.

impl<A: AggregateableSignatureSchemes + Serialize + for<'a> Deserialize<'a>> Serialize for BitVectorQc<A>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.