From 4258f83d6230e2e43fd8a593543642ca0c78f487 Mon Sep 17 00:00:00 2001 From: Alexander Hicks Date: Fri, 4 Oct 2024 20:14:27 +0100 Subject: [PATCH 1/2] fix typo in evm.md, SHA-257 -> SHA-256 --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md | 2 +- 1 file changed, 1 insertion(+), 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..a8d561716c 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md @@ -1818,7 +1818,7 @@ 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). From 71e73eae9f478d23e8b30dfc14e398adb78ca47f Mon Sep 17 00:00:00 2001 From: Alexander Hicks Date: Fri, 4 Oct 2024 20:35:15 +0100 Subject: [PATCH 2/2] add descriptions for precompiles 5, 6, 7, 8, 9 --- kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md | 5 +++++ 1 file changed, 5 insertions(+) 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 a8d561716c..56f673a5cc 100644 --- a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md +++ b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md @@ -1821,6 +1821,11 @@ Precompiled Contracts - `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"