fix(drive): authenticate boundary in compacted absence proofs - #3792

Closed

QuantumExplorer wants to merge 13 commits into

claude/fix-compacted-absence-proof-soundness

Commits on Jun 4, 2026

fix(drive): authenticate boundary in compacted absence proofs

QuantumExplorer
and
claude
committed
94bf370

Commits on Jun 5, 2026

docs(drive): document known liveness bug in compacted absence-proof fix

QuantumExplorer
and
claude
committed
16d1e43
fix(drive): cap compacted-proof size + honor transaction (review feedback)

QuantumExplorer
and
claude
committed
2191680
docs(drive): update compacted-prover docstrings to current proof approach

QuantumExplorer
and
claude
committed
0cdf371
refactor(drive): classify chained-verify cardinality break as internal, not CorruptedProof

QuantumExplorer
and
claude
committed
a7c31c5
refactor(drive): centralize compacted_key into one shared helper

QuantumExplorer
and
claude
committed
98a62db
fix(drive): compacted-proof review hardening (limit=0, malformed boundary, shared path/key)

QuantumExplorer
and
claude
committed
404f1be
fix(drive): make compacted address-balance path verify-available (fix WASM build)

QuantumExplorer
and
claude
committed
04097f1
fix(drive): classify malformed authenticated boundary key as CorruptedProof

QuantumExplorer
and
claude
committed
89e1d36
refactor(drive): single-source the compacted-address-balance subtree byte

QuantumExplorer
and
claude
committed
3e20289
refactor(drive): derive compacted-address-balance key slice from the single-sourced u8

QuantumExplorer
and
claude
committed
89b873f

Commits on Jun 8, 2026

Merge remote-tracking branch 'origin/v3.1-dev' into claude/fix-compacted-absence-proof-soundness
QuantumExplorer
committed
9f66222

Commits on Jun 10, 2026

Merge branch 'v3.1-dev' into claude/fix-compacted-absence-proof-soundness

QuantumExplorer
and
claude
committed
e3bf0d3