On correctly verifying ExecutionWitness in Zilkworm

Som, 31 March 2026 This note examines the sufficiency of post-state root verification as the sole validation mechanism for the execution witness in Zilkworm, a stateless ZK block prover for Ethereum.