From 2a46cd3b20e0aafa6a9d1e55875288423d0c1bbb Mon Sep 17 00:00:00 2001
From: root <287494524@qq.com>
Date: Thu, 1 Aug 2019 15:02:15 +0800
Subject: [PATCH] add non-zero assert in field batch_invert

---
 src/field.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/field.rs b/src/field.rs
index e154f24..58dd60a 100644
--- a/src/field.rs
+++ b/src/field.rs
@@ -154,6 +154,9 @@ impl FieldElement {
             acc = &acc * input;
         }
 
+	// acc is nonzero iff all inputs are nonzero
+        assert_eq!(acc.is_zero().unwrap_u8(), 0);
+
         // Compute the inverse of all products
         acc = acc.invert();