Summa
proof-of-reserves
Merkle sum tree
MST
inclusion proof
solvency
crypto exchange
verification

Summa MST Inclusion Checker

Paste a published Merkle-sum-tree root (hash + sum) and an inclusion proof for one leaf, verify membership AND local balance-sum-chain consistency, entirely offline. Independently recomputes both the hash chain and the sum chain and rejects any negative balance or over-bound value anywhere in the path, closing the Maxwell eprint 2022/043 'broken MST' hazard at the application layer. Verify-only: never a solvency or reserve-sufficiency claim.

Tool URL: https://ainumbers.co/tools/620-summa-mst-inclusion-checker.html AP2/Policy Mandate export: yes

post/v1/tools/verify_summa_mst_inclusion

Request

  • Base URL: https://ainumbers.co
  • URL: https://ainumbers.co/v1/tools/verify_summa_mst_inclusion
  • Auth: none declared

Request body

rootobject required

{hash, sum}

proofobject required

{leaf:{id,balance}, path:[{side,sibling_hash,sibling_sum}]}

max_balancestring

Decimal-string BigInt domain bound

Response

Successful tool execution result

verdictstring

VERIFIED or NOT_VERIFIED

reasonstring nullable
computed_rootobject nullable
declared_rootobject

Changes

No recorded changes to this operation across all 1 revision of this API.