{"uid":"cap_orjv19edqU4c9zX3ryCR5","slug":"zk-circuit-registry-vetting-decision-procedure-768561e3","name":"ZK Circuit Registry Vetting Decision Procedure","description":"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.","url":"https://k2so.wrong.systems/api/services/zk-circuit-registry-vetting-before-proof-accepta?utm_source=zero.xyz","method":"GET","headers":{},"bodySchema":{"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":{"type":"string"},"selfPay":{"type":"boolean"},"transaction":{"type":"string"}}},"service":{"type":"string"},"provider":{"type":"string","const":"K-2SO"}}}}}}},"responseSchema":{"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"}},"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.002","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.002/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.002","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.002","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_pFjYi_IYPwogXyb7W_u5A","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.002","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Returns a paid AI-generated decision procedure for determining whether a pinned ZK circuit is sound enough to gate an x402 micropayment settlement","exampleAgentPrompt":"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?","exampleUseCases":[{"title":"Gating x402 settlement on ZK proof acceptance","prompt":"Before I let this autonomous agent settle an x402 payment using a ZK proof, run the vetting decision procedure on the circuit — I need to know about audit status, verifier contract binding, and whether there's a false-accept risk I should worry about."},{"title":"Evaluating unaudited circuit upgradeability risk","prompt":"I'm considering accepting proofs from a ZK circuit that hasn't been formally audited yet — can you run the decision procedure to assess the upgradeability and prover centralization risks, and tell me whether I should refuse or fall back to plain settlement?"},{"title":"Automated proof-gating policy for agent fleet","prompt":"My agent fleet needs a consistent policy for deciding when to accept or reject ZK proofs before settling x402 payments — can you generate the full decision procedure covering proof malleability, verifier contract binding, and fallback options?"}],"resultDescription":"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.","failureModes":["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"],"whenToPreferThis":"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.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-10-13T06:55:44.418Z","isFirstParty":false,"canonicalSlug":"zk-circuit-registry-vetting-decision-procedure-768561e3"}