From 459eeb47ea1a24d79eb1f422fcf9d2ca1a0c4bd9 Mon Sep 17 00:00:00 2001
From: adria0 <adria0@nowhere>
Date: Wed, 28 Feb 2024 13:46:08 +0100
Subject: [PATCH] stark101

---
 src/stark101/fri.rs   | 2 +-
 src/stark101/mod.rs   | 8 +++-----
 src/stark101/stark.rs | 4 ----
 3 files changed, 4 insertions(+), 10 deletions(-)

diff --git a/src/stark101/fri.rs b/src/stark101/fri.rs
index d59a9d9..581ff08 100644
--- a/src/stark101/fri.rs
+++ b/src/stark101/fri.rs
@@ -85,4 +85,4 @@ fn fri() {
 
     let proof = FriProof::prove(Poly::from([1,2,3,4,5,6,7,8]), &domain, rands.clone());
     assert!(proof.verify(&domain, rands));
-}
\ No newline at end of file
+}
diff --git a/src/stark101/mod.rs b/src/stark101/mod.rs
index 5de3e6e..cfdca77 100644
--- a/src/stark101/mod.rs
+++ b/src/stark101/mod.rs
@@ -1,5 +1,4 @@
 #![allow(non_snake_case)]
-#![allow(clippy::module_inception)]
 
 use crate::field::{Field, U64Field};
 use crate::poly::Poly;
@@ -19,8 +18,8 @@ mod stark101 {
 
     use itertools::Itertools;
 
-    use crate::{stark101::stark::Program, field::Field, poly::Poly, stark101::stark::StarkDomain};
-    use super::{FF, mt::MerkleTree, channel::Channel, stark::FriCommit};
+    use crate::{stark101::stark::Program, field::Field, poly::Poly};
+    use super::{FF, mt::MerkleTree, channel::Channel, stark::{FriCommit, StarkDomain}};
 
     struct FibonacciSq {}
 
@@ -124,7 +123,6 @@ fn stark101() {
         .iter()
         .map(|_| channel.receive_random_field_element())
         .collect();
-
     for (constrain, alpha) in constraints.iter().zip_eq(alphas.iter()) {
         cp = cp + constrain * alpha;
     }
@@ -152,4 +150,4 @@ fn stark101() {
     }
 }
 
-}
\ No newline at end of file
+}
diff --git a/src/stark101/stark.rs b/src/stark101/stark.rs
index dfdce27..c1b33a2 100644
--- a/src/stark101/stark.rs
+++ b/src/stark101/stark.rs
@@ -300,7 +300,3 @@ impl FriCommit {
     }
 }
 
-pub trait StarkProver<P: Program> {
-
-
-}