Skip to content

Commit

Permalink
Continue
Browse files Browse the repository at this point in the history
  • Loading branch information
dannywillems committed Sep 19, 2024
1 parent 4bc3eec commit d52cab7
Show file tree
Hide file tree
Showing 2 changed files with 274 additions and 310 deletions.
22 changes: 5 additions & 17 deletions o1vm/src/interpreters/keccak/tests.rs
Original file line number Diff line number Diff line change
@@ -1,35 +1,23 @@
use crate::{
interpreters::keccak::{
column::{
Absorbs::*,
Sponges::*,
Steps::{self, *},
N_ZKVM_KECCAK_COLS, N_ZKVM_KECCAK_REL_COLS, N_ZKVM_KECCAK_SEL_COLS,
},
column::{Absorbs::*, Sponges::*, Steps::*},
environment::KeccakEnv,
interpreter::KeccakInterpreter,
Constraint::*,
Error, KeccakColumn,
},
lookups::{FixedLookupTables, LookupTable, LookupTableIDs::*},
BaseSponge, Fp,
Fp,
};

use ark_bn254::g1::Parameters;
use ark_ff::{One, Zero};
use kimchi::{
circuits::polynomials::keccak::{constants::RATE_IN_BYTES, Keccak},
circuits::polynomials::keccak::Keccak,
o1_utils::{self, FieldHelpers, Two},
};
use kimchi_msm::test::test_completeness_generic_no_lookups;
use mina_poseidon::{constants::PlonkSpongeConstantsKimchi, sponge::DefaultFqSponge};
use rand::{rngs::StdRng, Rng};
use rand::Rng;
use sha3::{Digest, Keccak256};
use std::{
array,
collections::{BTreeMap, HashMap},
};
use strum::IntoEnumIterator;
use std::collections::HashMap;

#[test]
fn test_pad_blocks() {
Expand Down
Loading

0 comments on commit d52cab7

Please sign in to comment.