Proof catalog
Reserve attestations, period close, fund NAV, receivable packages, and privacy proofs — generated from reconciled books and verifiable on your machine.
Featured
Timestamped reserve attestations tied to the same triple-entry books that record liabilities — publish on a schedule, verify any snapshot independently.
Reserve asset balances and circulating stablecoin liabilities are read from reconciled GL accounts, committed to the tamper-evident audit-chain head, and signed into a canonical package. Each snapshot stands alone; a cron schedule makes the program continuous without merging trust into a single PDF.
Hourly, daily, or on-demand — each attestation is its own verifiable artifact.
Reserves and liabilities post to the same triple-entry ledger your treasury team reconciles every day.
Attestation jobs read balances, bind to the audit-chain head, and sign a canonical package — hourly, daily, or when you choose.
Each snapshot gets a verify URL and downloadable JSON. Optional on-chain anchoring records the bundle hash for public reference.
Counterparties run the cryptographic check in the browser, on Desktop, or via CLI — valid or invalid, on the spot.
Show backing assets match outstanding liabilities — from operating treasuries to regulated stablecoin programs.
Issuers & custodians
Continuous reserve attestations from live books.
Composite reserve observations (cash, custodied assets, on-chain treasuries) tie to liability accounts on the issuer ledger. Share links and signed JSON packages let anyone confirm the snapshot without portal access.
Issuers, funds & lenders
Cryptographic proof that assets cover liabilities.
A zero-knowledge solvency proof built from the trial balance demonstrates the balance sheet equation holds for a book and period — public inputs only, no line-item leakage.
Close the books with artifacts investors, auditors, and counterparties can verify locally.
Controllers & auditors
Trial balance ties for a book and period.
Generate a period-close proof after reconciliation. The witness encodes debits and credits; verifiers run the check on Desktop, CLI, or the public workspace.
Security & compliance teams
Tamper-evident log verification end to end.
Hash-chained audit entries recompute from genesis through head. Any altered row breaks the chain and surfaces immediately — independent of application UI.
NAV, waterfalls, and intercompany proofs for fund admins and multi-entity groups.
Fund administrators
Net asset value snapshot attestation.
Fund NAV computed from posted balances rolls into a proof investors and administrators can archive per reporting date — aligned with capital accounts on the same ledger.
Fund controllers
Distribution waterfall calculation proof.
Carried interest, preferred returns, and LP/GP splits encode into a witness tied to posted fund events — useful when LPs want math they can verify, not just a spreadsheet.
Treasury & fund ops
Partner settlement tie-out for a period.
Settlement proofs document that agreed cash and position movements reconcile to posted journal events — built for fund ops and treasury teams closing with counterparties.
Multi-entity controllers
IC balances match across entity books.
Multi-entity groups prove intercompany accounts eliminate cleanly for consolidation — the same IC matrix your controller uses, exported as a verifiable package.
Invoice-level and pool-level attestations for factors, ABL desks, and receivables finance.
Factors & ABL teams
Financeable invoice witness bundle.
Buyer acknowledgment, UCC clearance, encumbrance status, and GL tie-out ship in one export — the package Desktop Verify and lender workflows consume.
Receivables finance desks
Two-party attestation on a single obligation.
Supplier and buyer roles bind into a bilateral witness when both parties book on TripleBooks — stronger provenance for programmatic finance.
Receivables funds
Pool-level collateral proof.
Aggregate eligible AR, concentration limits, and pool balances into one attestation for warehouse lines and securitization-style facilities.
Zero-knowledge proofs for confidential transfers and policy checks on privacy-preserving rails.
Wallet & protocol teams
Confidential transfer proof.
Halo2-KZG proofs show a private transfer conserves value against a Merkle root — input nullifiers and output commitments publish without revealing amounts or counterparties.
Compliance & product teams
Policy compliance proof for screened flows.
Demonstrate a transaction satisfies configured compliance rules without exposing underlying PII — built for privacy-preserving payment programs that still need auditability.
Every proof type above exports to packages the Verify workspace, Desktop, and open-source CLI understand — same engine, your infrastructure.
Theoretical foundation
Double-entry bookkeeping keeps the books in balance, but independent parties still need evidence that reported state follows from complete, unaltered records. This paper lays out ledger-native assurance: verification artifacts produced during accounting close, with source anchoring, selective disclosure, and explicit scope for auditors and regulators.
Working paper · May 2026 · Matthew Rosendin