@@ -233,7 +233,7 @@ impl<P: SWPoint, C: SWPoint> PointAdditionProof<P, C> {
233233 if !self . tau_sqr . verify (
234234 self . comm_tau ,
235235 ( comm_a_plus_t. x + comm_b. x ) . into_affine ( ) ,
236- & challenge,
236+ challenge,
237237 comm_key,
238238 ) {
239239 return Err ( Error :: TauSquareProofFailed ) ;
@@ -243,7 +243,7 @@ impl<P: SWPoint, C: SWPoint> PointAdditionProof<P, C> {
243243 self . comm_tau ,
244244 ( comm_a. x + comm_t. x . into_group ( ) . neg ( ) ) . into_affine ( ) ,
245245 comm_a_plus_t. y ,
246- & challenge,
246+ challenge,
247247 comm_key,
248248 ) {
249249 return Err ( Error :: TxProofFailed ) ;
@@ -252,13 +252,13 @@ impl<P: SWPoint, C: SWPoint> PointAdditionProof<P, C> {
252252 self . bx_minus_ax . verify_for_inequality_with_public_value (
253253 & comm_b_minus_a. x ,
254254 & C :: ScalarField :: zero ( ) ,
255- & challenge,
255+ challenge,
256256 comm_key,
257257 ) ?;
258258
259259 if !self
260260 . ay
261- . verify ( & comm_a. y , & comm_key. g , & comm_key. h , & challenge)
261+ . verify ( & comm_a. y , & comm_key. g , & comm_key. h , challenge)
262262 {
263263 return Err ( Error :: TyProofFailed ) ;
264264 }
@@ -297,21 +297,20 @@ impl<P: SWPoint, C: SWPoint> PointAdditionProof<P, C> {
297297 self . comm_tau ,
298298 ( comm_a. x + comm_t. x . into_group ( ) . neg ( ) ) . into_affine ( ) ,
299299 comm_a_plus_t. y ,
300- & challenge,
300+ challenge,
301301 comm_key,
302302 rmc,
303303 ) ;
304304 self . bx_minus_ax
305305 . verify_for_inequality_with_public_value_using_randomized_mult_checker (
306306 comm_b_minus_a. x ,
307307 & C :: ScalarField :: zero ( ) ,
308- & challenge,
308+ challenge,
309309 comm_key,
310310 rmc,
311311 ) ?;
312- self . ay . verify_using_randomized_mult_checker (
313- comm_a. y , comm_key. g , comm_key. h , & challenge, rmc,
314- ) ;
312+ self . ay
313+ . verify_using_randomized_mult_checker ( comm_a. y , comm_key. g , comm_key. h , challenge, rmc) ;
315314 Ok ( ( ) )
316315 }
317316
0 commit comments