diff --git a/EIPS/eip-4844.md b/EIPS/eip-4844.md index f43da5418eafbb..f33aadd1017395 100644 --- a/EIPS/eip-4844.md +++ b/EIPS/eip-4844.md @@ -184,7 +184,7 @@ def point_evaluation_precompile(input: Bytes) -> Bytes: Verify p(z) = y given commitment that corresponds to the polynomial p(x) and a KZG proof. Also verify that the provided commitment matches the provided versioned_hash. """ - # The data is encoded as follows: versioned_hash | z | y | commitment | proof | + # The data is encoded as follows: versioned_hash | z | y | commitment | proof | with z and y being padded 32 byte big endian values assert len(input) == 192 versioned_hash = input[:32] z = input[32:64] @@ -195,7 +195,7 @@ def point_evaluation_precompile(input: Bytes) -> Bytes: # Verify commitment matches versioned_hash assert kzg_to_versioned_hash(commitment) == versioned_hash - # Verify KZG proof + # Verify KZG proof with z and y in big endian format assert verify_kzg_proof(commitment, z, y, proof) # Return FIELD_ELEMENTS_PER_BLOB and BLS_MODULUS as padded 32 byte big endian values