# ZK Circuit Registry Vetting Decision Procedure

> ZK Circuit Registry Vetting Decision Procedure is a paid API for AI agents from k2so.wrong.systems, paid per call via x402, $0.002/call, status unknown (last checked 2026-10-13).

Returns a paid AI-generated decision procedure for determining whether a pinned ZK circuit is sound enough to gate an x402 micropayment settlement

## Facts

- Endpoint: GET https://k2so.wrong.systems/api/services/zk-circuit-registry-vetting-before-proof-accepta?utm_source=zero.xyz
- Price: $0.002/call
- Payment: x402
- Status: unknown
- Last checked: 2026-10-13
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/zk-circuit-registry-vetting-decision-procedure-768561e3
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_orjv19edqU4c9zX3ryCR5

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability zk-circuit-registry-vetting-decision-procedure-768561e3
```

Example prompt: Can you run the ZK circuit registry vetting procedure to tell me whether it's safe to accept a ZK proof as a gate for an x402 settlement — covering audit status, verifier contract binding, upgradeability, prover centralization, and whether I should fall back to plain settlement if it fails?

## When to prefer this

Use this endpoint when an autonomous agent needs a structured, blunt decision procedure (not marketing) for evaluating ZK circuit soundness before accepting proofs as payment gates in an x402 flow. Prefer this over generic security advice when you specifically need coverage of: audit status, verifier contract binding, upgradeability, prover centralization, proof malleability, false-accept risk, and fallback logic all in one opinionated output.

## Known failure modes

- Payment not included or insufficient — returns 402 with payment instructions
- Topic override not recognized — falls back to default ZK circuit vetting topic
- LLM generation failure — result.ok may be false with no brief returned
- Network timeout on k2so.wrong.systems — no response
- Malformed query params — input validation error

## How this service works

Paid agent-facing brief on ZK circuit registry vetting before proof acceptance: deterministic decision procedure for an agent deciding whether a pinned ZK circuit is sound enough to gate an x402 settlement (audit status, verifier contract binding, circuit versioning and upgradeability, prover centralization, proof malleability, false-accept risk, fallback to plain settlement or refuse) · Build a decision procedure or schema. Blunt decision procedure, not marketing.

## Output

A structured decision procedure (prose and/or schema) advising an agent on whether a ZK circuit is sound enough to gate an x402 settlement. Covers: audit status, verifier contract binding, circuit versioning and upgradeability, prover centralization risk, proof malleability, false-accept risk, and explicit fallback guidance (plain settlement or refusal). Includes generationSource (llm/reasoning/deterministic), timestamp, model used, and service slug.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "$schema": "https://json-schema.org/draft/2020-12/schema",
 "required": [
  "input"
 ],
 "properties": {
  "input": {
   "type": "object",
   "required": [
    "type",
    "method"
   ],
   "properties": {
    "type": {
     "type": "string",
     "const": "http"
    },
    "method": {
     "enum": [
      "GET",
      "HEAD",
      "DELETE"
     ],
     "type": "string"
    },
    "queryParams": {
     "type": "object",
     "properties": {
      "meta": {
       "enum": [
        "0",
        "1"
       ],
       "type": "string",
       "description": "Set to 1 for free metadata JSON (no payment required)"
      },
      "topic": {
       "type": "string",
       "description": "Optional topic override for the decision procedure"
      }
     }
    }
   },
   "additionalProperties": false
  },
  "output": {
   "type": "object",
   "required": [
    "type"
   ],
   "properties": {
    "type": {
     "type": "string"
    },
    "example": {
     "type": "object",
     "title": "ZK circuit registry vetting before proof acceptance: deterministic dec paid response",
     "$schema": "https://json-schema.org/draft/2020-12/schema",
     "required": [
      "ok",
      "paid",
      "service",
      "provider",
      "result"
     ],
     "properties": {
      "ok": {
       "type": "boolean"
      },
      "paid": {
       "type": "boolean"
      },
      "result": {
       "type": "object",
       "required": [
        "ok",
        "service"
       ],
       "properties": {
        "ok": {
         "type": "boolean",
         "description": "Handler success"
        },
        "brief": {
         "type": "string",
         "description": "Decision procedure prose for agents"
        },
        "model": {
         "type": "string"
        },
        "topic": {
         "type": "string"
        },
        "service": {
         "type": "string",
         "description": "Service slug"
        },
        "procedure": {
         "type": "string"
        },
        "generatedAt": {
         "type": "string",
         "description": "ISO-8601 timestamp"
        },
        "generationSource": {
         "enum": [
          "llm",
          "reasoning",
          "deterministic"
         ],
         "type": "string"
        }
       }
      },
      "payment": {
       "type": "object",
       "properties": {
        "code": {
         "type": "string"
        },
        "payer": {
         "type": "string"
        },
        "detail": {
         
… (truncated)
```

## Response schema (JSON Schema)

```json
{
 "type": "json",
 "example": {
  "ok": true,
  "paid": true,
  "result": {
   "ok": true,
   "brief": "plain prose decision procedure (120+ words)",
   "model": "deepseek/deepseek-v4-flash-0731",
   "topic": "string topic",
   "service": "zk-circuit-registry-vetting-before-proof-accepta",
   "procedure": "same as brief",
   "generatedAt": "2026-01-01T00:00:00.000Z",
   "generationSource": "deterministic"
  },
  "service": "zk-circuit-registry-vetting-before-proof-accepta",
  "provider": "K-2SO"
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/zk-circuit-registry-vetting-decision-procedure-768561e3/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from k2so.wrong.systems](https://www.zero.xyz/host/k2so.wrong.systems/llms.txt)