## miden::core::stark
| Procedure | Description |
| ----------- | ------------- |
| verify | Verifies a STARK proof.<br /><br />Generic verifier used by relation-specific wrappers. It expects the following parameters on the<br />stack from the caller:<br /><br />1. `[D0, D1, D2, D3, D4]` which are the digests for dynamic execution of:<br />D0. `observe_aux_trace`<br />D1. `process_public_inputs`<br />D2. `process_row_ood_evaluations`<br />D3. `execute_constraint_evaluation_check`<br />D4. `compute_deep_composition_polynomial_queries`<br /><br />Before calling this procedure, a relation wrapper must:<br /><br />- store the transcript-bound security parameters, which this procedure validates;<br />- store its relation digest, registry root, canonical AIR heights, and proof-order tag;<br />- stage its fixed OOD and query-row addresses in the generic context cells; and<br />- supply the five hooks listed above in the documented ABI order.<br /><br />Relation-dependent constants live under `sys/<relation>`. Registry geometry and circuit shape<br />must be derived by regeneration, while any hand-written copy must be pinned to that source.<br /><br />Hardcoded protocol parameters:<br /><br />- Blowup factor: 8.<br />- Maximum remainder polynomial degree: 127.<br />- Constraint folding, OOD evaluations, and aux-trace values use the quadratic extension field.<br /><br />Inputs: [D0, D1, D2, D3, D4]<br />Outputs: [num_queries, query_pow_bits, deep_pow_bits, folding_pow_bits]<br /> |