From d362e379849a0bae01f3003e4f0975299ed8b773 Mon Sep 17 00:00:00 2001 From: Filip Krawczyk Date: Tue, 26 Mar 2024 22:20:36 +0100 Subject: [PATCH] Fmt --- src/air/layouts.cairo | 2 -- src/fri/tests/test_fri_verify.cairo | 1 - src/lib.cairo | 4 +++- src/oods.cairo | 13 ++++++------- src/stark.cairo | 6 ++---- src/table_commitment/tests.cairo | 1 - .../tests/test_table_commitment_decommit.cairo | 1 - 7 files changed, 11 insertions(+), 17 deletions(-) diff --git a/src/air/layouts.cairo b/src/air/layouts.cairo index 7e0049a97..fcfcd3862 100644 --- 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 index 1bf252f19..d0e6bdb14 100644 --- 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 index ffa8b7de5..b92e0eb2c 100644 --- 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 index 9da59977d..2dc35ad48 100644 --- 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 index 94f84c440..695d215a5 100644 --- 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 index 9ad54635b..fcda922b4 100644 --- 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 index 038d4e6a6..62125185e 100644 --- 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); } -