Runtime TRQ1 Fixed Parameters Reference¶
Generated from source files. Do not edit manually.
Parameters¶
| Parameter | Value | Source |
|---|---|---|
PIv1_TOTAL_LEN_BYTES |
200 |
standalone/prover-runtime/src/boundary/public_inputs_v1.ts |
PBv1_MAX_SECTIONS |
8 |
standalone/prover-runtime/src/boundary/proof_blob_v1.ts |
PBv1_MAX_PROOF_BYTES |
4096 |
standalone/prover-runtime/src/boundary/proof_blob_v1.ts |
PBv1_MAX_ENCRYPTED_PAYLOAD_BYTES |
1024 |
standalone/prover-runtime/src/boundary/proof_blob_v1.ts |
PBv1_MAX_HINTS_BYTES |
512 |
standalone/prover-runtime/src/boundary/proof_blob_v1.ts |
TRQ1_BACKEND_ID |
2 |
standalone/prover-runtime/src/runtime/stark_rq_trq1_backend_v1.ts |
TRQ1_TRUSTLESS_PROOF_BYTES |
858 |
standalone/prover-runtime/src/runtime/stark_rq_srq3_trustless_artifact_v1.ts |
TRQ1_ARTIFACT_PROOF_BYTES_COMPUTED |
1218 |
computed from standalone/prover-runtime/src/runtime/stark_rq_srq3_artifact_v1.ts + stark_rq_srq3_trustless_artifact_v1.ts |
Note¶
These are implementation-fixed parameters for the currently published bounded lane. They should be described as current runtime truth, not generalized protocol-final guarantees.