deploy: 4dd904a

rfcs/starknet/fri.html

@@ -372,7 +372,7 @@ <h3>FRI configuration</h3>
 <p><strong><code>inner_layers</code></strong>. An array of <code>TableCommitmentConfig</code> where each configuration represents what is expected of each commitment sent as part of the FRI proof. Refer to the <a href="merkle.html#table-commitments">Table Commitments section of the Starknet Merkle Tree Polynomial Commitments specification</a>.</p>
 <p><strong><code>fri_step_sizes</code></strong>. The number of layers to skip for each folding/reduction of the protocol. The first step must always be zero, as no layer is skipped during the first reduction. Each step should be within the range <code>[1, MAX_FRI_STEP]</code>. For each step, the corresponding layer <code>inner_layers[i-1]</code> should have enough columns to support the reduction: <code>n_columns = 2^fri_step</code>.</p>
 <p><strong><code>log_last_layer_degree_bound</code></strong>. The degree of the last layer's polynomial. As it is sent in clear as part of the FRI protocol, this value represents the (log) number of coefficients (minus 1) that the proof will contain. It must be less or equal to <code>MAX_LAST_LAYER_LOG_DEGREE_BOUND</code> (see constants).</p>
-<p>TODO: move these validation steps in the description of the fields above</p>
+<p>In addition, the following validations should be performed on passed configurations:</p>
 <ul>
 <li>for every <code>fri_step_sizes[i]</code> check:<ul>
 <li>that the previous layer table commitment configuration <code>inner_Layers[i-1]</code> has</li>
@@ -388,6 +388,7 @@ <h3>FRI configuration</h3>
 </ul>
 </li>
 </ul>
+<p>TODO: move these validation steps in the description of the fields above</p>
 </section>
 </section>
 <section>

source/starknet/fri.md

@@ -376,7 +376,7 @@ A FRI configuration contains the following fields:
 
 **`log_last_layer_degree_bound`**. The degree of the last layer's polynomial. As it is sent in clear as part of the FRI protocol, this value represents the (log) number of coefficients (minus 1) that the proof will contain. It must be less or equal to `MAX_LAST_LAYER_LOG_DEGREE_BOUND` (see constants).
 
-TODO: move these validation steps in the description of the fields above
+In addition, the following validations should be performed on passed configurations:
 
 * for every `fri_step_sizes[i]` check:
     * that the previous layer table commitment configuration `inner_Layers[i-1]` has
@@ -386,6 +386,8 @@ TODO: move these validation steps in the description of the fields above
     * TODO: why is log_n_cosets passed? and what is it? (number of additional cosets with the blowup factor?)
     * where `log_expected_input_degree = sum_of_step_sizes + log_last_layer_degree_bound`
 
+TODO: move these validation steps in the description of the fields above
+
 ## Domains and Commitments
 
 There are three types of domains: