Quick Start
ZKWASM's philosophy is trying to provide a customizable code stack that users can interactive with the ZKWASM virtual machine at different levels. This quick start is a tutorial that assumes the user runs ZKWASM VM as an integrated product that takes in a compiled WASM image, inputs for this image and then generates an execution proofs after running it.
Generating a ZK-proven application whose proof is deployment ready is broken down into three stages.
Setup Phase.
Proof Phase.
Deploy Phase.
In the Proof Phase a web assembly image is processed by zkWasm to generate a zkSNARK circuit for the application itself. The Proof Phase generates a zero knowledge proof corresponding to the applications execution against a guest and host virtual machine. Finally in the Deployment Phase a verification contract for the application is deployed on an EVM compatible network.
Moreover, before we start to generate proofs in ZKWASM, we need to prepare a WASM image that is supposed to be executed.
Last updated