fix(ZK): Ensure ZK from quotient segment openings

Since we open quotient codeword in `NUM_QUOTIENT_SEGMENTS` many points,
we need to add this many randomizers to keep the proofs zero-knowledge.

Credit goes to Ulrich Haböck (@ulrich-haboeck) and
Al-Kindi (@Al-Kindi-0).

Co-authored-by: Alan Szepieniec <alan@neptune.cash>

triton-vm/src/stark.rs

@@ -88,8 +88,9 @@ impl Stark {
         let num_collinearity_checks = security_level / log2_of_fri_expansion_factor;
 
         let num_out_of_domain_rows = 2;
-        let num_trace_randomizers =
-            num_collinearity_checks + num_out_of_domain_rows * x_field_element::EXTENSION_DEGREE;
+        let num_trace_randomizers = num_collinearity_checks
+            + num_out_of_domain_rows * x_field_element::EXTENSION_DEGREE
+            + NUM_QUOTIENT_SEGMENTS * x_field_element::EXTENSION_DEGREE;
 
         Stark {
             security_level,