Crate beefy_verifier_primitives 

Primitive BEEFY types used by verifier and prover

Structs

ConsensusMessage

Parachain headers update with proof

ConsensusState

Client state definition for the light client

EncodedVersionedFinalityProof

finality proof

MmrProof

Mmr Update with proof

ParachainHeader

Parachain header and metadata needed for merkle inclusion proof

ParachainProof

Parachain proofs definition

PartialMmrLeaf

A partial representation of the mmr leaf

SignatureWithAuthorityIndex

Authority signature and its index in the signatures array

SignedCommitment

Signed commitment

Sp1BeefyProof

SP1 BEEFY proof. The proof bytes are prefixed with PROOF_TYPE_SP1 by the prover.

Constants

HASH_LENGTH

Hash length definition for hashing algorithms used

PROOF_TYPE_NAIVE

Proof type identifier for naive proofs

PROOF_TYPE_SP1

Proof type identifier for SP1 ZK proofs

Type Aliases

Hash

Represents a Hash in this library

TSignature

Authority Signature type