SBSomnath Banerjeeinzilkworm.hashnode.dev·Mar 31 · 7 min readOn correctly verifying ExecutionWitness in ZilkwormSom, 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. 00
