feat: implment FRI Prover

fri/Cargo.toml

@@ -15,6 +15,7 @@ serde_json.workspace = true
 serde.workspace = true
 commitment_scheme = { path = "../commitment_scheme" }
 anyhow.workspace = true
+num-bigint.workspace = true
 
 [dev-dependencies]
 rand.workspace = true

fri/src/lib.rs

@@ -4,5 +4,6 @@ mod folder;
 mod layers;
 mod lde;
 mod parameters;
+mod prover;
 mod stone_domain;
 mod verifier;

fri/src/parameters.rs

@@ -6,6 +6,7 @@ use serde::Deserialize;
 
 #[derive(Deserialize)]
 #[allow(dead_code)]
+#[derive(Clone)]
 pub struct FriParameters<F: FftField, E: EvaluationDomain<F>> {
     #[serde(skip)]
     pub ph: PhantomData<F>,
@@ -71,17 +72,3 @@ impl<F: FftField, E: EvaluationDomain<F>> FriParameters<F, E> {
         self
     }
 }
-
-#[allow(dead_code)]
-pub struct FriProverConfig {
-    pub max_non_chunked_layer_size: u64,
-    pub n_chunks_between_layers: usize,
-    pub log_n_max_in_memory_fri_layer_elements: usize,
-}
-
-#[allow(dead_code)]
-impl FriProverConfig {
-    pub const DEFAULT_MAX_NON_CHUNKED_LAYER_SIZE: u64 = 32768;
-    pub const DEFAULT_NUMBER_OF_CHUNKS_BETWEEN_LAYERS: usize = 32;
-    pub const ALL_IN_MEMORY_LAYERS: usize = 63;
-}