Module sp_domains_fraud_proof::execution_prover
source · Expand description
This module provides the feature of generating and verifying the execution proof used in
the Subspace fraud proof mechanism. The execution is more fine-grained than the entire
block execution, block execution hooks (initialize_block and finalize_block) and any
specific extrinsic execution are supported.
Structs§
- Creates storage proof for verifying an execution without owning the whole state.