Supported circuit equivalence

Compare two RQM Circuit IR circuits within the supported verifier scope.

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.100000 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": {
    "original_circuit": {
      "additionalProperties": true,
      "title": "Original Circuit",
      "type": "object"
    },
    "candidate_circuit": {
      "additionalProperties": true,
      "title": "Candidate Circuit",
      "type": "object"
    },
    "method": {
      "default": "auto",
      "enum": [
        "auto",
        "structural_identity"
      ],
      "title": "Method",
      "type": "string"
    }
  },
  "required": [
    "original_circuit",
    "candidate_circuit"
  ],
  "title": "EquivalenceRequest",
  "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"
    },
    "SupportedCircuitEquivalenceResult": {
      "additionalProperties": false,
      "properties": {
        "outcome": {
          "enum": [
            "equivalent",
            "not_equivalent",
            "unsupported"
          ],
          "title": "Outcome",
          "type": "string"
        },
        "report": {
          "additionalProperties": true,
          "title": "Report",
          "type": "object"
        }
      },
      "required": [
        "outcome",
        "report"
      ],
      "title": "SupportedCircuitEquivalenceResult",
      "type": "object"
    }
  },
  "anyOf": [
    {
      "$ref": "#/$defs/SupportedCircuitEquivalenceResult"
    },
    {
      "$ref": "#/$defs/SemanticUnsupportedResult"
    }
  ],
  "$id": "rqm.studio.supported-circuit-equivalence-result.v1"
}

Registry source · Buyer instructions and recovery · Public support