# RQM Verified Circuit Optimization

> RQM Verified Circuit Optimization is a paid API for AI agents from jobs.rqmtechnologies.com, paid per call via x402, $0.25/call, status unknown (last checked 2026-09-14).

Optimizes an RQM Circuit IR and returns the optimized version only if semantic equivalence with the original is verified; otherwise returns the original unchanged.

## Facts

- Endpoint: POST https://jobs.rqmtechnologies.com/x402/buyer-jobs/verified-circuit-optimization-v1
- Price: $0.25/call
- Payment: x402
- Status: unknown
- Last checked: 2026-09-14
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/rqm-verified-circuit-optimization-8b1181c1
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_6s_Edlx6R0wD28giALtZt

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 rqm-verified-circuit-optimization-8b1181c1 -d '<json body>'
```

Example prompt: Optimize my quantum circuit using the RQM verified optimizer — here's the circuit object — use the qiskit backend with a balanced profile, and only give me back the optimized version if equivalence is confirmed.

## When to prefer this

Choose this endpoint when you need to reduce gate count or circuit depth in an RQM Circuit IR but cannot afford to risk semantic drift — the built-in equivalence verification acts as a safety net, returning the original if optimization cannot be confirmed correct. Prefer this over raw optimization passes when correctness guarantees matter more than guaranteed reduction. Use over the managed simulator when you want optimization rather than execution, and over the equivalence checker when you want optimization plus verification in a single call.

## Known failure modes

- Circuit IR does not conform to expected schema — returns validation error
- Optimization produces a circuit that fails equivalence verification — original circuit returned unchanged
- Unsupported backend specified — returns enum validation error
- max_total_price too low to cover $0.25 USDC fee — payment rejected
- idempotency_key format invalid — request rejected
- Circuit too large or complex for bounded verifier scope — verification skipped, original returned

## How this service works

Verified circuit optimization: Optimize RQM Circuit IR and return the original unless preservation is verified. Use when: Use when a bounded request matches rqm.studio.optimization-request.v1 and the caller needs the declared typ... Returns: verified candidate or original fallback, metric deltas, preservation evidence. Boundaries: Deterministic bounded local software evidence; not hardware evidence, a formal proof, certification, sign...

## Output

Returns the optimized RQM Circuit IR if the optimizer can verify semantic equivalence with the original circuit; if verification cannot be confirmed, the original unmodified circuit is returned along with a status indicating the outcome. The response includes engineering-level assurance (not a formal mathematical proof) of correctness.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "properties": {
  "request": {
   "type": "object",
   "description": "Verified Circuit Optimization request metadata is discovery-only while execution is disabled.",
   "additionalProperties": true
  },
  "schema_version": {
   "const": "rqm.jobs.bazaar-buyer-job-request.v1"
  },
  "idempotency_key": {
   "type": "string",
   "pattern": "^[A-Za-z0-9][A-Za-z0-9._:-]*$",
   "maxLength": 128,
   "minLength": 1
  },
  "max_total_price": {
   "type": "string",
   "pattern": "^(?:0|[1-9]\\d{0,13})(?:\\.\\d{1,6})?$"
  }
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/rqm-verified-circuit-optimization-8b1181c1/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from jobs.rqmtechnologies.com](https://www.zero.xyz/host/jobs.rqmtechnologies.com/llms.txt)