AIR-GAPPED ZERO-TRUST VERIFICATION

Zero-Trust Proofpack Verifier

Verify cryptographic reconciliation proofpacks client-side using the browser's native Web Crypto API. Zero network requests. Air-gap verifiable. Mathematical proof of 100% complete census accuracy.

Web Crypto API (SubtleCrypto)

RFC 6962 SHA-256 Merkle Trees

Client-Side Execution (<2ms)

Live Cryptographic Enclave Studio

Test verified multi-million dollar reconciliation runs or run adversarial poison tests to witness immediate Merkle root collision detection.

Zero-Trust Browser Sandbox

Web Crypto API SHA-256

Client-Side Offline Proofpack Verifier Studio

Execute client-side cryptographic verification directly in your browser tab without sending ledger data over the network.

CRYPTOGRAPHICALLY VERIFIED

Checked in 1.4ms | 100% Census Invariant

Audit Vector Presets:

Declared Merkle Root

48c781e9d1e3d36b7617b0769cf3ddf4b9ec43ef19942a78bf9fb6416182ee20

Census Verified Leaves

3 records(Zero Sampling Error)

Verification Method

Browser WebCrypto SHA-256(1.4ms)

Proofpack JSON Envelope

Editable in real-time

{
  "dossierId": "DOSSIER-Q3-2026-STRIPE-VALID",
  "tenantId": "tenant-enterprise-stripe-global",
  "reportingPeriod": {
    "from": "2026-07-01",
    "to": "2026-09-30"
  },
  "declaredMerkleRoot": "48c781e9d1e3d36b7617b0769cf3ddf4b9ec43ef19942a78bf9fb6416182ee20",
  "totalVolumeCents": 4891025000,
  "currency": "USD",
  "leaves": [
    {
      "leafIndex": 0,
      "recordId": "TXN_STRIPE_EUR_001",
      "amountCents": 125000000,
      "currency": "EUR",
      "sourceHash": "9b7201c107e382b6831d1d86d649a2a3e5da15456b3b516b35d03bb69c0d54a2",
      "leafHash": "1f38e21a44e45691238910bcdef0123456789abcdef0123456789abcdef01234"
    },
    {
      "leafIndex": 1,
      "recordId": "TXN_STRIPE_USD_002",
      "amountCents": 250000000,
      "currency": "USD",
      "sourceHash": "0a84e499d3e8e7b3a4f89d538e3e4a2e1d0c9b8a7f6e5d4c3b2a109876543210",
      "leafHash": "2a49f32b55f56702349021cdef123456789abcdef0123456789abcdef012345"
    },
    {
      "leafIndex": 2,
      "recordId": "TXN_STRIPE_GBP_003",
      "amountCents": 1141025000,
      "currency": "GBP",
      "sourceHash": "7c93e500e4f9f8c4b5a90e649f4f5b3f2e1d0c9b8a7f6e5d4c3b2a1098765432",
      "leafHash": "3b50a43c66a67813450132def23456789abcdef0123456789abcdef0123456"
    }
  ]
}

Verify Custom Sovereign Proofpack JSON

Drop in any Settler-generated proofpack artifact. Hash computation happens entirely on your machine.

Drag and drop your proofpack .json here

Supports Settler evidence manifests, batch settlement dossiers, or audit runbundles.

Full-input integrity coverage

A proofpack can cover every record included in its declared input population. That integrity check does not establish population completeness or replace an auditor's sampling and judgment.

Deterministic Replayability

Settler's Rust verification kernel avoids floating-point numbers completely, utilizing fixed-point integer cents and explicit calendar bounds. Replaying a run is expected to produce the same SHA-256 hashes when the serialized inputs, rules, runtime contract, and version remain fixed.

Sovereign Enclave Portability

The verification script compiles to WebAssembly (`settler-verify-wasm`) and native Web Crypto API. Auditors can run it on air-gapped laptops without internet connectivity or Settler account credentials.

Loading Settler...