Skip to content

Add snapshot Merkle account proofs - #1

Open
run188 wants to merge 1 commit into
mainfrom
codex/phase2b-snapshot-merkle-proofs-1027
Open

Add snapshot Merkle account proofs#1
run188 wants to merge 1 commit into
mainfrom
codex/phase2b-snapshot-merkle-proofs-1027

Conversation

@run188

@run188 run188 commented Jun 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • add deterministic Phase 2B Merkle commitments to read-only ledger snapshots
  • add account-balance inclusion proof generation and standalone proof verification
  • document proof formats and extend snapshot tests for empty, single-account, multi-account, metadata-independence, and tamper rejection cases

Bounty ramimbo#1027

Validation

  • python -m pytest (910 passed)
  • python -m ruff format --check .
  • python -m ruff check .
  • python -m mypy app

Note: upstream PR creation to ramimbo/mergework currently fails with GitHub GraphQL repository resolution 404, so this fork PR preserves the public review artifact until upstream accepts cross-fork PR creation again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant