feat: evo snapshot v3 — canonical bounded codec and context-free validation - #7592

Open

PastaPastaPasta wants to merge 19 commits into

dashpay:developfrom

PastaPastaPasta:feat/evo-snapshot-format

Commits on Aug 28, 2026

feat: add the evo snapshot v3 canonical bounded codec and context-free validation

PastaPastaPasta
and
claude
committed
59bc2ea
fix: build the ReadFixedBitSet trailing-bits mask without an implicit sign change

PastaPastaPasta
and
claude
committed
00228ce
test: cover the bounded CRangesSet unserializer

PastaPastaPasta
and
claude
committed
4488b64
fix: allow partial evo snapshot quorum history
PastaPastaPasta
committed
0765965
fix: reject full-domain ranges during deserialization
PastaPastaPasta
committed
5aea447
fix: reject noncanonical MNHF signal order during deserialization

PastaPastaPasta
and
claude
committed
aea2e8c
fix: bound commitment bitsets by a format ceiling instead of static LLMQ size

PastaPastaPasta
and
claude
committed
5967566
fix: validate credit-pool amounts and MNHF signal semantics context-free

PastaPastaPasta
and
claude
committed
fdaff57
fix: replace previous contents when deserializing an evo snapshot

PastaPastaPasta
and
claude
committed
8d4ac9b
fix: bound same-prefix proTxHash runs against HAMT collision blowup

PastaPastaPasta
and
claude
committed
8512a65
fix: bind the CbTx height in VerifyEvoSnapshotCbTx

PastaPastaPasta
and
claude
committed
776188b
fix: replace per-quorum contents when deserializing CQuorumSnapshotData

PastaPastaPasta
and
claude
committed
1ea1e01
fix: bound cumulative historical MN-list reconstruction work

PastaPastaPasta
and
claude
committed
ec1ef2d
refactor: drop the C prefix from the new evo snapshot types
PastaPastaPasta
committed
1a90e7e
refactor: give every evo snapshot collection one explicit canonical comparator
PastaPastaPasta
committed
babf47e
build: list evo/snapshot.cpp where it is actually used
PastaPastaPasta
committed
da25ab6
fix: enforce the decoder's historical operation budget during validation
PastaPastaPasta
committed
7183a4d
test: exercise evo per-quorum replacement for every cleared vector
PastaPastaPasta
committed
c94bb8f
test: name the noncanonical CRangesSet case for its actual defect
PastaPastaPasta
committed
ccf37fe

Navigation Menu

Uh oh!

feat: evo snapshot v3 — canonical bounded codec and context-free validation - #7592

feat: evo snapshot v3 — canonical bounded codec and context-free validation#7592
PastaPastaPasta wants to merge 19 commits into
dashpay:developfrom
PastaPastaPasta:feat/evo-snapshot-format

Commits on Aug 28, 2026

feat: add the evo snapshot v3 canonical bounded codec and context-free validation

fix: build the ReadFixedBitSet trailing-bits mask without an implicit sign change

test: cover the bounded CRangesSet unserializer

fix: allow partial evo snapshot quorum history

fix: reject full-domain ranges during deserialization

fix: reject noncanonical MNHF signal order during deserialization

fix: bound commitment bitsets by a format ceiling instead of static LLMQ size

fix: validate credit-pool amounts and MNHF signal semantics context-free

fix: replace previous contents when deserializing an evo snapshot

fix: bound same-prefix proTxHash runs against HAMT collision blowup

fix: bind the CbTx height in VerifyEvoSnapshotCbTx

fix: replace per-quorum contents when deserializing CQuorumSnapshotData

fix: bound cumulative historical MN-list reconstruction work

refactor: drop the C prefix from the new evo snapshot types

refactor: give every evo snapshot collection one explicit canonical comparator

build: list evo/snapshot.cpp where it is actually used

fix: enforce the decoder's historical operation budget during validation

test: exercise evo per-quorum replacement for every cleared vector

test: name the noncanonical CRangesSet case for its actual defect