VerkleExecutionWitness
Experimental, object format could eventual change. An object that provides the state and proof necessary for verkle stateless execution
Properties
stateDiff
stateDiff:
VerkleStateDiff[]
An array of state diffs. Each item corresponding to state accesses or state modifications of the block. In the current design, it also contains the resulting state of the block execution (post-state).
Defined in
verkleProof
verkleProof:
VerkleProof
The verkle proof for the block. Proves that the provided stateDiff belongs to the canonical verkle tree.