Skip to content
This repository was archived by the owner on Jan 27, 2026. It is now read-only.

Commit ebc736e

Browse files
committed
fmt
1 parent 11b6ccf commit ebc736e

File tree

1 file changed

+2
-6
lines changed

1 file changed

+2
-6
lines changed

src/zkvm_verifier/verifier.rs

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -306,9 +306,7 @@ pub fn verify_zkvm_proof<C: Config<F = F>>(
306306
let witin_round: RoundOpeningVariable<C> = builder.eval(RoundOpeningVariable {
307307
num_var: input_opening_point.len().get_var(),
308308
point_and_evals: PointAndEvalsVariable {
309-
point: PointVariable {
310-
fs: point_clone,
311-
},
309+
point: PointVariable { fs: point_clone },
312310
evals: chip_proof.wits_in_evals,
313311
},
314312
});
@@ -735,9 +733,7 @@ pub fn verify_gkr_circuit<C: Config>(
735733
let val = builder.get(&main_evals, idx);
736734
let new_point: Array<C, Ext<C::F, C::EF>> = builder.eval(in_point.clone());
737735
let new_point_eval = builder.eval(PointAndEvalVariable {
738-
point: PointVariable {
739-
fs: new_point,
740-
},
736+
point: PointVariable { fs: new_point },
741737
eval: val,
742738
});
743739
builder.set_value(&claims, *pos, new_point_eval);

0 commit comments

Comments
 (0)