Edited error messages.

runtimeverification · Jan 17, 2025 · e2f2e8b · e2f2e8b
1 parent 3553a5c
commit e2f2e8b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/plugin-c/kzg.cpp b/plugin-c/kzg.cpp
@@ -32,7 +32,7 @@ bool hook_KRYPTO_verifyKZGProof(struct string *commitment, struct string *z,
     once = false;
   }
   if (len(commitment) != 48) {
-    std::invalid_argument("Length of commitment is not 42 bytes");
+    std::invalid_argument("Length of commitment is not 48 bytes");
   }
   if (len(z) != 32) {
     std::invalid_argument("Length of z field is not 32 bytes");
@@ -41,7 +41,7 @@ bool hook_KRYPTO_verifyKZGProof(struct string *commitment, struct string *z,
     std::invalid_argument("Length of y field is not 32 bytes");
   }
   if (len(proof) != 48) {
-    std::invalid_argument("Length of proof is not 42 bytes");
+    std::invalid_argument("Length of proof is not 48 bytes");
   }
   bool res;
   verify_kzg_proof(&res, (Bytes48 *)&commitment->data[0],