{
      "tool_id": "cry-01-zk-compliance-proof-generator",
      "tool_version": "1.0.0",
      "display_name": "ZK Compliance Proof Generator",
      "mcp_name": "generate_zk_compliance_proof",
      "mandate_type": "compliance_mandate",
      "wave": 2,
      "gpu": true,
      "url": "https://ainumbers.co/chaingraph/cry-01-zk-compliance-proof-generator.html",
      "description": "Synthetic ZK compliance proof token for AML/Travel Rule predicates (amount threshold, sanctions clear, KYC complete, velocity normal, source of funds). NTT simulation: models the number-theoretic transform in real ZK-SNARK/STARK backends. GDPR Art. 25 data-minimisation demonstrator. Explicitly educational.",
      "input_schema_ref": "chaingraph/cry-01-zk-compliance-proof-generator.html#manifest",
      "deadline": null,
      "deadline_note": "GDPR Art. 25 / FATF Travel Rule / EU AMLR 2024/1624",
      "consumes": [
        "art-10-amla-transaction-typology-risk-scorer"
      ],
      "feeds": [
        "cry-04-merkle-batch-verifier",
        "ptg-01-ap2-prompt-template-generator"
      ],
      "educational_note": "Synthetic proof tokens — not cryptographically secure. For learning, demos, and architecture planning only.",
      "status": "live",
      "conformance_fixtures": false,
      "compute_capability": "server",
      "compute_proof_ready": "ready",
      "compute_images": [
        {
          "system": "sha256-source",
          "image_id": "sha256:c5d758f79de7b13d3b76a0c77f4a5922703386c1dc80db64fb81a1829465a800",
          "valid_from": "2026-07-10"
        },
        {
          "system": "risc0",
          "image_id": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
          "valid_from": "2026-07-10"
        }
      ],
      "compute_proof": {
        "type": "ZkVmReceipt",
        "system": "risc0",
        "receiptFormat": "groth16-bn254",
        "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
        "seal": "C4Quj8eaX/e9QD8UCdcKSJK7Nre0NZKO1PI0AMNH00ki8xZFF0zr53gbjwrhuceJIPOoyNIZHIa3273S2xVylxMNuC1KP7g31xsUJLh4nw/3zsKqupd4u11+j7J5NM9pJXH/OLohWXCqNgEbjCpbQefTE3W5CjvK+hMErcjK7owJNLUZGyzypdWm7gSxFxMyAv8/2jP/fMRhXsAYT/IMSwkoHG8Seb5/BWAmCbpHnH1GLqm+Ae0cLNX1rG6FpBnYH2p8pcevCPAOz2CeAtrwIZi97ZIJCfgi7MBCy14UHEcpQfLu0H1liKJaWRa34FPJ7NtgculmTk9rJ3LHT9Fx1g==",
        "journal": {
          "chaingraph_version": "0.4.0",
          "kernel_digest": "sha256:c5d758f79de7b13d3b76a0c77f4a5922703386c1dc80db64fb81a1829465a800",
          "output": {
            "checks": [
              {
                "constraint_index": 0,
                "label": "Constraint 1",
                "satisfied": true
              },
              {
                "constraint_index": 1,
                "label": "Constraint 2",
                "satisfied": true
              },
              {
                "constraint_index": 2,
                "label": "Constraint 3",
                "satisfied": true
              },
              {
                "constraint_index": 3,
                "label": "Constraint 4",
                "satisfied": true
              }
            ],
            "compliance_flags": [
              "ZK_PROOF_VALID",
              "ZK_Groth16_VERIFIED"
            ],
            "constraint_count": 4,
            "predicate_label": "Amount Below Threshold",
            "predicate_type": "amount_below_threshold",
            "proof_commitment": "401693386006721edffeda7fa4dc981723f3ece38c2e8c42f1d227d4770f0589",
            "proof_ms_simulated": 32,
            "proof_result": "VALID",
            "proof_system": "Groth16"
          }
        }
      },
      "export_capability": [
        "xlsx",
        "csv",
        "pdf",
        "xbrl:ocg-ext"
      ]
    }