From 4dd904ae3e989d325a3b8d46181acb087b80d50c Mon Sep 17 00:00:00 2001 From: David Wong Date: Mon, 21 Oct 2024 18:31:53 -0400 Subject: [PATCH] one less TODO (bis) --- source/starknet/fri.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/source/starknet/fri.md b/source/starknet/fri.md index b42f4e8..b4b0d7c 100644 --- a/source/starknet/fri.md +++ b/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: