Skip to main content

Proof Detail

GET 
/api/v1/proof/:proof_id/detail

Get info for an existing proof.

Request​

Path Parameters

    proof_id stringrequired

    The UUID4 identifier associated with this proof.

Query Parameters

    include_proof boolean

    Default value: true

    Indicates whether to include the proof in the response.

    include_public boolean

    Default value: true

    Indicates whether to include public inputs in the response.

    include_smart_contract_calldata boolean

    Indicates whether to include the proof and public formatted as smart contract calldata in the response.

    include_verification_key boolean

    Default value: true

    Indicates whether to include the circuit's verification key in the response.

Responses​

OK
Schema
    proof_id uuid4required

    A unique identifier generated for the proof. UUID4 format.

    circuit_name Circuit Name (string)required

    The name of the circuit associated with this proof.

    circuit_id uuid4required

    The circuit_id of the circuit associated with this proof. UUID4 format.

    circuit_type CircuitType (string)required

    Possible values: [boojum, circom, gnark, halo2, noir]

    CircuitType choices

    date_created date-timerequired

    The UTC datetime the circuit was uploaded in ISO8601 format.

    perform_verify Verify Check (boolean)required

    A boolean indicating whether an internal verification check occurred during the proof creation.

    status JobStatus (string)required

    Possible values: [Queued, In Progress, Ready, Failed]

    JobStatus choices

    team User/Team (string)required

    The user/team that owns this proof.

    compute_time time-delta

    Total compute time in ISO8601 format.

    compute_time_sec Compute Time Seconds (number)

    Total compute time in seconds.

    compute_times Compute Times

    Detailed compute times for the proof generation.

    file_size File Size (integer)

    Total size of stored file(s) in bytes.

    proof object

    The succinct argument(s) of knowledge.

    public Public

    The public outputs of the circuit.

    queue_time time-delta

    Queue time in ISO8601 format.

    queue_time_sec Queue Time Seconds (number)

    Queue time in seconds.

    smart_contract_calldata Smart Contract Calldata (string)

    The proof and public formatted as calldata for the smart contract verifier.

    verification_key object

    The verification key of this circuit.

    error Error (string)

    The error message for a failed proof.

Loading...