@@ -623,7 +623,6 @@ impl WeightedInnerProductProof {
623623 // compute challenge ee
624624 let ee = transcript. get_and_append_challenge ( b"final_e" ) ;
625625 let ee_squared = & ee * & ee;
626- println ! ( "ProverP: {}" , B ) ;
627626
628627 // compute r_prime, s_prime, delta_prime
629628 let cee = slice_c[ 0 ] * ee;
@@ -759,15 +758,13 @@ impl WeightedInnerProductProof {
759758
760759 let e = transcript. get_and_append_challenge ( b"final_e" ) ;
761760 let e_square = & e * & e;
762- println ! ( "VerifierP: {}" , self . b_tag) ;
763761
764762
765763 // Left-hand side of verification
766764 // LHS = e^2*P + e*A + B
767765 let P_e2 : G1Projective = P_tag * & e_square;
768766 let Ae : G1Projective = self . a_tag * e;
769767 let left: G1Projective = P_e2 + Ae + self . b_tag ;
770- println ! ( "l: {}" , left) ;
771768
772769 // RHS = (e*r')*G + (e*s')*H + (r'*s'*y)*g + (delta')*h
773770 let er_prime = e * self . r_prime ;
@@ -779,7 +776,6 @@ impl WeightedInnerProductProof {
779776 let g_y_r_prime_s_prime: G1Projective = * crs_G * y_r_prime_s_prime;
780777 let h_delta_prime: G1Projective = * crs_H * self . delta_prime ;
781778 let right: G1Projective = Ger_prime + Hes_prime + g_y_r_prime_s_prime + h_delta_prime;
782- println ! ( "r: {}" , right) ;
783779
784780 if left == right {
785781 Ok ( ( ) )
0 commit comments