ZK Compliance Proof Generator

Generate synthetic zero-knowledge compliance proofs for AML/Travel Rule predicates. Select a predicate (transaction below threshold, counterparty not on sanctions list, account KYC-complete) and generate a synthetic ZK proof token that asserts the predicate is satisfied — without revealing the underlying data. Client-side NTT simulation (Number Theoretic Transform) models the proof computation. GDPR Article 25 data-minimisation principle. Explicitly educational — no production cryptographic security. Chains into ART-10.

AP2 Export Chains: ART-10 ZK Proof · NTT Simulation Educational Only Zero PII GDPR Art. 25

🔒 Private witness data (transaction amounts, counterparty IDs) is never stored or transmitted. The proof output contains only the synthetic proof token and public inputs. Zero PII.

Predicate selection

Compliance predicate

ZK proof system (simulation)

NTT field size (bits) NTT field prime size — larger = more realistic but slower simulation

Proof complexity (constraint count) Number of arithmetic constraints in the ZK circuit

Proof result

Predicate evaluations (public outputs)

NTT computation trace (simulated)

NTT coefficient activations across 16 field elements — colours indicate polynomial evaluation density

Synthetic proof token

Chain to ART-10

→ ART-10 AMLA Typology Scorer Export the proof artifact and carry into ART-10 to combine ZK attestation with AML typology risk scoring