On correctly verifying ExecutionWitness in Zilkworm

3d ago · 7 min read · 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.