1.1 KiB
verification path, and produce an auditable trail for every suspicion
verification path, and produce an auditable trail for every suspicion determination. First-mover advantage: AML compliance is a $50B+ market dominated by legacy vendors (LexisNexis, Thomson Reuters, FICO). None use formal verification. The gate stack's proof log is a "deterministic audit trail" that regulators would recognize as superior to the current paper-trail approach.
OECD Privacy Guidelines and AI Principles
OECD Privacy Guidelines (revised 2013): Eight principles — collection limitation, data quality, purpose specification, use limitation, security safeguards, openness, individual participation, accountability. Non-binding but foundational — the basis for GDPR, APPI, LGPD, and most other privacy laws.
OECD AI Principles (adopted 2019, updated 2024): Five values-based principles — inclusive growth and well-being, human-centered values and fairness,