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

# Get a consistency proof

> Proves the tree of size `first` is a prefix of the tree of size `second` (RFC 6962 / 9162): every entry that was in the log is still there, unchanged. Free and public.



## OpenAPI

````yaml /api-reference/openapi.json get /v1/log/consistency
openapi: 3.1.0
info:
  description: 'The public HTTP API of QED Proof. Guides: https://docs.qedproof.site'
  title: QED Proof API
  version: 0.1.0
servers:
  - url: https://api.qedproof.site
security: []
paths:
  /v1/log/consistency:
    get:
      summary: Get a consistency proof
      description: >-
        Proves the tree of size `first` is a prefix of the tree of size `second`
        (RFC 6962 / 9162): every entry that was in the log is still there,
        unchanged. Free and public.
      operationId: log_consistency_v1_log_consistency_get
      parameters:
        - in: query
          name: first
          required: true
          schema:
            minimum: 1
            title: First
            type: integer
        - in: query
          name: second
          required: true
          schema:
            minimum: 1
            title: Second
            type: integer
      responses:
        '200':
          content:
            application/json:
              schema:
                additionalProperties: true
                title: Response Log Consistency V1 Log Consistency Get
                type: object
          description: Successful Response
        '400':
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
          description: Invalid sizes (`first` must be ≤ `second`).
        '404':
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
          description: '`second` is beyond the current tree size.'
        '422':
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/HTTPValidationError'
          description: Validation Error
        '429':
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/Error'
          description: Rate limit exceeded.
components:
  schemas:
    Error:
      properties:
        detail:
          description: What went wrong, in plain words.
          type: string
      required:
        - detail
      title: Error
      type: object
    HTTPValidationError:
      properties:
        detail:
          items:
            $ref: '#/components/schemas/ValidationError'
          title: Detail
          type: array
      title: HTTPValidationError
      type: object
    ValidationError:
      properties:
        ctx:
          title: Context
          type: object
        input:
          title: Input
        loc:
          items:
            anyOf:
              - type: string
              - type: integer
          title: Location
          type: array
        msg:
          title: Message
          type: string
        type:
          title: Error Type
          type: string
      required:
        - loc
        - msg
        - type
      title: ValidationError
      type: object

````

This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.