ocaml-offchain
ocaml-offchain copied to clipboard
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
I unsuccessfully tried running a .wasm file using the interpreter. The error messages could be more helpful. I then tried running the .js file using our `emscripten-module-wrapper` and got more...
Miscellaneous fixes to make it more robust and secure.
Research different merkle tree's for best performance
This would increase performance
Currently only one computation can be run on VM at a time
Probably these too have to be implemented: 193. Truncate64 194. Ftruncate64
The following system calls just need simple stubs. They could be handled using the generic system calls, but it will be more efficient to add stubs. 29. Pause:nothing to implement...
14. mknod . what is this? 33. Access: what is this? 54. Ioctl 60. umask 85. Readlink: ??? 144. Msync: ??? 221. Fcntl64 297. Mknodat 307. Faccessat 324. Fallocate