Verified circuit optimization

Optimize RQM Circuit IR and return the original unless preservation is verified.

RQM-operated service.

Version: 1.0.0 · Registry observed: 2026-08-23T20:01:22.843Z · current

Supported Relay purchase route; check current admission before paying
RQM-operated service

Price and connection

0.250000 USD per request, provider price. Supported Relay purchases add max(0.002 USDC, 5% of provider price). Your fresh quote supplies the exact total.

Authentication: x402 payment for purchases; discovery is free. Never paste keys into this website.

Provider documentation →

View example and get a quote

Inputs and outputs

Input contract

{
  "additionalProperties": false,
  "properties": {
    "circuit": {
      "additionalProperties": true,
      "title": "Circuit",
      "type": "object"
    },
    "profile": {
      "default": "balanced",
      "enum": [
        "conservative",
        "balanced",
        "aggressive"
      ],
      "title": "Profile",
      "type": "string"
    },
    "backend": {
      "default": "generic",
      "enum": [
        "generic",
        "qiskit"
      ],
      "title": "Backend",
      "type": "string"
    }
  },
  "required": [
    "circuit"
  ],
  "title": "CircuitRequest",
  "type": "object"
}

Output contract

{
  "$defs": {
    "SemanticUnsupportedResult": {
      "additionalProperties": false,
      "description": "Fail-closed result returned when bounded analysis rejects a request semantically.",
      "properties": {
        "outcome": {
          "const": "unsupported",
          "title": "Outcome",
          "type": "string"
        },
        "candidate_withheld": {
          "const": true,
          "default": true,
          "title": "Candidate Withheld",
          "type": "boolean"
        },
        "reason": {
          "anyOf": [
            {
              "type": "string"
            },
            {
              "additionalProperties": true,
              "type": "object"
            },
            {
              "items": {},
              "type": "array"
            }
          ],
          "title": "Reason"
        }
      },
      "required": [
        "outcome",
        "reason"
      ],
      "title": "SemanticUnsupportedResult",
      "type": "object"
    },
    "VerifiedCircuitOptimizationResult": {
      "additionalProperties": false,
      "properties": {
        "outcome": {
          "enum": [
            "verified",
            "fallback_original"
          ],
          "title": "Outcome",
          "type": "string"
        },
        "candidate_withheld": {
          "title": "Candidate Withheld",
          "type": "boolean"
        },
        "fallback_status": {
          "enum": [
            "not_required",
            "exact_original_returned"
          ],
          "title": "Fallback Status",
          "type": "string"
        },
        "original_hash": {
          "pattern": "^[a-f0-9]{64}$",
          "title": "Original Hash",
          "type": "string"
        },
        "returned_hash": {
          "pattern": "^[a-f0-9]{64}$",
          "title": "Returned Hash",
          "type": "string"
        },
        "circuit": {
          "additionalProperties": true,
          "title": "Circuit",
          "type": "object"
        },
        "report": {
          "additionalProperties": true,
          "title": "Report",
          "type": "object"
        }
      },
      "required": [
        "outcome",
        "candidate_withheld",
        "fallback_status",
        "original_hash",
        "returned_hash",
        "circuit",
        "report"
      ],
      "title": "VerifiedCircuitOptimizationResult",
      "type": "object"
    }
  },
  "anyOf": [
    {
      "$ref": "#/$defs/VerifiedCircuitOptimizationResult"
    },
    {
      "$ref": "#/$defs/SemanticUnsupportedResult"
    }
  ],
  "$id": "rqm.studio.verified-circuit-optimization-result.v1"
}

Registry source · Buyer instructions and recovery · Public support