Skip to content

Commit

Permalink
imports cleanup
Browse files Browse the repository at this point in the history
  • Loading branch information
Okm165 committed Dec 21, 2023
1 parent d4a870a commit cc7b5c5
Showing 1 changed file with 7 additions and 10 deletions.
17 changes: 7 additions & 10 deletions src/fri/fri.cairo
Original file line number Diff line number Diff line change
@@ -1,22 +1,19 @@
use core::option::OptionTrait;
use core::traits::TryInto;
use core::array::SpanTrait;
use core::traits::Destruct;
use cairo_verifier::channel::channel::ChannelTrait;
use cairo_verifier::table_commitment::{
TableCommitment, TableCommitmentConfig, TableUnsentCommitment
};
use core::array::ArrayTrait;
use cairo_verifier::table_commitment::{table_commit, table_decommit};
use cairo_verifier::channel::channel::Channel;
use cairo_verifier::channel::channel::{ChannelUnsentFelt, ChannelSentFelt};
use cairo_verifier::fri::fri_config::FriConfig;
use core::traits::Destruct;
use cairo_verifier::common::math;
use cairo_verifier::table_commitment::{TableCommitmentWitness, TableDecommitment};
use cairo_verifier::channel::channel::{ChannelUnsentFelt, ChannelSentFelt, Channel, ChannelTrait};
use cairo_verifier::fri::fri_config::FriConfig;
use cairo_verifier::fri::fri_first_layer::gather_first_layer_queries;
use cairo_verifier::fri::fri_group::get_fri_group;
use cairo_verifier::fri::fri_layer::{FriLayerQuery, FriLayerComputationParams, compute_next_layer};
use cairo_verifier::fri::fri_last_layer::verify_last_layer;
use cairo_verifier::table_commitment::{
TableCommitmentWitness, TableDecommitment, TableCommitment, TableCommitmentConfig,
TableUnsentCommitment, table_commit, table_decommit
};

// Commitment values for FRI. Used to generate a commitment by "reading" these values
// from the channel.
Expand Down

0 comments on commit cc7b5c5

Please sign in to comment.