Use Case 1AML Compliance

AML Compliance Sandbox

A bank compresses compliance events across its entire customer population into one succinct proof using qFold. The regulator verifies that proof and learns only that the bank is compliant — no customer names, addresses, or documents are revealed.

Bank (Prover)

Build compliance dataset, generate proof package

Regulator (Verifier)

Import proof package, verify, see reason codes

How this sandbox works

  1. 1.Bank side: toggle compliance checks for 10 sample customers, choose scale (10 / 1k / 1M), and generate a proof package (simulated).
  2. 2.Click "Open Regulator verifier" and the proof package is loaded automatically (or copy/paste the JSON manually).
  3. 3.Set freshness window and verify. Try the failure demos to see INVALID_PROOF, ROOT_STALE, and POLICY_FAIL.

All proof generation is simulated. No real ZK proofs are computed. Semantics match the NESSA qFold protocol.