Short circuit batch verification if n==1 (#234)

2023-03-23 14:50:36 +02:00 · 2023-03-23 14:50:36 +02:00 · 015e043475
parent 861371629e
commit 015e043475
1 changed files with 7 additions and 0 deletions
--- a/src/c_kzg_4844.c
+++ b/src/c_kzg_4844.c
@ -1493,6 +1493,13 @@ C_KZG_RET verify_blob_kzg_proof_batch(
        return C_KZG_OK;
    }

+    /* For a single blob, just do a regular single verification */
+    if (n == 1) {
+        return verify_blob_kzg_proof(
+            ok, &blobs[0], &commitments_bytes[0], &proofs_bytes[0], s
+        );
+    }
+
    /* We will need a bunch of arrays to store our objects... */
    ret = new_g1_array(&commitments_g1, n);
    if (ret != C_KZG_OK) goto out;