Struct SignedBlock 

pub struct SignedBlock { /* private fields */ }

Represents a block in the Miden blockchain that has been signed by the validators.

Signed blocks are applied to the chain’s state before they are proven.

Implementations

impl SignedBlock

pub fn new( header: BlockHeader, body: BlockBody, signatures: BlockSignatures, ) -> Result<Self, SignedBlockError>

Returns a new SignedBlock instantiated from the provided components.

Validates that the header and body correspond by checking the transaction commitment and note root. This does NOT verify the validator signatures, which can only be checked against the parent block’s validator keys; call Self::validate with the parent header to authenticate the block.

Involves non-trivial computation. Use Self::new_unchecked if the validation is not necessary.

pub fn new_unchecked( header: BlockHeader, body: BlockBody, signatures: BlockSignatures, ) -> Self

Returns a new SignedBlock instantiated from the provided components.

Warning

This constructor does not do any validation as to whether the arguments correctly correspond to each other, which could cause errors downstream.

pub fn header(&self) -> &BlockHeader

Returns the header of the block.

pub fn body(&self) -> &BlockBody

Returns the body of the block.

pub fn signatures(&self) -> &BlockSignatures

Returns the validators’ positional signatures over the block header.

pub fn into_parts(self) -> (BlockHeader, BlockBody, BlockSignatures)

Destructures this signed block into individual parts.

pub fn validate( &self, parent: Option<&BlockHeader>, ) -> Result<(), SignedBlockError>

Validates that the header and body correspond by checking the transaction commitment and note root, and – when parent is provided – authenticates the block against its parent.

Pass Some(parent) to additionally authenticate the block against its parent; pass None for the genesis block, which has no parent, or when only self-consistency is required.

parent MUST come from already-trusted chain state. Because prev_block_commitment is attacker-controlled, passing an untrusted parent would let a forged block self-authorize.

Errors

Returns an error if:

• the transaction commitment in the block header is inconsistent with the transactions included in the block body;
• the note root in the block header is inconsistent with the notes included in the block body; or
• a parent is provided and the block is not authorized by it: the block is the genesis block (which has no parent), the parent’s number or commitment do not match, or the signatures do not verify against the parent’s validator keys.

Trait Implementations

impl Clone for SignedBlock

fn clone(&self) -> SignedBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SignedBlock

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

Formats the value using the given formatter.

impl Deserializable for SignedBlock

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for SignedBlock

impl PartialEq for SignedBlock

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

Equality operator ==.

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

Inequality operator !=.

impl Serializable for SignedBlock

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for SignedBlock