Inference, a formal verification framework, analyzes three WebAssembly-based blockchains for verifiability. Stellar Soroban emerges as the most feasible target due to its minimalist architecture and strict separation of business logic from infrastructure, unlike Polkadot's monolithic design.