wxk987308259/emscripten-module-wrapper: Installs a wrapper to emscripten modules that can be used to record data needed for verified computations. · GitHub

This is a wrapper to collect information needed to run WebAssembly modules generated by emscripten.

The idea is that we should be able to run any emscripten generated wasm module, and then post the results as a verified computation using TrueBit. First the script prepare.sh adds the wrapper to the js file that was generated by emscripten. Then this file can be ran using Node.js. This will collect the information about calls and memory changes that can be recorded, and used for verified computations. The script first uses the ocaml interpreter to generate a wasm file that has our runtime linked in. Now this file can be ran using the ocaml off-chain interpreter.

Requires a version of node.js with WebAssembly support. At least version 8.x should work.

git submodule init
git submodule update
cd ocaml-offchain/interpreter
make

Usage:

node prepare.js file.js