Add KZGProof at G1_POINT_AT_INFINITY case

ethereum · Sep 19, 2023 · cb347b5 · cb347b5
1 parent ce240ca
commit cb347b5
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/generators/kzg_4844/main.py b/tests/generators/kzg_4844/main.py
@@ -509,6 +509,18 @@ def case06_verify_blob_kzg_proof_batch():
         'output': None
     }
 
+    # Edge case: Incorrect `G1_POINT_AT_INFINITY` Proof
+    assert not spec.verify_blob_kzg_proof_batch(VALID_BLOBS[1:2], commitments[1:2], [spec.G1_POINT_AT_INFINITY])
+
+    yield 'verify_blob_kzg_proof_batch_case_proof_point_at_infinity', {
+        'input': {
+            'blobs': encode_hex_list(VALID_BLOBS[1:2]),
+            'commitments': encode_hex_list(commitments[1:2]),
+            'proofs': encode_hex_list([spec.G1_POINT_AT_INFINITY]),
+        },
+        'output': False
+    }
+
 
 def create_provider(fork_name: SpecForkName,
                     handler_name: str,