File tree Expand file tree Collapse file tree 2 files changed +12
-13
lines changed Expand file tree Collapse file tree 2 files changed +12
-13
lines changed Original file line number Diff line number Diff line change @@ -632,8 +632,8 @@ impl<'a, E: ExtensionField + Hash> MockProver<E> {
632632 fixed,
633633 wits_in,
634634 structural_witin,
635- & pi_mles,
636- & pub_io_evals,
635+ pi_mles,
636+ pub_io_evals,
637637 & challenge,
638638 ) ;
639639 let left_evaluated =
@@ -647,8 +647,8 @@ impl<'a, E: ExtensionField + Hash> MockProver<E> {
647647 fixed,
648648 wits_in,
649649 structural_witin,
650- & pi_mles,
651- & pub_io_evals,
650+ pi_mles,
651+ pub_io_evals,
652652 & challenge,
653653 ) ;
654654 let right_evaluated =
@@ -679,8 +679,8 @@ impl<'a, E: ExtensionField + Hash> MockProver<E> {
679679 fixed,
680680 wits_in,
681681 structural_witin,
682- & pi_mles,
683- & pub_io_evals,
682+ pi_mles,
683+ pub_io_evals,
684684 & challenge,
685685 ) ;
686686 let expr_evaluated =
@@ -726,8 +726,8 @@ impl<'a, E: ExtensionField + Hash> MockProver<E> {
726726 fixed,
727727 wits_in,
728728 structural_witin,
729- & pi_mles,
730- & pub_io_evals,
729+ pi_mles,
730+ pub_io_evals,
731731 & challenge,
732732 ) ;
733733 let expr_evaluated = filter_mle_by_selector_mle ( expr_evaluated, lk_selector. clone ( ) ) ;
@@ -772,8 +772,8 @@ impl<'a, E: ExtensionField + Hash> MockProver<E> {
772772 fixed,
773773 wits_in,
774774 structural_witin,
775- & pi_mles,
776- & pub_io_evals,
775+ pi_mles,
776+ pub_io_evals,
777777 & challenge,
778778 ) ;
779779 if arg_expr. is_constant ( ) && arg_eval. evaluations . len ( ) == 1 {
@@ -1012,8 +1012,7 @@ Hints:
10121012 // Process all circuits.
10131013 for ( circuit_name, composed_cs) in & cs. circuit_css {
10141014 let ComposedConstrainSystem {
1015- zkvm_v1_css : cs,
1016- gkr_circuit,
1015+ zkvm_v1_css : cs, ..
10171016 } = & composed_cs;
10181017 let pi_mles = cs
10191018 . instance_openings
Original file line number Diff line number Diff line change @@ -11,9 +11,9 @@ use witness::RowMajorMatrix;
1111
1212use crate :: cpu:: default_backend_config;
1313
14+ use either:: Either ;
1415use itertools:: { Itertools , izip} ;
1516use std:: marker:: PhantomData ;
16- use either:: Either ;
1717
1818pub mod gpu_prover {
1919 pub use ceno_gpu:: {
You can’t perform that action at this time.
0 commit comments