@@ -1238,22 +1238,18 @@ impl TransitionConstraint<GoldilocksField, GoldilocksExtension> for PcDoubleRead
12381238 match evaluation_context {
12391239 TransitionEvaluationContext :: Prover { frame, .. } => {
12401240 let step = frame. get_evaluation_step ( 0 ) ;
1241- let pc_double_read = step
1242- . get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ )
1243- . clone ( ) ;
1244- let rs1 = step. get_main_evaluation_element ( 0 , cols:: RS1 ) . clone ( ) ;
1241+ let pc_double_read = * step. get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ ) ;
1242+ let rs1 = * step. get_main_evaluation_element ( 0 , cols:: RS1 ) ;
12451243 let val_255 = FieldElement :: < GoldilocksField > :: from ( 255u64 ) ;
12461244 transition_evaluations[ self . idx ] =
1247- ( & pc_double_read * ( rs1 - val_255) ) . to_extension ( ) ;
1245+ ( pc_double_read * ( rs1 - val_255) ) . to_extension ( ) ;
12481246 }
12491247 TransitionEvaluationContext :: Verifier { frame, .. } => {
12501248 let step = frame. get_evaluation_step ( 0 ) ;
1251- let pc_double_read = step
1252- . get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ )
1253- . clone ( ) ;
1254- let rs1 = step. get_main_evaluation_element ( 0 , cols:: RS1 ) . clone ( ) ;
1249+ let pc_double_read = * step. get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ ) ;
1250+ let rs1 = * step. get_main_evaluation_element ( 0 , cols:: RS1 ) ;
12551251 let val_255 = FieldElement :: < GoldilocksExtension > :: from ( 255u64 ) ;
1256- transition_evaluations[ self . idx ] = & pc_double_read * ( rs1 - val_255) ;
1252+ transition_evaluations[ self . idx ] = pc_double_read * ( rs1 - val_255) ;
12571253 }
12581254 }
12591255 }
@@ -1288,23 +1284,15 @@ impl TransitionConstraint<GoldilocksField, GoldilocksExtension> for PcDoubleRead
12881284 match evaluation_context {
12891285 TransitionEvaluationContext :: Prover { frame, .. } => {
12901286 let step = frame. get_evaluation_step ( 0 ) ;
1291- let pc_double_read = step
1292- . get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ )
1293- . clone ( ) ;
1294- let borrow = step
1295- . get_main_evaluation_element ( 0 , cols:: PREV_PC_TIMESTAMP_BORROW )
1296- . clone ( ) ;
1297- transition_evaluations[ self . idx ] = ( & pc_double_read * borrow) . to_extension ( ) ;
1287+ let pc_double_read = * step. get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ ) ;
1288+ let borrow = * step. get_main_evaluation_element ( 0 , cols:: PREV_PC_TIMESTAMP_BORROW ) ;
1289+ transition_evaluations[ self . idx ] = ( pc_double_read * borrow) . to_extension ( ) ;
12981290 }
12991291 TransitionEvaluationContext :: Verifier { frame, .. } => {
13001292 let step = frame. get_evaluation_step ( 0 ) ;
1301- let pc_double_read = step
1302- . get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ )
1303- . clone ( ) ;
1304- let borrow = step
1305- . get_main_evaluation_element ( 0 , cols:: PREV_PC_TIMESTAMP_BORROW )
1306- . clone ( ) ;
1307- transition_evaluations[ self . idx ] = & pc_double_read * borrow;
1293+ let pc_double_read = * step. get_main_evaluation_element ( 0 , cols:: PC_DOUBLE_READ ) ;
1294+ let borrow = * step. get_main_evaluation_element ( 0 , cols:: PREV_PC_TIMESTAMP_BORROW ) ;
1295+ transition_evaluations[ self . idx ] = pc_double_read * borrow;
13081296 }
13091297 }
13101298 }
0 commit comments