Skip to content

Commit

Permalink
Format
Browse files Browse the repository at this point in the history
  • Loading branch information
fmkra committed Jan 11, 2024
1 parent 710f53d commit 774c71b
Show file tree
Hide file tree
Showing 4 changed files with 10 additions and 3 deletions.
4 changes: 3 additions & 1 deletion src/air/traces_config.cairo
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
use cairo_verifier::vector_commitment::vector_commitment::VectorCommitmentConfigTrait;
use cairo_verifier::{common::asserts::assert_in_range, table_commitment::table_commitment::TableCommitmentConfig};
use cairo_verifier::{
common::asserts::assert_in_range, table_commitment::table_commitment::TableCommitmentConfig
};

const MAX_N_COLUMNS: felt252 = 128;
const AIR_LAYOUT_N_ORIGINAL_COLUMNS: felt252 = 12;
Expand Down
4 changes: 3 additions & 1 deletion src/deserialization/fri.cairo
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
use cairo_verifier::{
fri::{fri_config::FriConfig, fri::{FriUnsentCommitment, FriWitness, FriLayerWitness}},
table_commitment::table_commitment::{TableCommitmentConfig, TableCommitmentWitness, TableUnsentCommitment},
table_commitment::table_commitment::{
TableCommitmentConfig, TableCommitmentWitness, TableUnsentCommitment
},
vector_commitment::vector_commitment::{VectorCommitmentConfig, VectorCommitmentWitness},
};

Expand Down
4 changes: 3 additions & 1 deletion src/stark.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,9 @@ use cairo_verifier::{
},
fri::{fri_config::{FriConfig, FriConfigTrait}, fri::{FriUnsentCommitment, FriWitness}},
domains::StarkDomainsImpl,
table_commitment::table_commitment::{TableCommitmentConfig, TableCommitmentWitness, TableDecommitment},
table_commitment::table_commitment::{
TableCommitmentConfig, TableCommitmentWitness, TableDecommitment
},
proof_of_work::{
config::{ProofOfWorkConfig, ProofOfWorkConfigTrait},
proof_of_work::ProofOfWorkUnsentCommitment
Expand Down
1 change: 1 addition & 0 deletions src/table_commitment/tests/test_table_commitment.cairo
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@

0 comments on commit 774c71b

Please sign in to comment.