Skip to main content

BlockLogHeader

Struct BlockLogHeader 

Source
pub struct BlockLogHeader {
    pub batch_seq: u64,
    pub prev_block_hash: [u8; 32],
    pub commands_hash: [u8; 32],
    pub batch_root: [u8; 32],
    pub command_count: u64,
    pub first_seq: u64,
    pub timestamp: u64,
    pub signer: [u8; 20],
    pub signature: Vec<u8>,
}
Expand description

Serializable signed block header stored in the WAL block log.

The header commits to an ordered batch of engine commands through commands_hash, and to the previous block through prev_block_hash. The signature is stored next to the signed fields, but is intentionally excluded from block_hash().

Fields§

§batch_seq: u64

Monotonic block number, starting at zero.

§prev_block_hash: [u8; 32]

Hash of the previous block header. Zero for the genesis block.

§commands_hash: [u8; 32]

keccak256(cmd1_identity_hash || cmd2_identity_hash || ...).

§batch_root: [u8; 32]

Composite commitment root for state, risk, command, obligation, and intent roots.

§command_count: u64

Number of commands committed by this block.

§first_seq: u64

Global command sequence number of the first command in this block.

§timestamp: u64

Timestamp in milliseconds when the block was finalized.

§signer: [u8; 20]

Public address of the signer encoded as raw EVM address bytes.

§signature: Vec<u8>

Signature bytes over block_hash(). Empty means unsigned.

Implementations§

Source§

impl BlockLogHeader

Source

pub fn unsigned_from_identity_hashes( batch_seq: u64, prev_block_hash: [u8; 32], identity_hashes: &[[u8; 32]], batch_root: [u8; 32], first_seq: u64, timestamp: u64, signer: [u8; 20], ) -> Self

Build an unsigned block-log header from ordered command identity hashes.

This is intentionally pure. Callers provide sequencing, timestamp, signer identity, and batch root. The function derives only the command commitment and command count.

Source

pub fn block_hash(&self) -> [u8; 32]

Compute the block hash over the signed fields. The signature is excluded.

Source

pub fn validator_rsm_metadata_hash(&self, directive_hash: [u8; 32]) -> [u8; 32]

Compute the Solidity ValidatorRsm.blockHash(metadata) value for this header.

This is intentionally distinct from block_hash(). The WAL block hash signs local log metadata, including timestamp and signer, while ValidatorRsm commits to the on-chain directive hash instead.

Trait Implementations§

Source§

impl Clone for BlockLogHeader

Source§

fn clone(&self) -> BlockLogHeader

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for BlockLogHeader

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for BlockLogHeader

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl PartialEq for BlockLogHeader

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for BlockLogHeader

Source§

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

Serialize this value into the given Serde serializer. Read more
Source§

impl Eq for BlockLogHeader

Source§

impl StructuralPartialEq for BlockLogHeader

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,