Update EIP-4844: Specify precompile input's z and y to be encoded as …

…big endian

EIPS/eip-4844.md

@@ -264,7 +264,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 bytes big endian
     assert len(input) == 192
     versioned_hash = input[:32]
     z = input[32:64]
@@ -275,10 +275,10 @@ 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, kzg_proof)
 
-    # Return FIELD_ELEMENTS_PER_BLOB and BLS_MODULUS as padded 32 byte big endian values
+    # Return FIELD_ELEMENTS_PER_BLOB and BLS_MODULUS as padded 32 bytes big endian values
     return Bytes(U256(FIELD_ELEMENTS_PER_BLOB).to_be_bytes32() + U256(BLS_MODULUS).to_be_bytes32())
 ```