CSMT proof verifier — running in your browser

This page loads csmt-verify.wasm, a pure-Haskell verifier compiled with the GHC WASM backend, and runs it under a WASI polyfill. No server, no Haskell runtime on the page — the entire verification happens in the sandboxed WebAssembly module.

Fixture

Opcode Root hash (64 hex chars) Proof CBOR (hex)

idle

Wasm stdout / stderr

Artifact: csmt-verify.wasm (... bytes). Source: lambdasistemi/haskell-mts.