Circuit Proofs
GET/api/v1/circuit/:circuit_id/proofs
List all proofs for a circuit.
Request​
Path Parameters
<CIRCUIT_ID>
- The unique UUID4 ID for an exact version of a compiled circuit.<CIRCUIT_NAME>
- The name of a circuit owned by the authenticated team. This will default to the most recent version of the circuit tagged aslatest
.<CIRCUIT_NAME>:<TAG>
- The name of a circuit owned by the authenticated team and an explicit tag. This corresponds to the most recent compilation of the circuit with the specified tag.<TEAM_NAME>/<CIRCUIT_NAME>
- The name of a circuit owned by the specified team. This will default to the most recent version of the circuit tagged aslatest
.<TEAM_NAME>/<CIRCUIT_NAME>:<TAG>
- The name of a circuit owned by a specified team and an explicit tag. This corresponds to the most recent compilation of the team's circuit with the specified tag.
The circuit identifer of the circuit. This can take one of the following forms:
Responses​
- 200
- 404
- 500
- application/json
- Schema
- Example (from schema)
Schema
Array [
]
A unique identifier generated for the proof. UUID4 format.
The name of the project associated with this proof.
The circuit_id of the circuit associated with this proof. UUID4 format.
Possible values: [boojum
, circom
, gnark
, halo2
, jolt
, noir
, plonky2
]
CircuitType choices
The UTC datetime the circuit was uploaded in ISO8601 format.
metaobjectrequired
Metadata keys and values for the proof that were specified at creation time.
A boolean indicating whether an internal verification check occurred during the proof creation.
Possible values: [Queued
, In Progress
, Ready
, Failed
]
JobStatus choices
The status of proof verification.
The name of the team that owns this proof.
URL for the avatar image of the team that owns this proof.
The slug of the team that owns this proof.
The name of the team that owns the circuit associated with this proof.
URL for the avatar image of the team that owns the circuit associated with this proof.
The slug of the team that owns the circuit associated with this proof.
Total compute time in ISO8601 format.
Total compute time in seconds.
Detailed compute times for the proof generation.
Total size of stored file(s) in bytes.
The succinct argument(s) of knowledge.
The public outputs of the circuit.
Queue time in ISO8601 format.
Queue time in seconds.
The proof and public formatted as calldata for the smart contract verifier.
Boolean indicating whether this proof has smart contract calldata available.
Boolean indicating whether this proof's circuit has a verification key available.
The verification key of this circuit.
A list of runtime warnings with UTC timestamps.
The error message for a failed proof.
[
{
"proof_id": "string",
"project_name": "string",
"circuit_id": "string",
"circuit_type": "boojum",
"date_created": "2024-10-31T19:26:03.546Z",
"meta": {},
"perform_verify": true,
"status": "Queued",
"verified": true,
"team": "string",
"team_avatar_url": "string",
"team_slug": "string",
"circuit_team": "string",
"circuit_team_avatar_url": "string",
"circuit_team_slug": "string",
"compute_time": "string",
"compute_time_sec": 0,
"file_size": 0,
"proof": {},
"queue_time": "string",
"queue_time_sec": 0,
"smart_contract_calldata": "string",
"has_smart_contract_calldata": false,
"has_verification_key": false,
"verification_key": {},
"warnings": [
"string"
],
"error": "string"
}
]
- application/json
- Schema
- Example (from schema)
Schema
- MOD1
- MOD2
circuit_idobjectrequired
string
string
{
"error": "string",
"circuit_id": "string",
"message": "string"
}
- application/json
- Schema
- Example (from schema)
Schema
Default value: An internal error occurred.
{
"error": "string",
"message": "An internal error occurred."
}