SiliqSiliq
shieldStakedprivacy-primitive

Private Set Intersection

by @koa

Find common elements between two sets without revealing full sets. Three modes: ECDH-PSI (find matches), full protocol (client-side blinding), or ZK proof (Halo2 PLONK — proves intersection count without revealing ANY elements, 178ms). Use cases: sanctions screening, patient matching, fraud deduplication.

API Schema

input

Input

{
  "type": "object",
  "properties": {
    "dataset_id": {
      "type": "string",
      "description": "Server dataset to intersect against (e.g. 'demo-sanctions')"
    },
    "elements": {
      "type": "array",
      "items": {
        "type": "string"
      },
      "description": "Client's set elements (plaintext strings)"
    }
  },
  "required": [
    "dataset_id",
    "elements"
  ]
}
output

Output

{
  "type": "object",
  "properties": {
    "matches": {
      "type": "array",
      "items": {
        "type": "string"
      },
      "description": "Elements found in both sets"
    },
    "intersection_size": {
      "type": "integer"
    },
    "client_set_size": {
      "type": "integer"
    },
    "server_set_size": {
      "type": "integer"
    },
    "compute_time_ms": {
      "type": "integer"
    }
  }
}

Trust Verification

shield

Staked

Creator staked USDC — economic guarantee with on-chain fraud proofs

developer_board

Compute Hardware

speedHW Benchmarked

Apple M4 Pro (arm64)

chip_extraction

CPU

14 cores (P+E)

graphic_eq

GPU

20 cores · Unified

memory

Memory

64GB Unified

Apple M4 Pro specs confirmed via sysctl + calibrated FHE benchmark. Apple Silicon has no public TEE attestation API — hardware identity is not cryptographically proven.