separate step for FRI VERIFY

HerodotusDev · Apr 9, 2024 · d12a107 · d12a107
1 parent 4f6ecff
commit d12a107
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/stark/stark_verify.cairo b/src/stark/stark_verify.cairo
@@ -69,6 +69,13 @@ fn stark_verify(
     let fri_decommitment = FriDecommitment {
         values: oods_poly_evals.span(), points: points.span(),
     };
+
+    // --- REQUIRED CONTEXT FOR SUBSTEP 1
+    // --- queries_hash: felt252
+    // --- fri_commitment_hash: felt252
+    // --- fri_decommitment_hash: felt252
+
+    // --- BEGIN SUBSTEP 1 --- (queries, fri_commitment, fri_decommitment, fri_witness) -> (bool)
     fri_verify(
         queries: queries,
         commitment: commitment.fri,