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 path | Book chapter |
|---|---|
README.md | Introduction, Proof VM |
ZCASH_INTEGRATION.md | Proof VM (context only; no TZE design dump) |
ZK_COSMWASM_ZKVM_SPEC.md | Architecture |
ZK_PROOF_VERIFICATION_ARCHITECTURE.md | Architecture |
ZK_CIRCUIT_QUICK_REFERENCE.md | Circuits And Verifying Keys |
ZK_CIRCUIT_SERIALIZATION_FORMAT.md | Circuits And Verifying Keys |
ZK_COSMWASM_CIRCUIT_MACRO.md | Circuits And Verifying Keys |
ZK_STORAGE_AND_CACHING.md | Storage And Caching |
docs/CAPABILITIES*.md, GAS.md, FEATURES.md | Gas And Capabilities |
packages/vm/src/environment.rs | Gas And Capabilities (GasConfig) |
Tooling
| Path | Book 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
| Path / repo | Book chapter |
|---|---|
| zebra-crosslink, cw-ics08-wasm-crosslink | Light Clients, Crosslink, Pure PoW |
| ibc-go 08-wasm, solidity-ibc-eureka | Design Survey |
| valargroup/vote-sdk | Vote-Sdk |
terp-rs smart-accounts, Terp x/smart-account | Smart-Account Authenticators |
crates/zec-bounties/ | Dao Bounties Embed |