search

near / wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift
https://wasmtime.dev/
Apache License 2.0
3 stars 4 forks source link

Build ZK WASM infrastructure for Stage 1 #23

Closed aborg-dev closed 9 months ago

aborg-dev commented 11 months ago

For the Stage 1 of ZK WASM we need the following infrastructure:

- [x] Replace [`gen.sh`](https://github.com/near/wasmtime/blob/zkasm-hackaton/cranelift/data/gen.sh) with Rust testcase (e.g. using [`expect-test`](https://github.com/rust-analyzer/expect-test)), @akashin
- [x] Migrate from zkasm-hackathon to main branch and set up code reviews
- [x] Replace [`wasm.rs`](https://github.com/near/wasmtime/blob/zkasm-hackaton/cranelift/src/wasm.rs) with separate tool to generate ZK ASM
- [x] Rebase on bytecodealliance/wasmtime
- [x] Prohibit merging and directly pushing to near/wasmtime without reviewers approval
- [ ] https://github.com/near/wasmtime/issues/17
- [ ] https://github.com/near/wasmtime/issues/18
aborg-dev commented 9 months ago

We have most of the infrastructure ready - the next step here is importing more test cases from WASM Spec test: https://github.com/near/wasmtime/issues/17, so I'm going to close this issue in favor of that one.

aborg-dev commented 9 months ago

We have i32 and i64 spec tests imported now and we have infra to run them as a part of CI.