Demo Map
Named surfaces for reproducing ZK-CosmWasm behavior as an external developer.
| Demo / artifact | Location | What it shows |
|---|---|---|
| VM proof path (unit / integration) | packages/vm tests (e.g. proof_instance_verify_*) | Cold path CircuitInfo → Circuit → verify; curve_id routing |
| Circuit cache benchmarks | packages/vm/benches/, criterion under target/criterion/ZK* | Pin/hot/warm load costs |
| Example Wasm contracts | contracts/* (esp. crypto-oriented samples) | Host crypto patterns; extend with zk where enabled |
| vote-sdk | valargroup/vote-sdk | Private voting stack (see upstream README) |
| zk-vote-bridge | packages/zk-vote-bridge | Footer-wrapped vote circuits for CosmWasm verify |
| Crosslink / PoW LC | zebra-crosslink, cw-ics08-wasm-crosslink | Hybrid finality + PoW header fixtures |
| Bounties e2e scripts | monorepo crates/zec-bounties/scripts | Auth handshake and public-mode ship path |
Suggested learning order
- Read Proof VM overview and Architecture.
- Run or read a
proof_instance_verifytest inpackages/vm. - Serialize a toy circuit footer and store via VM cache APIs.
- Optionally run vote-sdk or light-client scripts if your product needs them.
Hackathon submission themes: Community hackathon.