Module validation

Implementation of stateless validation

Enums

StatelessValidationError

Errors that can occur during stateless validation.

Functions

stateless_validation

Performs stateless validation of a block using the provided witness data.

verify_execution_witness

Verifies execution witness ExecutionWitness against an expected pre-state root.