Skip to content

Commit

Permalink
fix: ci (#401)
Browse files Browse the repository at this point in the history
  • Loading branch information
tamirhemo committed Mar 18, 2024
1 parent 162505d commit dcf8e3f
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions recursion/core/src/poseidon2/external.rs
Original file line number Diff line number Diff line change
Expand Up @@ -328,17 +328,19 @@ mod tests {
use std::borrow::BorrowMut;

use p3_baby_bear::BabyBear;
use p3_baby_bear::DiffusionMatrixBabybear;
use p3_field::AbstractField;
use p3_matrix::dense::RowMajorMatrix;
use p3_poseidon2::{DiffusionMatrixBabybear, Poseidon2};
use p3_symmetric::Permutation;
use p3_poseidon2::Poseidon2;
use sp1_core::stark::StarkGenericConfig;
use sp1_core::{
air::MachineAir,
utils::{poseidon2_instance::RC_16_30, uni_stark_prove, BabyBearPoseidon2, StarkUtils},
utils::{poseidon2_instance::RC_16_30, uni_stark_prove, BabyBearPoseidon2},
};

use crate::poseidon2::external::WIDTH;
use crate::{poseidon2::external::Poseidon2Chip, runtime::ExecutionRecord};
use p3_symmetric::Permutation;

use super::{Poseidon2Cols, NUM_POSEIDON2_COLS};

Expand Down

0 comments on commit dcf8e3f

Please sign in to comment.