OpenChainGraph Suite · ART-809 · Private-Input Profile · Pilot

Private-Input Reserves Cover Outstanding Check

The verdict is public. The inputs are not in the receipt. A receipt made from inputs you gave a server was seen by that server.

Shows that the committed reserve amounts, in the categories the GENIUS Act lists, add up to at least the committed amount outstanding. It does not show the reserves exist, are unencumbered, or are approved where approval is required, and it does not replace the monthly report the Act requires.

Each receipt answers one yes/no question. Asking many questions about the same figures reveals more.

OCG section 25 Private Input GENIUS Act 4(a)(1)(A) Pilot Proofs Deferred
🔒 All inputs are processed locally in your browser. No data is transmitted. Do not enter real personal data. Use synthetic or anonymised inputs only. Reserve and outstanding amounts stay a private witness; only two salted commitments and the yes/no verdict appear in the artifact. Salts are generated here with crypto.getRandomValues and held in memory only.
Who this is honestly for

A permitted issuer already publishes, every month, the number of payment stablecoins outstanding and the amount and composition of its reserves, and a registered public accounting firm examines that report (GENIUS Act 4(a)(1)(C) and 4(a)(3)). At month end this receipt therefore adds little for an issuer. Its use is a coverage statement between monthly reports, or by a party that is not under that reporting duty, such as a custodian, an exchange or a fund, that will state coverage but not amounts. The Act does not require this receipt.

Private witness (never leaves this page in the clear)

Exactly 16 reserve slots. Leave unused slots on “empty” with amount 0, so the committed witness has the same length whatever you hold. Amounts are whole minor units (for example cents), digits only, at most 20 digits.

SlotCategory (GENIUS Act 4(a)(1)(A))Amount (minor units)
Private. Committed separately from the reserves, so it can be opened to an auditor on its own.
Fresh CSPRNG salt for this run. Never included in the artifact. Do not reuse across artifacts.
A second, independent salt. Never included in the artifact.
Public inputs
Public label for the minor unit of every amount.
Public. The date the figures describe.
Preview, not a receipt. Nothing here is proven; the proof for this node is deferred.
Verdict detail
Private-input declaration (section 25)
Execution hash (SHA-256)

Export decision: the exported file is the artifact, which holds the verdict, the public inputs and two commitments. It never holds an amount or a salt. The witness download is a separate file for you to keep; whoever holds it can open both commitments, so treat it as a secret.


  


  

    
Limits of the check

    
The check takes both committed numbers as given. It cannot tell whether the reserves exist, are held or are identifiable, whether a category 07 asset was approved by the primary Federal payment stablecoin regulator, whether a category 02 deposit is within the insurance limits, or whether the committed outstanding amount is the true figure.

    
Pledge or reuse of reserves (the Act's 4(a)(2) rule) is outside it too. No haircut is applied: the statute states none, so this node states none, which is a design choice and not a regulatory reading.

    
What leaks

    
  


  

    
Run it yourself

    
    
      
  1. Use this page on synthetic figures. It shows both commitments and the verdict, labelled preview, not a receipt.
    2. 
      
  2. Download the witness to keep your salts; they are not stored anywhere else.
    3. 
      
  3. On your own machine, with the repository checked out, write a witness file in the same shape (16 slots, 20-digit amounts, two fresh salts) and run the section 25 private-input guest in exec mode to check the verdict and cycle count.
    4. 
      
  4. Prove and wrap to a Groth16 receipt on your own hardware (a risc0 toolchain is needed), then verify it locally against the node's image id. Proving stays off-band; this page never proves.
    5. 
      
  5. Share the artifact and the receipt, never the witness.
    6. 
    

    
The MCP route sends your inputs to the Worker and is not private. Use it only on synthetic data.

  







  

    
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 `check_reserves_cover_private`. Task: Pilot private-input predicate: 16 committed reserve slots, tagged by the eight GENIUS Act 4(a)(1)(A) categories, must cover the committed payment stablecoins outstanding.
Call it with arguments: {"policy_parameters":{"reserves":[{"category":"01","amount_minor":"00000000000000500000"},{"category":"02","amount_minor":"00000000000000300000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"},{"category":"00","amount_minor":"00000000000000000000"}],"outstanding":{"outstanding_minor":"00000000000000750000"},"reserves_salt":"aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa","outstanding_salt":"bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb","unit":"USD_cents","as_of":"2026-10-31"}}
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-809-check-reserves-cover-outstanding-private.html#p=v1.H4sIAAAAAAAA_wGaBGX7eyJyZXNlcnZlcyI6W3siY2F0ZWdvcnkiOiIwMSIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwNTAwMDAwIn0seyJjYXRlZ29yeSI6IjAyIiwiYW1vdW50X21pbm9yIjoiMDAwMDAwMDAwMDAwMDAzMDAwMDAifSx7ImNhdGVnb3J5IjoiMDAiLCJhbW91bnRfbWlub3IiOiIwMDAwMDAwMDAwMDAwMDAwMDAwMCJ9LHsiY2F0ZWdvcnkiOiIwMCIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwMDAwMDAwIn0seyJjYXRlZ29yeSI6IjAwIiwiYW1vdW50X21pbm9yIjoiMDAwMDAwMDAwMDAwMDAwMDAwMDAifSx7ImNhdGVnb3J5IjoiMDAiLCJhbW91bnRfbWlub3IiOiIwMDAwMDAwMDAwMDAwMDAwMDAwMCJ9LHsiY2F0ZWdvcnkiOiIwMCIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwMDAwMDAwIn0seyJjYXRlZ29yeSI6IjAwIiwiYW1vdW50X21pbm9yIjoiMDAwMDAwMDAwMDAwMDAwMDAwMDAifSx7ImNhdGVnb3J5IjoiMDAiLCJhbW91bnRfbWlub3IiOiIwMDAwMDAwMDAwMDAwMDAwMDAwMCJ9LHsiY2F0ZWdvcnkiOiIwMCIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwMDAwMDAwIn0seyJjYXRlZ29yeSI6IjAwIiwiYW1vdW50X21pbm9yIjoiMDAwMDAwMDAwMDAwMDAwMDAwMDAifSx7ImNhdGVnb3J5IjoiMDAiLCJhbW91bnRfbWlub3IiOiIwMDAwMDAwMDAwMDAwMDAwMDAwMCJ9LHsiY2F0ZWdvcnkiOiIwMCIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwMDAwMDAwIn0seyJjYXRlZ29yeSI6IjAwIiwiYW1vdW50X21pbm9yIjoiMDAwMDAwMDAwMDAwMDAwMDAwMDAifSx7ImNhdGVnb3J5IjoiMDAiLCJhbW91bnRfbWlub3IiOiIwMDAwMDAwMDAwMDAwMDAwMDAwMCJ9LHsiY2F0ZWdvcnkiOiIwMCIsImFtb3VudF9taW5vciI6IjAwMDAwMDAwMDAwMDAwMDAwMDAwIn1dLCJvdXRzdGFuZGluZyI6eyJvdXRzdGFuZGluZ19taW5vciI6IjAwMDAwMDAwMDAwMDAwNzUwMDAwIn0sInJlc2VydmVzX3NhbHQiOiJhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhYWFhIiwib3V0c3RhbmRpbmdfc2FsdCI6ImJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmJiYmIiLCJ1bml0IjoiVVNEX2NlbnRzIiwiYXNfb2YiOiIyMDI2LTEwLTMxIn3F_PB6mgQAAA