We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f5cd786 commit 2487af2Copy full SHA for 2487af2
prover/src/trace/mod.rs
@@ -1,22 +1,17 @@
1
-use eval::TraceEval;
2
use itertools::Itertools;
3
use nexus_vm::WORD_SIZE;
4
use num_traits::Zero;
5
-use stwo_prover::{
6
- constraint_framework::{assert_constraints, AssertEvaluator},
7
- core::{
8
- backend::{
9
- simd::{column::BaseColumn, m31::LOG_N_LANES},
10
- Backend, CpuBackend,
11
- },
12
- fields::m31::BaseField,
13
- pcs::TreeVec,
14
- poly::{
15
- circle::{CanonicCoset, CircleEvaluation},
16
- BitReversedOrder,
17
18
- ColumnVec,
+use stwo_prover::core::{
+ backend::{
+ simd::{column::BaseColumn, m31::LOG_N_LANES},
+ Backend,
19
},
+ fields::m31::BaseField,
+ poly::{
+ circle::{CanonicCoset, CircleEvaluation},
+ BitReversedOrder,
+ },
+ ColumnVec,
20
};
21
22
use super::column::Column;
0 commit comments