ocaml-offchain icon indicating copy to clipboard operation
ocaml-offchain copied to clipboard

Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification

Results 19 ocaml-offchain issues
Sort by recently updated
recently updated
newest added

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

There must be a cleaner way to implement them.

help wanted

Probably these too have to be implemented: 193. Truncate64 194. Ftruncate64

enhancement

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...

enhancement

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

question

Make sure that it is implemented correctly.

enhancement