Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Source Document Map

Map engineering source-of-truth documents → reader chapters. Prefer the chapters for how to build; keep full specs in the linked sources when you need exhaustive detail.

This Crate (permissionlessweb/cosmwasm)

Repository pathBook chapter
README.mdIntroduction, Proof VM
ZCASH_INTEGRATION.mdProof VM (context only; no TZE design dump)
ZK_COSMWASM_ZKVM_SPEC.mdArchitecture
ZK_PROOF_VERIFICATION_ARCHITECTURE.mdArchitecture
ZK_CIRCUIT_QUICK_REFERENCE.mdCircuits And Verifying Keys
ZK_CIRCUIT_SERIALIZATION_FORMAT.mdCircuits And Verifying Keys
ZK_COSMWASM_CIRCUIT_MACRO.mdCircuits And Verifying Keys
ZK_STORAGE_AND_CACHING.mdStorage And Caching
docs/CAPABILITIES*.md, GAS.md, FEATURES.mdGas And Capabilities
packages/vm/src/environment.rsGas And Capabilities (GasConfig)

Tooling

PathBook chapter
crates/cw-orchestrator/ (+ circuit macros)Cw-Orch Testing And Scripting
crates/ict-rs/ (Docker spawn, QuickSpawnEnv, terp ZK suite)Cw-Orch Testing And Scripting

Ecosystem