File tree Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Expand file tree Collapse file tree 1 file changed +4
-2
lines changed Original file line number Diff line number Diff line change @@ -1019,13 +1019,13 @@ pub fn verify_gkr_circuit<C: Config>(
1019
1019
}
1020
1020
) ;
1021
1021
} ) ;
1022
-
1022
+
1023
1023
let rotation_exprs_len = layer. rotation_exprs . 1 . len ( ) ;
1024
1024
let alpha_pows = gen_alpha_pows ( builder, & mut challenger, Usize :: from ( layer. exprs . len ( ) + rotation_exprs_len * ROTATION_OPENING_COUNT ) ) ;
1025
-
1026
1025
let sigma: Ext < C :: F , C :: EF > = builder. constant ( C :: EF :: ZERO ) ;
1027
1026
let alpha_idx: Var < C :: N > = Var :: uninit ( builder) ;
1028
1027
builder. assign ( & alpha_idx, C :: N :: from_canonical_usize ( 0 ) ) ;
1028
+
1029
1029
builder. range ( 0 , eval_and_dedup_points. len ( ) ) . for_each ( |idx_vec, builder| {
1030
1030
let ClaimAndPoint {
1031
1031
evals,
@@ -1051,6 +1051,7 @@ pub fn verify_gkr_circuit<C: Config>(
1051
1051
& mut unipoly_extrapolator
1052
1052
) ;
1053
1053
1054
+ /* _debug: wait for e2e test context
1054
1055
layer.out_sel_and_eval_exprs.iter().enumerate().for_each(|(idx, (sel_type, _))| {
1055
1056
let out_point = builder.get(&eval_and_dedup_points, idx).point.fs;
1056
1057
@@ -1064,6 +1065,7 @@ pub fn verify_gkr_circuit<C: Config>(
1064
1065
layer.n_witin,
1065
1066
);
1066
1067
});
1068
+ */
1067
1069
1068
1070
let empty_arr: Array < C , Ext < C :: F , C :: EF > > = builder. dyn_array ( 0 ) ;
1069
1071
let got_claim = eval_ceno_expr_with_instance (
You can’t perform that action at this time.
0 commit comments