> ## Documentation Index
> Fetch the complete documentation index at: https://docs.axiom.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Verify STARK proof

> Submit a STARK proof for verification. Upload the proof file and specify the program used. The configuration will be automatically determined from the program.



## OpenAPI

````yaml POST /v1/verify/stark
openapi: 3.1.0
info:
  title: Axiom Proving API
  description: |-
    ## Axiom Proving Service API

        The Axiom Proving API allows you to compile, execute, and prove OpenVM programs on Axiom's cloud infrastructure.

        **Core Concepts:**
        - **Program**: Compiled OpenVM binary, versioned within a project (built via compilation API)
        - **Project**: Container for program versions - auto-created if not specified during program upload
        - **Proof**: Zero-knowledge proof of program execution
        - **Execution**: Test run without proof generation (faster, for debugging before proving)

        **Authentication:**
        - CLI endpoints (`/v1/`): API key in `Axiom-API-Key` header
        - Web console endpoints (`/console/v1/`): Bearer token authentication

        All endpoints require appropriate authentication for your organization.
        
  version: 2.0.0
servers:
  - url: https://api.axiom.xyz
    description: Production API
  - url: https://api.staging.app.axiom.xyz
    description: Staging API
security: []
paths:
  /v1/verify/stark:
    post:
      tags:
        - verification
      summary: Submit STARK Proof Verification
      description: >-
        Submit a STARK proof for verification. Upload the proof file and specify
        the program used. The configuration will be automatically determined
        from the program.
      operationId: verify_stark_v1_verify_stark_post
      parameters:
        - name: program_id
          in: query
          required: true
          schema:
            type: string
            description: Program ID that generated the proof
            title: Program Id
          description: Program ID that generated the proof
      requestBody:
        required: true
        content:
          multipart/form-data:
            schema:
              $ref: '#/components/schemas/Body_verify_stark_v1_verify_stark_post'
      responses:
        '200':
          description: Successful Response
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/PostResponse'
        '201':
          description: Verification job submitted successfully
        '400':
          description: Invalid proof file, configuration, or program
        '404':
          description: Program not found
        '422':
          description: Validation Error
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/HTTPValidationError'
      security:
        - APIKeyHeader: []
components:
  schemas:
    Body_verify_stark_v1_verify_stark_post:
      properties:
        proof:
          type: string
          format: binary
          title: Proof
          description: STARK proof file to verify (.json format)
      type: object
      required:
        - proof
      title: Body_verify_stark_v1_verify_stark_post
    PostResponse:
      properties:
        id:
          type: string
          title: Id
      type: object
      required:
        - id
      title: PostResponse
      description: Generic response for POST operations.
    HTTPValidationError:
      properties:
        detail:
          items:
            $ref: '#/components/schemas/ValidationError'
          type: array
          title: Detail
      type: object
      title: HTTPValidationError
    ValidationError:
      properties:
        loc:
          items:
            anyOf:
              - type: string
              - type: integer
          type: array
          title: Location
        msg:
          type: string
          title: Message
        type:
          type: string
          title: Error Type
      type: object
      required:
        - loc
        - msg
        - type
      title: ValidationError
  securitySchemes:
    APIKeyHeader:
      type: apiKey
      in: header
      name: Axiom-API-Key

````