From 30612a6f586077f079f356deccdb360e63179138 Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Tue, 9 Apr 2024 11:51:24 +0200 Subject: [PATCH] end marks --- src/stark/stark_verify.cairo | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/stark/stark_verify.cairo b/src/stark/stark_verify.cairo index a08b7f48d..73a4f84c3 100644 --- a/src/stark/stark_verify.cairo +++ b/src/stark/stark_verify.cairo @@ -76,6 +76,7 @@ fn stark_verify( let fri_decommitment = FriDecommitment { values: oods_poly_evals.span(), points: points.span(), }; + // --- END SUBSTEP 1 --- // --- REQUIRED CONTEXT FOR SUBSTEP 2 // --- queries_hash: felt252 @@ -89,4 +90,5 @@ fn stark_verify( decommitment: fri_decommitment, witness: witness.fri_witness, ) + // --- END SUBSTEP 2 --- }