|
1 | | -use itertools::Itertools; |
2 | | -use openvm_circuit::arch::{ |
3 | | - instructions::program::Program, verify_single, SystemConfig, VirtualMachine, VmConfig, |
4 | | - VmExecutor, |
5 | | -}; |
| 1 | +use openvm_circuit::arch::instructions::program::Program; |
6 | 2 | #[cfg(not(feature = "cuda"))] |
7 | 3 | use openvm_circuit::utils::air_test_impl; |
8 | 4 | use openvm_native_circuit::{NativeBuilder, NativeConfig, EXT_DEG}; |
9 | 5 | use openvm_native_compiler::{ |
10 | 6 | asm::{AsmBuilder, AsmCompiler}, |
11 | 7 | conversion::{convert_program, CompilerOptions}, |
12 | | - ir::{Ext, Felt, Usize}, |
| 8 | + ir::{Ext, Usize}, |
13 | 9 | prelude::*, |
14 | 10 | }; |
15 | | -use openvm_native_recursion::{ |
16 | | - challenger::{duplex::DuplexChallengerVariable, CanObserveVariable}, |
17 | | - testing_utils::inner::run_recursive_test, |
18 | | -}; |
19 | | -use openvm_stark_backend::{ |
20 | | - config::{Domain, StarkGenericConfig}, |
21 | | - p3_commit::PolynomialSpace, |
22 | | - p3_field::{ |
23 | | - extension::BinomialExtensionField, FieldAlgebra, FieldExtensionAlgebra, PackedValue, |
24 | | - }, |
| 11 | +use openvm_stark_backend::p3_field::{ |
| 12 | + extension::BinomialExtensionField, FieldAlgebra, FieldExtensionAlgebra, PackedValue, |
25 | 13 | }; |
26 | 14 | use openvm_stark_sdk::{ |
27 | 15 | config::{ |
|
0 commit comments