doc

MystenLabs · Apr 11, 2024 · b03b8c1 · b03b8c1
1 parent 5f36df9
commit b03b8c1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/fastcrypto-zkp/src/groth16/generic_api.rs b/fastcrypto-zkp/src/groth16/generic_api.rs
@@ -123,7 +123,8 @@ impl<G1: Pairing> VerifyingKey<G1> {
                 .try_into()
                 .map_err(|_| FastCryptoError::InvalidInput)?,
         );
-        // There must be at least one element in gamma_abc, which implies that there are no public inputs
+        // There must be at least one element in gamma_abc, since this should be equal to the number
+        // of public inputs + 1.
         if n == 0 {
             return Err(FastCryptoError::InvalidInput);
         }