## Background
* WebAssembly
* zkWasm
* DA

## What is fully stateful zk provable applications

flowchart LR 
    coonect["connect your wallet"] --> play
    play --> generate["zk proof generation"]
    generate --> verification["on-chain verification and settlement "]

## How does it work under the hood

%%{init: {"flowchart": {"htmlLabels": false}} }%%
flowchart LR
    App <--> Node["ZKC Node"]
    State["ZKC state sercie"]
    Node --> State
    State --> DA
    State --> Prover["zkWasm prover network"]
    Node --> Settlement
    Node <--> Prover

## How to use it as a developer