https://github.com/aborg-dev/zkwasm
https://github.com/aborg-dev/zkwasm
Last synced: about 1 year ago
JSON representation
- Host: GitHub
- URL: https://github.com/aborg-dev/zkwasm
- Owner: aborg-dev
- License: mit
- Created: 2023-08-13T16:33:19.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2023-09-07T18:01:33.000Z (almost 3 years ago)
- Last Synced: 2025-04-03T10:58:49.906Z (about 1 year ago)
- Language: Rust
- Size: 42 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# WASM -> ZK ASM compiler
## Dependencies
* https://github.com/0xPolygonHermez/zkevm-proverjs/ for testing resulting ZK ASM files
## Usage
### Generating ZK ASM
You can generate `.zkasm` file from WASM file with:
```sh
cargo run data/add.wasm
```
The result will be stored in `data/add.zkasm`.
Alternatively, you can add a new test WAT file into `data/file.wat` and declare it in `tests/integration_test.rs`.
Then, running
```sh
UPDATE_EXPECT=1 cargo test
```
will generate a new associated ZKASM file in `data/file.zkasm`.