# ZK WASM Tech setup

1. Clone and build https://github.com/akashin/zkwasm/
2. Clone [wasmtime](https://github.com/near/wasmtime) update submodules and build it
- `git clone https://github.com/near/wasmtime.git`
- `git clone [e-mail]:near/wasmtime.git`
- Switch to `zkasm-hackaton` branch
3. Clone https://github.com/0xPolygonHermez/zkevm-proverjs/
- Switch to `training` branch
- Run `npm install` + `npm run build`
- You can now test .zkasm files with `node test/zkasmtest.js ../zkwasm/data/generated/counter.zkasm -d`

## Usage

cargo run --features=all-arch -p cranelift-tools --bin=clif-util wasm --target=sparc ../../zkwasm/data/add.wat

Test WAT files come from https://github.com/akashin/zkwasm/tree/main/data

Other useful options:
- `-D` prints machine code
- `-p` prints Cranelift IR