From 0a45bbab499ee6349b55c5af9ce1f29bf7ba652e Mon Sep 17 00:00:00 2001 From: Alessandro Coglio Date: Sun, 15 Oct 2023 12:49:11 -0700 Subject: [PATCH] fmt --- circuit/types/group/src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/circuit/types/group/src/lib.rs b/circuit/types/group/src/lib.rs index 5d4714e49b..232b253b79 100644 --- a/circuit/types/group/src/lib.rs +++ b/circuit/types/group/src/lib.rs @@ -108,14 +108,14 @@ impl Group { // For the internal variables of this circuit, // the mode is constant if the input point is constant, otherwise private. - let mode= if self.eject_mode().is_constant() { Mode::Constant } else {Mode::Private}; + let mode = if self.eject_mode().is_constant() { Mode::Constant } else { Mode::Private }; // Postulate a point (two new R1CS variables) on the curve, // whose witness is the witness of the input point divided by the cofactor. let point_witness = self_witness.div_by_cofactor(); let point_x = Field::new(mode, point_witness.to_x_coordinate()); let point_y = Field::new(mode, point_witness.to_y_coordinate()); - let point = Self {x: point_x, y: point_y}; + let point = Self { x: point_x, y: point_y }; point.enforce_on_curve(); // (For advanced users) The cofactor for this curve is `4`. Thus doubling is used to be performant.