Relationship to Weld v0.2
weld.md v0.2 | Here |
|---|---|
Note H(NOTE, asset, amount, pk_d, rho) | Note H(NOTE, asset, amount, owner, rho) with owner = H(OWNER_PARTY, pk_d) or H(OWNER_RECORD, record_rho) (§4.1). A protocol version bump for notes when this layer lands. |
| Hold record on the pool | A Proposal<T> template with Accept, Reject, Reclaim choices and a bound note (§8.1). No pool-level hold storage. |
initiate, resolve, reclaim circuits | Replaced by K and J. shield and unshield remain. |
| Context tree with three payment regions | Context tree with one region per record and note the party knows, plus args and phase leaves (§5.8). |
Ctx<Initiate | Accept | Reject> | Ctx<View> generated per template: a policy reads a record only if its customer is a stakeholder. |
Wrapper W, FI registry, fiState, salts, root windows, leakage profile | Unchanged. W gains a fourth VK slot, vk_workflow, selected by phase = 3. Its payment_root public is read as the fragment's context root. |
Framework: Rule, Verdict, #[weld::policy|params|state] | Unchanged. Adds #[weld::template] and #[weld::choice] (§7). |
| Leakage profile | Extended with a fragment row (§5.9). |
Weld v0.2 ships first, as specified. This layer replaces its main circuits in a later protocol version and keeps its policy layer byte for byte.