Generated — do not edit. Source of truth:
abstract/re-zerve/crate/product-docs/vocs/dependencies.mdx. Edit there, then runpnpm sync:product-docs.
Dependencies
A private lease uses four surfaces next to public Akash: the provider image, a CosmWasm VM, ZAP1 IBC v2 pay inclusion, and FROST holders. The public path stays the default when the private path is off.
What talks to what
Crosslink headers are a different client. They are not on this pay path.
ZAP1 IBC v2 light client
Pay inclusion is a HOSTING_PAYMENT leaf in the ZAP1 BLAKE2b tree, plus an IBC v2 packet bind, verified on-chain.
| Piece | What it is | What it is not |
|---|---|---|
zap1-verify 0.2.1 | Builds the Merkle witness (BLAKE2b) | Not the on-chain execute |
cw-zap1-ibcv2 | CosmWasm attestation module: create / attest / Match | Not the nine ICS-08 08-wasm entrypoints |
cw-ics08-wasm-zap1 | 08-wasm light-client crate | Not the selected public IBC client |
in-proc pir-zap1-lc | Lab helper | Not the light client |
| Crosslink 08-wasm | Header client | Not ZAP1 pay inclusion |
The dotted edge is lab sim (credit_transcript). Product credit is the solid path. Full ICS-08 nine-entrypoint host as the live Terp client is not on the public network yet.
Details: engineer/ZAP1_IBCV2_LC.md.
CosmWasm VM
Contracts run on a CosmWasm VM whose host verifies Halo2 (proof_instance_verify) against a pinned verifying key. A missing host fails closed.
| Contract | Role |
|---|---|
cw-pir-commit | Ask/bid commitments. Match is equality of stored hex. |
cw-pir-escrow | Open / accrue / close grant and events. No BankMsg. No uterp as money. |
cw-zap1-ibcv2 | Packet attestation + Halo2 accept |
Execute carries proof + public instances (merkle root, FROST group, amount class, payment kind). Merkle siblings stay in the witness. CosmWasm does not pay Ironwood notes.
FROST multisig sidecars
Spend authority is RFC 9591 FROST (frost-ed25519). n and t are parameters. The first demo is t=2, n=3: Penumbra validator sidecars (one on Akash, two in isolated Wasmer). The crate names this FrostParams::FIRST_DEMO. Dealer packages are not the product path.
pir-frost-holder is one KeyPackage in one OS process. Line protocol on stdin/stdout (COMMIT / SIGN). Dealer packages (generate_with_dealer) are forbidden on the product path.
ZIP-312 RedPallas is not in Zakura. The named stand-in is frost-spend-v1 + ZIP-32 of the reconstructed DKG group seed.
Provider image / PIR support
| Image | Role |
|---|---|
ghcr.io/akash-network/provider | Stock public bid/lease. No PIR envelope path. |
akash-provider-pir:local (Dockerfile.pir) | Lab fork. pir sidecar keep-alive, pir serve sibling HTTP, docker.sock. |
Same binary, two modes: private path off → public Akash bid engine. Private path on → allocate after a commitment match. PIR_PROVIDER_IMAGE selects this build.
Details: engineer/PROVIDER_FORK.md.