SCORU: Wasm: Add lib_scoru_wasm and call from Proto Env
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