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 PoRChainlink PoR / NAVLinkNot 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
Chainlink PoR / NAVLink round
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.