Skip to content

feat(dlv): VaultStateAnchorV2 — history-bound, with q inside the signature #692

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cryptskii merged 2 commits into from
Aug 22, 2026
Merged

feat(dlv): VaultStateAnchorV2 — history-bound, with q inside the signature #692

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
e597f1e
feat(dlv): VaultStateAnchorV2 — history-bound, with q inside the sign…
cryptskii Aug 21, 2026
bf91237
fix(dlv): the v2 verifier requires an authenticated owner key
cryptskii Aug 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions dsm_client/deterministic_state_machine/dsm/src/common/domain_tags/dsm/misc/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,7 @@ pub(super) const TAGS: &[TaggedHashDomain<'static>] = &[
TAG_DSM_STATE_ENTROPY,
TAG_DSM_STORAGE_SET_V1,
TAG_DSM_VAULT_STATE,
TAG_DSM_VAULT_STATE_ANCHOR_V2,
TAG_DSM_VAULT_STATE_PARENT_GENESIS_V2,
TAG_DSM_SYSTEM_OWNER,
TAG_DSM_TOKEN_FACTORY,
Expand Down
7 changes: 7 additions & 0 deletions dsm_client/deterministic_state_machine/dsm/src/common/domain_tags/dsm/misc/protocol.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,13 @@ pub const TAG_DSM_SETTLEMENT_SLOT_CLAIM_V1: TaggedHashDomain<'static> =
crate::tagged_domain!(b"DSM/settlement-slot-claim/v1");
pub const TAG_DSM_SETTLEMENT_SLOT_CLAIM_ENVELOPE_V1: TaggedHashDomain<'static> =
crate::tagged_domain!(b"DSM/settlement-slot-claim-envelope/v1");
/// History-bound vault state anchor, Rev 15 Definition 6.4:
/// `p_v = H(tag ‖ 0x00 ‖ vault_id ‖ generation ‖ parent_state_commitment
/// ‖ reserves_digest ‖ storage_set_id ‖ q)`. A distinct domain from the legacy
/// `DSM/vault-state-anchor\0`, which is what makes Req 6.6's clean cut
/// structural rather than a matter of caller discipline.
pub const TAG_DSM_VAULT_STATE_ANCHOR_V2: TaggedHashDomain<'static> =
crate::tagged_domain!(b"DSM/vault-state-anchor/v2");
/// Canonical DLV state commitment: `c_n = H(tag ‖ 0x00 ‖ CCB(V_n))`, over the
/// `VaultStateV2` encoding of the CCB object registry (class `0x0001`).
pub const TAG_DSM_VAULT_STATE: TaggedHashDomain<'static> =
Expand Down
1 change: 1 addition & 0 deletions dsm_client/deterministic_state_machine/dsm/src/dlv/mod.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,3 +15,4 @@ pub mod vault_reserve_inclusion;
pub mod vault_reserve_leaf;
pub mod vault_smt_leaf;
pub mod vault_state_anchor;
pub mod vault_state_anchor_v2; // Rev 15 Def 6.4 — history-bound, clean cut from V1
Loading
Loading