From 91aa5a90c9c00e2af144cae902e49691c9a2c021 Mon Sep 17 00:00:00 2001
From: Alexander Hicks <25369263+alexanderlhicks@users.noreply.github.com>
Date: Mon, 7 Oct 2024 08:41:22 +0100
Subject: [PATCH] Fix typo and add missing precompile descriptions to evm.md
 (#2636)

* fix typo in evm.md, SHA-257 -> SHA-256

* add descriptions for precompiles 5, 6, 7, 8, 9
---
 kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
index 99f8b4d449..56f673a5cc 100644
--- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
+++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -1818,9 +1818,14 @@ Precompiled Contracts
 ```
 
 -   `ECREC` performs ECDSA public key recovery.
--   `SHA256` performs the SHA2-257 hash function.
+-   `SHA256` performs the SHA2-256 hash function.
 -   `RIP160` performs the RIPEMD-160 hash function.
 -   `ID` is the identity function (copies input to output).
+-   `MODEXP` performs arbitrary-precision modular exponentiation.
+-   `ECADD`  performs point addition on the elliptic curve alt_bn128.
+-   `ECMUL` performs scalar multiplication on the elliptic curve alt_bn128.
+-   `ECPAIRING` performs an optimal ate pairing check on the elliptic curve alt_bn128.
+-   `BLAKE2F` performs the compression function F used in the BLAKE2 hashing algorithm.
 
 ```k
     syntax PrecompiledOp ::= "ECREC"