Fmt

HerodotusDev · Mar 26, 2024 · d362e37 · d362e37
1 parent bab4254
commit d362e37
Show file tree

Hide file tree

Showing 7 changed files with 11 additions and 17 deletions.
diff --git a/src/air/layouts.cairo b/src/air/layouts.cairo
@@ -16,5 +16,3 @@ mod starknet;
 #[cfg(feature: 'starknet_with_keccak')]
 mod starknet_with_keccak;
 
-
-
diff --git a/src/fri/tests/test_fri_verify.cairo b/src/fri/tests/test_fri_verify.cairo
@@ -26,4 +26,3 @@ fn test_fri_verify() {
     fri_verify(queries, commitment, decommitment, witness)
 }
 
-
diff --git a/src/lib.cairo b/src/lib.cairo
@@ -18,7 +18,9 @@ mod vector_commitment;
 #[cfg(feature: 'recursive')]
 mod tests;
 
-use cairo_verifier::{deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl}};
+use cairo_verifier::{
+    deserialization::stark::StarkProofWithSerde, stark::{StarkProof, StarkProofImpl}
+};
 
 #[cfg(feature: 'dex')]
 use cairo_verifier::air::layouts::dex::public_input::{DexPublicInputImpl as PublicInputImpl};

diff --git a/src/oods.cairo b/src/oods.cairo
@@ -1,6 +1,5 @@
 use cairo_verifier::{
-    common::array_extend::ArrayExtendTrait,
-    table_commitment::table_commitment::TableDecommitment
+    common::array_extend::ArrayExtendTrait, table_commitment::table_commitment::TableDecommitment
 };
 
 #[cfg(feature: 'dex')]
@@ -20,8 +19,8 @@ use cairo_verifier::air::layouts::recursive::{
 #[cfg(feature: 'recursive_with_poseidon')]
 use cairo_verifier::air::layouts::recursive_with_poseidon::{
     AIRComposition, AIROods, RecursiveWithPoseidonAIRCompositionImpl,
-    RecursiveWithPoseidonAIROodsImpl, global_values::InteractionElements,
-    public_input::PublicInput, traces::TracesDecommitment, constants::CONSTRAINT_DEGREE,
+    RecursiveWithPoseidonAIROodsImpl, global_values::InteractionElements, public_input::PublicInput,
+    traces::TracesDecommitment, constants::CONSTRAINT_DEGREE,
 };
 
 #[cfg(feature: 'small')]
@@ -40,9 +39,9 @@ use cairo_verifier::air::layouts::starknet::{
 
 #[cfg(feature: 'starknet_with_keccak')]
 use cairo_verifier::air::layouts::starknet_with_keccak::{
-    AIRComposition, AIROods, StarknetWithKeccakAIRCompositionImpl,
-    StarknetWithKeccakAIROodsImpl, global_values::InteractionElements,
-    public_input::PublicInput, traces::TracesDecommitment, constants::CONSTRAINT_DEGREE,
+    AIRComposition, AIROods, StarknetWithKeccakAIRCompositionImpl, StarknetWithKeccakAIROodsImpl,
+    global_values::InteractionElements, public_input::PublicInput, traces::TracesDecommitment,
+    constants::CONSTRAINT_DEGREE,
 };
 
 

diff --git a/src/stark.cairo b/src/stark.cairo
@@ -38,8 +38,7 @@ use cairo_verifier::air::layouts::recursive::{
 
 #[cfg(feature: 'recursive_with_poseidon')]
 use cairo_verifier::air::layouts::recursive_with_poseidon::{
-    traces::{TracesConfig, TracesConfigTrait},
-    public_input::RecursiveWithPoseidonPublicInputImpl,
+    traces::{TracesConfig, TracesConfigTrait}, public_input::RecursiveWithPoseidonPublicInputImpl,
     traces::{TracesUnsentCommitment, TracesCommitment, TracesDecommitment, TracesWitness},
     constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}
 };
@@ -60,8 +59,7 @@ use cairo_verifier::air::layouts::starknet::{
 
 #[cfg(feature: 'starknet_with_keccak')]
 use cairo_verifier::air::layouts::starknet_with_keccak::{
-    traces::{TracesConfig, TracesConfigTrait},
-    public_input::StarknetWithKeccakPublicInputImpl,
+    traces::{TracesConfig, TracesConfigTrait}, public_input::StarknetWithKeccakPublicInputImpl,
     traces::{TracesUnsentCommitment, TracesCommitment, TracesDecommitment, TracesWitness},
     constants::{NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND}
 };

diff --git a/src/table_commitment/tests.cairo b/src/table_commitment/tests.cairo
@@ -2,4 +2,3 @@ mod test_table_commitment_commit;
 #[cfg(feature: 'recursive')]
 mod test_table_commitment_decommit;
 
-
diff --git a/src/table_commitment/tests/test_table_commitment_decommit.cairo b/src/table_commitment/tests/test_table_commitment_decommit.cairo
@@ -33,4 +33,3 @@ fn test_table_commitment_decommit() {
     table_decommit(commitment, queries, decommitment, witness);
 }
 
-
Original file line number	Diff line number	Diff line change
Expand Up		@@ -16,5 +16,3 @@ mod starknet;
		#[cfg(feature: 'starknet_with_keccak')]
		mod starknet_with_keccak;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -26,4 +26,3 @@ fn test_fri_verify() {
		fri_verify(queries, commitment, decommitment, witness)
		}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,4 +2,3 @@ mod test_table_commitment_commit;
		#[cfg(feature: 'recursive')]
		mod test_table_commitment_decommit;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -33,4 +33,3 @@ fn test_table_commitment_decommit() {
		table_decommit(commitment, queries, decommitment, witness);
		}