From 49e36fa6d992d97b6c42ab730f5066f38d2dbdfb Mon Sep 17 00:00:00 2001 From: Adrian Hamelink Date: Tue, 10 Oct 2023 13:33:37 +0200 Subject: [PATCH] Fix fmt --- halo2_proofs/src/protostar/accumulator.rs | 2 +- halo2_proofs/src/protostar/constraints.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/halo2_proofs/src/protostar/accumulator.rs b/halo2_proofs/src/protostar/accumulator.rs index 953b87cc..5bcc817d 100644 --- a/halo2_proofs/src/protostar/accumulator.rs +++ b/halo2_proofs/src/protostar/accumulator.rs @@ -94,7 +94,7 @@ impl Accumulator { let mut error_poly_vanish = error_poly.clone(); // subtract (1-t)e0 + te1 = e0 + t(e1-e0) error_poly_vanish[0] -= error0; - error_poly_vanish[1] -= error1-error0; + error_poly_vanish[1] -= error1 - error0; quotient_by_boolean_vanishing(&error_poly_vanish) }; diff --git a/halo2_proofs/src/protostar/constraints.rs b/halo2_proofs/src/protostar/constraints.rs index 0b445cb8..c87ba413 100644 --- a/halo2_proofs/src/protostar/constraints.rs +++ b/halo2_proofs/src/protostar/constraints.rs @@ -16,7 +16,7 @@ pub(crate) mod expression; pub(crate) mod paired; pub(crate) mod polynomial; -/// Used to store references of the variables referenced by an expression. +/// Used to store references of the variables referenced by an expression. /// TODO: Merge with Verifier and Prover accumulator pub struct Data { fixed: Vec,