diff --git a/specs/deneb/fork-choice.md b/specs/deneb/fork-choice.md
index 8fa08357a..e93eb54fa 100644
--- a/specs/deneb/fork-choice.md
+++ b/specs/deneb/fork-choice.md
@@ -33,9 +33,7 @@ def validate_blobs(expected_kzg_commitments: Sequence[KZGCommitment],
     assert len(expected_kzg_commitments) == len(blobs)
     assert len(blobs) == len(proofs)
 
-    # Clients MAY use `verify_blob_kzg_proof_multi` for efficiency
-    for commitment, blob, proof in zip(expected_kzg_commitments, blobs, proofs):
-        assert verify_blob_kzg_proof(commitment, blob, proof)
+    assert verify_blob_kzg_proof_batch(blobs, expected_kzg_commitments, proofs)
 ```
 
 #### `is_data_available`
diff --git a/specs/deneb/polynomial-commitments.md b/specs/deneb/polynomial-commitments.md
index afcf934fc..76affe620 100644
--- a/specs/deneb/polynomial-commitments.md
+++ b/specs/deneb/polynomial-commitments.md
@@ -411,15 +411,18 @@ def verify_kzg_proof_batch(commitments: Sequence[KZGCommitment],
     # Verify: e(sum r^i proof_i, [s]) ==
     # e(sum r^i (commitment_i - [y_i]) + sum r^i z_i proof_i, [1])
     proof_lincomb = g1_lincomb(proofs, r_powers)
-    proof_z_lincomb = g1_lincomb(proofs, [z * r_power for z, r_power in zip(zs, r_powers)])
+    proof_z_lincomb = g1_lincomb(
+        proofs,
+        [BLSFieldElement((int(z) * int(r_power)) % BLS_MODULUS) for z, r_power in zip(zs, r_powers)],
+    )
     C_minus_ys = [bls.add(bls.bytes48_to_G1(commitment), bls.multiply(bls.G1, BLS_MODULUS - y))
                   for commitment, y in zip(commitments, ys)]
     C_minus_y_as_KZGCommitments = [KZGCommitment(bls.G1_to_bytes48(x)) for x in C_minus_ys]
     C_minus_y_lincomb = g1_lincomb(C_minus_y_as_KZGCommitments, r_powers)
     
     return bls.pairing_check([
-        [proof_lincomb, bls.neg(KZG_SETUP_G2[1])],
-        [bls.add(C_minus_y_lincomb, proof_z_lincomb), bls.G2]
+        [bls.bytes48_to_G1(proof_lincomb), bls.neg(bls.bytes96_to_G2(KZG_SETUP_G2[1]))],
+        [bls.add(bls.bytes48_to_G1(C_minus_y_lincomb), bls.bytes48_to_G1(proof_z_lincomb)), bls.G2]
     ])
 ```
 
diff --git a/tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs_sidecar.py b/tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs.py
similarity index 54%
rename from tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs_sidecar.py
rename to tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs.py
index 87ed9ff8e..d9934c5ad 100644
--- a/tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs_sidecar.py
+++ b/tests/core/pyspec/eth2spec/test/deneb/unittests/fork_choice/test_validate_blobs.py
@@ -16,7 +16,7 @@ from eth2spec.test.helpers.sharding import (
 )
 
 
-def _run_validate_blobs_sidecar_test(spec, state, blob_count):
+def _run_validate_blobs(spec, state, blob_count):
     block = build_empty_block_for_next_slot(spec, state)
     opaque_tx, blobs, blob_kzg_commitments = get_sample_opaque_tx(spec, blob_count=blob_count)
     block.body.blob_kzg_commitments = blob_kzg_commitments
@@ -24,30 +24,32 @@ def _run_validate_blobs_sidecar_test(spec, state, blob_count):
     block.body.execution_payload.block_hash = compute_el_block_hash(spec, block.body.execution_payload)
     state_transition_and_sign_block(spec, state, block)
 
-    blobs_sidecar = spec.get_blobs_sidecar(block, blobs)
-    expected_commitments = [spec.blob_to_kzg_commitment(blobs[i]) for i in range(blob_count)]
-    spec.validate_blobs_sidecar(block.slot, block.hash_tree_root(), expected_commitments, blobs_sidecar)
+    # Also test the proof generation in `get_blob_sidecars`
+    blob_sidecars = spec.get_blob_sidecars(block, blobs)
+    blobs = [sidecar.blob for sidecar in blob_sidecars]
+    kzg_proofs = [sidecar.kzg_proof for sidecar in blob_sidecars]
+    spec.validate_blobs(blob_kzg_commitments, blobs, kzg_proofs)
 
 
 @with_deneb_and_later
 @spec_state_test
-def test_validate_blobs_sidecar_zero_blobs(spec, state):
-    _run_validate_blobs_sidecar_test(spec, state, blob_count=0)
+def test_validate_blobs_zero_blobs(spec, state):
+    _run_validate_blobs(spec, state, blob_count=0)
 
 
 @with_deneb_and_later
 @spec_state_test
-def test_validate_blobs_sidecar_one_blob(spec, state):
-    _run_validate_blobs_sidecar_test(spec, state, blob_count=1)
+def test_validate_blobs_one_blob(spec, state):
+    _run_validate_blobs(spec, state, blob_count=1)
 
 
 @with_deneb_and_later
 @spec_state_test
-def test_validate_blobs_sidecar_two_blobs(spec, state):
-    _run_validate_blobs_sidecar_test(spec, state, blob_count=2)
+def test_validate_blobs_two_blobs(spec, state):
+    _run_validate_blobs(spec, state, blob_count=2)
 
 
 @with_deneb_and_later
 @spec_state_test
-def test_validate_blobs_sidecar_max_blobs(spec, state):
-    _run_validate_blobs_sidecar_test(spec, state, blob_count=spec.MAX_BLOBS_PER_BLOCK)
+def test_validate_blobs_max_blobs(spec, state):
+    _run_validate_blobs(spec, state, blob_count=spec.MAX_BLOBS_PER_BLOCK)