diff --git a/fastcrypto-zkp/src/groth16/generic_api.rs b/fastcrypto-zkp/src/groth16/generic_api.rs
index 7c458fd804..0b8a6cc6a1 100644
--- 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);
         }