zkWASM
Last updated
Was this helpful?
Last updated
Was this helpful?
Start by cloning the W3bstream repository, where you can start from a template example:
Open the folder in a code editor and make the required modifications based on your actual data message and prover logic.
Enter the zkWASM circuit folder
Build the prover with:
The prover binary will be saved in zkwasm_demo.wasm.
Execute the docker run command for local verification. Note that the directory where the proof is located needs to be mounted into the image. It's simple, just input the proof file. You can also use the help command to check how to use it.
Because a dependency of zkwasm-circuit is still under development and not yet ready for public release, it is recommended to use the Docker image method above for local verification.
Run the following command to build the verifier:
After the command is successful, a zkwasm-circuit executable file will be generated in the target/release directory.
You can execute the binary file in the target/release directory. To verify a proof, simply provide the proof file as an argument. For more details on usage, you can use the help command.
to learn how to generate a local proof inside a local W3bstream node