Validates the precondition data against the provided output roots, blobs, and local/global layer-2 (L2) head block numbers. This function performs mu

Compute the chunk_trace commitment from the three input hashes. Returns: ```text SHA256(results_hash || block_ctx_hash || expected_state_hash) ```

Creates a deep copy of the current instance. This method performs a "deep clone" of the object by cloning all its fields, including any nested fields

Canonical SHA256 of the block execution context (`BlockEnv` + `OpBlockExecutionCtx`).

Canonical SHA256 of the expected state carried by a partial execution.

Computes intermediate outputs from the provided blob data. This function takes a reference to `BlobData` and a specified number of blocks and compute

Recomputes the [PreimageKey] for a piece of data to validate its authenticity This function ensures that the provided `value` is consistent with the

An asynchronous function that waits until the executor is ready. This function calls the `wait_until_ready` method on the internal `executor` and awa

This method provides access to the `BlobFetchRequest` objects contained within the `PreconditionValidationData::Validity` variant.

Computes a single hash from an iterator of hashes. This function accepts an iterator of references to `B256` hashes, concatenates their byte represen

Total blocks proven by profile and its children

Returns the faulty output index

Asynchronously retrieves blobs associated with the provided indexed blob hashes. This function fetches blobs from an internal storage, ensuring that

Inserts a preimage into the preimages collection. This method validates the given `key` and `value` before inserting them into the collection. If the

Parses a blob hint from raw bytes. Supports two formats: - 40 bytes (new): hash (32) + timestamp (8) - 48 bytes (legacy): hash (32) + index (8) + time

Encodes [`PostExecMode`] as a single byte. `Verify` carries an embedded post-exec payload that never occurs on the proving path, so it is rejected. S

This function calculates a 256-bit hash that uniquely represents the precondition for a particular state transition in a Layer 2 scaling solution. The

Recovers a continuous execution trace from the collection target

Splits a provided two-dimensional vector of `Execution` objects into two separate structures: - A nested two-dimensional vector where each inner `Exec

Build a chunk whose single result carries one explicit state entry, for exercising per-account / per-slot cached-path invariants.

Verifies the stitching journal of an FPVM image. This function checks the validity of a journal based on its digest and the existing set of proven FP

Round-trip-aware equality: persistent fields are compared field-wise, and the wrapper is also asserted to drop the transient `account_id` and `code` r