Skip to content
~/sultan
Chapter 6 crest
Chapter 6 · § 6.2 · Recipe

ZK Compliance Attestations

Prove the property. Disclose nothing.

By · Originally published April 2026 · Next review October 2026 · ~6 min

Problem

How does the holder prove a regulatory property — "I am not on the OFAC sanctions list," "my funds came from non-sanctioned sources," "I am below the FATCA reporting threshold" — without disclosing the underlying state?

Solution

A library of zero-knowledge attestation circuits. Prove the property. Disclose nothing.

A library of zero-knowledge attestation circuits, each of which proves a specific property holds against the holder's account state, with no disclosure of the state itself.

The library covers, at minimum:

  • Source-of-funds attestation
  • Sanctions-list non-membership
  • Jurisdiction-of-residence
  • Aggregate-transfer-below-threshold
  • Tax-basis computation

New attestations are additive. Each circuit is published, audited, and versioned.

Discussion

This is the chapter where the privacy/compliance binary collapses. Every regulatory ask that previously required transaction-level disclosure can be reformulated as a property to be proved. The compliance regime asks the same questions and gets the same answers. The disclosure surface is materially smaller.

ℹ Note The library is incomplete. There are regulatory asks that don't reduce cleanly to a single-account property — coordinated structuring across multiple accounts, for example. The view-key model handles these through the regulated counterparty layer rather than at the protocol layer. That is by design.

See Also

❦ ❦ ❦