Skip to content

SCORU: Wasm: Add lib_scoru_wasm and call from Proto Env

Hans Hoglund requested to merge hans@scoru-wasm-env into master

Add skeleton lib_scoru_wasm and call it from Protocol Environment.

Fixes #3090 (closed) #3095

(along with !5529 (merged))

TODO

  • Add tests showing that it can produce proofs
  • Add tests showing that it can verify proofs
  • Reduce lib_scoru_wasm to skeleton
  • Clean up
  • Document what methods may fail at runtime (esp in Proto/verif path)
  • Check Tree2 ticket resolved

Depends on !5481 (merged) !5416 (merged)

Context

Manually testing the MR

make -C manifest && make all build-unreleased
dune exec src/proto_alpha/lib_protocol/test/integration/operations/main.exe -- test "^sc rollup$"
dune test src/lib_webassembly
dune exec src/proto_alpha/lib_protocol/test/integration/main.exe -- test "^sc rollup wasm$"
make test-webassembly

Checklist

  • Document the interface of any function added or modified (see the coding guidelines)
  • Document any change to the user interface, including configuration parameters (see node configuration)
  • Provide automatic testing (see the testing guide).
  • For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst for the protocol and the environment, CHANGES.rst at the root of the repository for everything else).
  • Select suitable reviewers using the Reviewers field below.
  • Select as Assignee the next person who should take action on that MR
Edited by Hans Hoglund

Merge request reports