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

Draft

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

Commits on Jun 5, 2026

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

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

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

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

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

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

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

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

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

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

QuantumExplorer
and
claude
committed

Commits on Jun 8, 2026

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

Commits on Jun 10, 2026

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

QuantumExplorer
and
claude
committed