From 7822201c9cfffc39430045142fd40493c202e4e4 Mon Sep 17 00:00:00 2001
From: ying tong <yingtong@z.cash>
Date: Wed, 21 Oct 2020 19:22:21 +0800
Subject: [PATCH] Remove redundant point checks in commitment verifier

Co-authored-by: Jack Grigg <jack@electriccoin.co>
---
 src/poly/commitment/verifier.rs | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/src/poly/commitment/verifier.rs b/src/poly/commitment/verifier.rs
index 94361bd..e6552f1 100644
--- a/src/poly/commitment/verifier.rs
+++ b/src/poly/commitment/verifier.rs
@@ -111,9 +111,6 @@ impl<C: CurveAffine> Proof<C> {
             // Feed L and R into the transcript.
             let l = round.0;
             let r = round.1;
-            if bool::from(l.get_xy().is_none() | r.get_xy().is_none()) {
-                return Err(Error::OpeningError);
-            }
             transcript
                 .absorb_point(&l)
                 .map_err(|_| Error::OpeningError)?;
@@ -152,14 +149,9 @@ impl<C: CurveAffine> Proof<C> {
             challenges_sq_packed.push(Challenge(challenge_sq_packed));
         }
 
-        let delta = self.delta;
-        if bool::from(delta.get_xy().is_none()) {
-            return Err(Error::OpeningError);
-        }
-
         // Feed delta into the transcript
         transcript
-            .absorb_point(&delta)
+            .absorb_point(&self.delta)
             .map_err(|_| Error::OpeningError)?;
 
         // Get the challenge `c`