Skip to content

Fixed Parameters And Bounds

This page lists the fixed parameters for the current bounded publication profile.

Frozen Profile

The frozen verifier/runtime profile is Trustless Relation Query 1 (TRQ1):

  • backendId = 2
  • backend tag: stark-rq-trq1-backend-v1
  • bounded source-note cardinality: 1..2

Boundary Format Bounds

Public Inputs version 1 (PIv1)

  • fixed length: 200 bytes
  • literal wire magic: "PIV1"
  • reserved-byte and unknown-flag rejection is required

Proof Blob version 1 (PBv1)

  • literal wire magic: "PBV1"
  • fixed header and section-table sizing constraints
  • section caps and digest checks enforced for acceptance

Runtime/Profile Constants

From current runtime lane definitions:

  • trustless proof body bytes: 858
  • trustless artifact proof bytes: 1218

Economics-Adjacent Integration Constants

Integration posture constants (for current reference flows) include fee-discipline bands and continuation shell minimums. These are operational constraints, not hidden-value semantics.

What This Bounded Mode Does Not Claim

  • arbitrary-N relation coverage
  • private reserve replenishment in deployed direct spend
  • hidden BCH graph/shell/topology surfaces
  • whole-system fully zero-knowledge deployment claims

Code Mapping