---
# System prepended metadata

title: Develop a fully stateful zk provable app using Avail DA

---


## Background 
* WebAssembly 
* zkWasm 
* DA 

## What is fully stateful zk provable applications

```mermaid 
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

```mermaid
%%{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

