> For clean Markdown of any page, append .md to the page URL.
> For a complete documentation index, see https://docs.adid.dev/llms.txt.
> For full documentation content, see https://docs.adid.dev/llms-full.txt.

# Zero-Knowledge Identity

IDA generates Groth16 zk-SNARK proofs client-side so private data never leaves your device.

## Supported predicates

| Predicate        | Example                   | Description                                   |
| ---------------- | ------------------------- | --------------------------------------------- |
| `age_gte`        | `age >= 18`               | Prove age is at least N                       |
| `country_in`     | `country in [US, GB, AE]` | Prove country membership without revealing it |
| `range`          | `100 <= salary <= 500`    | Prove a numeric value is within a range       |
| `not_equal`      | `status != revoked`       | Prove inequality with a constant              |
| `set_membership` | `role in [doctor, nurse]` | Prove membership in an allowed set            |

## Generate a proof

1. Open **ZK Identity** in the portal.
2. Pick the source credential.
3. Choose a predicate and threshold/set.
4. Click **Generate Proof** — runs in your browser.
5. Share off-chain (QR/JSON) or anchor on-chain via `POST /api/v1/zkp/anchor`.