[DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
[DEPRECATED-the currently maintained repo is https://github.com/TrueBitFoundation/ocaml-offchain]. off-chain WASM interpreter with support for generating merkle proofs of the internal state of the machine.