diff --git a/tests/generators/kzg_4844/main.py b/tests/generators/kzg_4844/main.py index 1c5aefc61f..27078e9b0b 100644 --- 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,