ART-280 · Verify-Rails · Reserve Verification Family

Reserve Proof Verifier

Verifies a Merkle-sum Proof-of-Reserves customer-inclusion proof (OKX / Binance / Gate / Kraken export formats, or a generic canonical shape) against a declared root, and checks a Chainlink PoR / NAVLink aggregator round for staleness and deviation. Part of the Reserve Verification Family alongside the GENIUS Act Monthly Reserve Disclosure Checker. Clean-room implementation: no code copied from any exchange's PoR verifier library.

Merkle-Sum PoR Chainlink PoR / NAVLink Not a PCAOB Audit
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
What this does NOT prove
A single-leaf inclusion proof verifies ONE customer's balance is included in the committed root and that the root's total sum matches a declared figure. It does not prove total-liabilities completeness (an issuer could omit accounts), does not see off-balance-sheet encumbrances or rehypothecation, and is point-in-time only. This is not a PCAOB audit and carries no audit opinion.
Proof Source
Chainlink PoR / NAVLink Round (optional)
On-Chain Storage-Proof Composition (optional, soft dep on VR-1)
–
Determination
–
Inclusion
–
Sum Verified
Merkle-sum inclusion
What was NOT proven
Compliance Flags
Provenance
Clean-room Merkle-sum-tree implementation (Summa report structure, shape only). Chainlink PoR / NAVLink round-data pattern. No code copied from any exchange's published verifier.
⚠ DECISION-SUPPORT DRAFT. Not an audit and not a PCAOB opinion. This tool verifies a single-leaf inclusion proof only; see "What was NOT proven" above.
OpenChainGraph v0.4 artifact · execution_hash:
–


    

      
      
      
    

  


  
  









  

    
Ask your agent

    
  

  
Copy this paragraph into Claude, OpenClaw, or any MCP-aware agent to run this exact tool, with this sample, and verify the artifact.

  
Run the AINumbers MCP tool `verify_reserve_proof`. Task: Verify a Merkle-sum Proof-of-Reserves customer-inclusion proof (OKX, Binance, Gate, Kraken export formats, or a generic canonical shape) against a declared root, and checks a Chainlink PoR / NAVLink aggregator round for staleness and deviation.
Call it with arguments: {"policy_parameters":{}}
Verify before trusting: call `verify_execution_hash` on mcp.ainumbers.co (https://mcp.ainumbers.co/mcp) with the parameter `claimed_hash` set to the returned `execution_hash`, passing the full artifact the run returned (the object containing `policy_parameters` + `output_payload` + `execution_hash`; equivalently `policy_parameters` + `output_payload` with `claimed_hash`), not the bare hash string.
Return the ledger link https://ledger.ainumbers.co/ so a human can re-verify without contacting us.
PII rule: All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data — use synthetic or anonymised inputs only.
Over MCP, the run happens on the AINumbers worker. No AINumbers server stores your inputs.
Open the tool with the sample prefilled: https://ainumbers.co/chaingraph/art-280-reserve-proof-verifier.html#p=v1.H4sIAAAAAAAA_wECAP3_e31Dv6ajAgAAAA