diff --git a/Makefile b/Makefile
index c3a3cb03..be08f765 100644
--- a/Makefile
+++ b/Makefile
@@ -70,6 +70,8 @@ OOB_OSAKA := oob/osaka
 
 RLP_ADDR := rlpaddr
 
+RLP_AUTH := rlpauth/rlpauth.zkasm
+
 RLP_TXN_LONDON := rlptxn/london
 RLP_TXN_CANCUN := rlptxn/cancun
 RLP_TXN_PRAGUE := rlptxn/cancun
@@ -196,6 +198,7 @@ ZKEVM_MODULES_PRAGUE := ${ZKEVM_MODULES_COMMON} \
 		 ${MMU_LONDON} \
 		 ${MXP_CANCUN} \
 		 ${OOB_PRAGUE} \
+		 ${RLP_AUTH} \
 		 ${RLP_TXN_PRAGUE} \
 		 ${RLP_UTILS_CANCUN} \
 		 ${TRM_LONDON} \
@@ -214,6 +217,7 @@ ZKEVM_MODULES_OSAKA := ${ZKEVM_MODULES_COMMON} \
 		 ${MMU_OSAKA} \
 		 ${MXP_CANCUN} \
 		 ${OOB_OSAKA} \
+		 ${RLP_AUTH} \
 		 ${RLP_TXN_PRAGUE} \
 		 ${RLP_UTILS_CANCUN} \
 		 ${TRM_OSAKA} \
diff --git a/rlpauth/rlpauth.zkasm b/rlpauth/rlpauth.zkasm
new file mode 100644
index 00000000..c34e1111
--- /dev/null
+++ b/rlpauth/rlpauth.zkasm
@@ -0,0 +1,88 @@
+include "../constants/evm.zkasm"
+
+;; https://eips.ethereum.org/EIPS/eip-7702
+
+;; TODO: do we have an shared notation for constants, function arguments...?
+;; TODO: here we can directly have secp256k1n_divided_by_two
+const SECP256K1N = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f
+const MAGIC = 0x05
+
+fn rlpauth(chain_id u256, nonce u64, address u160, y_parity u8, r u256, s u256) -> (authority u160, error u1)
+{   
+    ;; The following checks are enforced by the types above:
+    ;; assert auth.chain_id < 2**256
+    ;; assert auth.nonce < 2**64
+    ;; assert len(auth.address) == 20
+    ;; assert auth.y_parity < 2**8
+    ;; assert auth.r < 2**256
+    ;; assert auth.s < 2**256
+    step_1: 
+        if chain_id == 0 goto step_3
+        if chain_id == 1 goto step_3 ;; TODO: this should check current chain_id instead
+        fail
+    ;; step_2 is implicitly succeseful due to nonce being declared as u64
+    step_3:
+        ;; Divide SECP256K1N by 2
+        var secp256k1n_divided_by_two u256
+        var b u1
+        secp256k1n_divided_by_two, b = SECP256K1N
+        ;; Check that s <= SECP256K1N / 2
+        var tmp u256
+        b, tmp = s - secp256k1n_divided_by_two
+        if b == 1 goto failure
+        ;;
+        var rlp_res u256
+        rlp_res = compute_rlp(chain_id, address, nonce)
+        ;;
+        var keccak_input u264
+        keccak_input = compute_concat_magic_and_rlp(MAGIC, rlp_res)
+        ;;
+        var msg u256
+        msg = keccak(keccak_input)
+        authority = ecrecover(msg, y_parity, r, s)
+    step_4:
+        ;; Add authority to accessed_addresses, as defined in EIP-2929. Does it have any effect here?
+    step_5:
+        ;; if authority is emtpy goto step_6
+        ;; if authority is already delegated goto step_6
+        ;; fail  
+    step_6:
+        ;; if authority.nonce == nonce goto step_7
+        ;; fail
+    step_7:
+        ;; Add PER_EMPTY_ACCOUNT_COST - PER_AUTH_BASE_COST gas to the global refund counter if authority is not empty. Does it have any effect here?
+    step_8:
+        ;; if address == 0x0000000000000000000000000000000000000000 goto "authority.code_hash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470"
+        ;; authority.code = 0xef0100 || address
+    step_9:
+        ;; authority.nonce = authority.nonce + 1
+    exit:
+        ;; dummy values
+        authority = 0
+        error = 0
+        return
+    failure:
+        fail
+}
+
+;; temporary dummy functions
+;; TODO: determine the exact size of RLP
+fn compute_rlp(chain_id u256, address u160, nonce u64) -> (rlp_res u256) {
+    rlp_res = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f
+    return
+}
+
+fn compute_concat_magic_and_rlp(magic u8, rlp_res u256) -> (concat_res u264) {
+    concat_res = (magic * 2^256) + rlp_res
+    return
+}
+
+fn keccak(keccak_input u264) -> (keccak_output u256) {
+    keccak_output = 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffefffffc2f
+    return
+}
+
+fn ecrecover(msg u256, y_parity u8, r u256, s u256) -> (ecrecover_result u160) {
+    ecrecover_result = 0xfffffffffffffffffffffffffffffffefffffc2f
+    return
+}
\ No newline at end of file
diff --git a/rlpauth/test/compute_concat_magic_and_rlp.json b/rlpauth/test/compute_concat_magic_and_rlp.json
new file mode 100644
index 00000000..3c86f2ee
--- /dev/null
+++ b/rlpauth/test/compute_concat_magic_and_rlp.json
@@ -0,0 +1 @@
+{ "compute_concat_magic_and_rlp": { "magic": [0], "rlp_res": [0], "concat_res": [0]} }
\ No newline at end of file
diff --git a/rlpauth/test/compute_rlp.json b/rlpauth/test/compute_rlp.json
new file mode 100644
index 00000000..54785fbf
--- /dev/null
+++ b/rlpauth/test/compute_rlp.json
@@ -0,0 +1,3 @@
+
+{ "compute_rlp": { "chain_id": [0], "address": [0], "nonce": [0], "rlp_res": [115792089237316195423570985008687907853269984665640564039457584007908834671663]} }
+