RLP_AUTH module

Makefile

@@ -32,6 +32,7 @@ mxp:             view-mxp
 oob:             view-oob
 prc:             view-prc
 rlp_addr:        view-rlp_addr
+rlp_auth:        view-rlp_auth
 rlp_patterns:    view-rlp_patterns
 rlp_txn:         view-rlp_txn
 rlp_txnrcpt:     view-rlp_txnrcpt
@@ -70,6 +71,7 @@ rmxp:             recompile-mxp
 roob:             recompile-oob
 rprc:             recompile-prc
 rrlp_addr:        recompile-rlp_addr
+rrlp_auth:        recompile-rlp_auth
 rrlp_patterns:    recompile-rlp_patterns
 rrlp_txn:         recompile-rlp_txn
 rrlp_txnrcpt:     recompile-rlp_txnrcpt

gas/lookups/into_wcp.tex

@@ -4,23 +4,23 @@
 	\item[Source columns:] we use the following:
 		\begin{multicols}{3}
 			\begin{enumerate}
+				\item $\wcpInst       _{i}$
 				\item $0$
 				\item $\wcpArgOneLo   _{i}$
 				\item $0$
 				\item $\wcpArgTwoLo   _{i}$
 				\item $\wcpRes        _{i}$
-				\item $\wcpInst       _{i}$
 			\end{enumerate}
 		\end{multicols}
 	\item[Target columns:] we use the following:
 		\begin{multicols}{3}
 			\begin{enumerate}
+				\item $\INST       _{j}$
 				\item $\argOneHi   _{j}$
 				\item $\argOneLo   _{j}$
 				\item $\argTwoHi   _{j}$
 				\item $\argTwoLo   _{j}$
-				\item $\resLo      _{j}$
-				\item $\INST       _{j}$
+				\item $\res        _{j}$
 			\end{enumerate}
 		\end{multicols}
 \end{description}

mxp/lua/decision_tree.lua.tex

@@ -11,7 +11,7 @@
 \usepackage{../../pkg/flags_stamps_selectors}
 \usetikzlibrary{arrows.meta}
 \begin{document}
-\input{mxp_v3/_local}
+\input{mxp/_local}
 \input{hub/instruction_handling/create/_local}
 \begin{tikzpicture}
 \def\BAS   {-3}

pkg/column_generator.py

@@ -66,6 +66,7 @@
 	"invalid": "invalid",
 	# rlp modules
 	"rlpAddr": "address Rlp",
+	"rlpAuth": "authorization Rlp",
 	"rlpTxn": "transaction Rlp",
 	"rlpTxnRcpt": "transaction Receipt Rlp",
 	"rlpUtils": "rlp Utils",

pkg/flags_stamps_selectors.sty

@@ -1575,6 +1575,31 @@
 \newcommand{\iRlpAddrSelect}{\imported{\rlpAddrSelect}}
 \newcommand{\stackDecRlpAddrFlag}{\stackInstructionDecodedColumn{\rlpAddrFlag}}
 
+% authorization rlp columns:
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\newcommand{\rlpAuthMod}{\col{RLPAUTH}}
+
+\newcommand{\rlpAuthSTAMP}{\col{AUTHORIZATION\_RLP\_STAMP}}
+\newcommand{\rlpAuthStamp}{\col{RLPAUTH}\stamp}
+\newcommand{\iRlpAuthSTAMP}{\imported{\rlpAuthSTAMP}}
+\newcommand{\iRlpAuthStamp}{\imported{\rlpAuthStamp}}
+\newcommand{\rlpAuthRevStamp}{\col{RLPAUTH}\stamp\,\col{REV}}
+\newcommand{\iRlpAuthRevStamp}{\imported{\rlpAuthRevStamp}}
+
+\newcommand{\rlpAuthFLAG}{\col{AUTHORIZATION\_RLP\_FLAG}}
+\newcommand{\rlpAuthFlag}{\col{RLPAUTH}\flag}
+\newcommand{\decRlpAuthFLAG}{\decoded{\rlpAuthFLAG}}
+\newcommand{\decRlpAuthFlag}{\decoded{\rlpAuthFlag}}
+\newcommand{\idecRlpAuthFLAG}{\imported{\decRlpAuthFLAG}}
+\newcommand{\idecRlpAuthFlag}{\imported{\decRlpAuthFlag}}
+
+\newcommand{\rlpAuthSELECT}{\col{AUTHORIZATION\_RLP\_SELECTOR}}
+\newcommand{\rlpAuthSelect}{\col{RLPAUTH}\select}
+\newcommand{\iRlpAuthSELECT}{\imported{\rlpAuthSELECT}}
+\newcommand{\iRlpAuthSelect}{\imported{\rlpAuthSelect}}
+\newcommand{\stackDecRlpAuthFlag}{\stackInstructionDecodedColumn{\rlpAuthFlag}}
+
 % transaction rlp columns:
 %%%%%%%%%%%%%%%%%%%%%%%%%%
 

pkg/rlp_auth.sty

@@ -0,0 +1,104 @@
+\newcommand{\computation}                       {\col{CMPTN}}
+\newcommand{\computationPerspectivePrefix}      {\col{computation}}
+\newcommand{\macro}                             {\col{MACRO}}
+\newcommand{\macroPerspectivePrefix}            {\col{macro}}
+\newcommand{\extern}                            {\col{XTERN}}
+\newcommand{\externPerspectivePrefix}           {\col{xtern}}
+\newcommand{\utils}                             {\col{UTILS}}
+\newcommand{\utilsPerspectivePrefix}            {\col{utils}}
+\newcommand{\authority}                         {\col{AUTHORITY}}
+\newcommand{\address}                           {\col{ADDRESS}}
+\newcommand{\signature}                         {\col{SIGNATURE}}
+\newcommand{\signatureY}                        {\col{\signature\_Y}}
+\newcommand{\signatureR}                        {\col{\signature\_R}}
+\newcommand{\signatureS}                        {\col{\signature\_S}}
+\newcommand{\transactionFromAddress}            {\col{TXN\_FROM\_}\address}
+\newcommand{\authorityTupleIndex}               {\col{TUPLE\_INDEX}}
+\newcommand{\tuple}                             {TUPLE}
+\newcommand{\isValidTupleName}                  {\authority\col{\_\tuple\_IS\_VALID}}
+\newcommand{\authorityEcrecoverAttempt}         {\authority\col{\_ECRECOVER\_ATTEMPT}}
+\newcommand{\authorityEcrecoverSuccess}         {\authority\col{\_ECRECOVER\_SUCCESS}}
+\newcommand{\senderIsAuthority}                 {\col{SENDER\_IS\_}\authority}
+\newcommand{\addressIsZeroAddress}              {\col{ADDRESS\_IS\_ZERO\_ADDRESS}}
+\newcommand{\transactionTypeWithAuthorityLists} {\col{TXN\_WITH\_AUTHORITY\_LIST}}
+\newcommand{\transactionTypeSansAuthorityLists} {\col{TXN\_SANS\_AUTHORITY\_LIST}}
+\newcommand{\authorityIsSenderAcc}              {\col{AUTHORITY\_IS\_SENDER\_ACC}}
+\newcommand{\authorityIsSenderTot}              {\col{AUTHORITY\_IS\_SENDER\_TOT}}
+
+
+\newcommand{\chainIdHiName}            {\chainId\_HI}
+\newcommand{\chainIdLoName}            {\chainId\_LO}
+\newcommand{\addressHiName}            {\address\_HI}
+\newcommand{\addressLoName}            {\address\_LO}
+\newcommand{\yparityName}              {\signatureY}
+\newcommand{\rhiName}                  {\signatureR\_HI}
+\newcommand{\rloName}                  {\signatureR\_LO}
+\newcommand{\shiName}                  {\signatureS\_HI}
+\newcommand{\sloName}                  {\signatureS\_LO}
+\newcommand{\authorityHiName}          {\authority\_HI}
+\newcommand{\authorityLoName}          {\authority\_LO}
+\newcommand{\transactionFromAddressHi} {\transactionFromAddress\_HI}
+\newcommand{\transactionFromAddressLo} {\transactionFromAddress\_LO}
+\newcommand{\authorityNonce}           {\authority\_NONCE}
+\newcommand{\authorizationTupleNonce}  {\tuple\_NONCE}
+\newcommand{\networkChainId}           {NETWORK\_\chainId}
+\newcommand{\networkChainIdHi}         {\networkChainId\_HI}
+\newcommand{\networkChainIdLo}         {\networkChainId\_LO}
+
+
+\newcommand{\rlpAuthMacroColumn}[1]                  {\macroPerspectivePrefix\separator\col{#1}}
+\newcommand{\rlpAuthMacroChainIdHi}                  {\rlpAuthMacroColumn{\tuple\_\chainIdHiName}}
+\newcommand{\rlpAuthMacroChainIdLo}                  {\rlpAuthMacroColumn{\tuple\_\chainIdLoName}}
+\newcommand{\rlpAuthMacroAddressHi}                  {\rlpAuthMacroColumn{\tuple\_\addressHiName}}
+\newcommand{\rlpAuthMacroAddressLo}                  {\rlpAuthMacroColumn{\tuple\_\addressLoName}}
+\newcommand{\rlpAuthMacroNonce}                      {\rlpAuthMacroColumn{\authorizationTupleNonce}}
+\newcommand{\rlpAuthMacroSignatureYparity}           {\rlpAuthMacroColumn{\tuple\_\yparityName}}
+\newcommand{\rlpAuthMacroSignatureRhi}               {\rlpAuthMacroColumn{\tuple\_\rhiName}}
+\newcommand{\rlpAuthMacroSignatureRlo}               {\rlpAuthMacroColumn{\tuple\_\rloName}}
+\newcommand{\rlpAuthMacroSignatureShi}               {\rlpAuthMacroColumn{\tuple\_\shiName}}
+\newcommand{\rlpAuthMacroSignatureSlo}               {\rlpAuthMacroColumn{\tuple\_\sloName}}
+\newcommand{\rlpAuthMacroAuthorityTupleIndex}        {\rlpAuthMacroColumn{\authorityTupleIndex}}
+
+
+\newcommand{\rlpAuthExternColumn}[1]                 {\externPerspectivePrefix\separator\col{#1}}
+\newcommand{\rlpAuthExternAuthorityEcrecoverAttempt} {\rlpAuthExternColumn{\authorityEcrecoverAttempt}}
+\newcommand{\rlpAuthExternAuthorityRecoverySuccess}  {\rlpAuthExternColumn{\authorityEcrecoverSuccess}}
+\newcommand{\rlpAuthExternAuthorityTupleIsValid}     {\rlpAuthExternColumn{\isValidTupleName}}
+\newcommand{\rlpAuthExternTupleAddressHi}            {\rlpAuthExternColumn{\addressHiName}}
+\newcommand{\rlpAuthExternTupleAddressLo}            {\rlpAuthExternColumn{\addressLoName}}
+\newcommand{\rlpAuthExternAuthorityAddressHi}        {\rlpAuthExternColumn{\authorityHiName}}
+\newcommand{\rlpAuthExternAuthorityAddressLo}        {\rlpAuthExternColumn{\authorityLoName}}
+\newcommand{\rlpAuthExternTransactionFromAddressHi}  {\rlpAuthExternColumn{\transactionFromAddressHi}}
+\newcommand{\rlpAuthExternTransactionFromAddressLo}  {\rlpAuthExternColumn{\transactionFromAddressLo}}
+\newcommand{\rlpAuthExternSenderIsAuthority}         {\rlpAuthExternColumn{\senderIsAuthority}}
+\newcommand{\rlpAuthExternAddressIsZeroAddress}      {\rlpAuthExternColumn{\addressIsZeroAddress}}
+\newcommand{\rlpAuthExternAuthorityNonce}            {\rlpAuthExternColumn{\authorityNonce}}
+\newcommand{\rlpAuthExternNetworkChainIdHi}          {\rlpAuthExternColumn{\networkChainIdHi}}
+\newcommand{\rlpAuthExternNetworkChainIdLo}          {\rlpAuthExternColumn{\networkChainIdLo}}
+\newcommand{\rlpAuthExternPotentialNewCodeHashHi}    {\rlpAuthExternColumn{\codeHash}\col{\_HI}}
+\newcommand{\rlpAuthExternPotentialNewCodeHashLo}    {\rlpAuthExternColumn{\codeHash}\col{\_LO}}
+
+
+
+\newcommand{\rlpAuthUtilsColumn}[1]                 {\utilsPerspectivePrefix\separator\col{#1}}
+\newcommand{\rlpAuthUtilsColumnIsMagic}             {\rlpAuthUtilsColumn{IS\_MAGIC}}
+\newcommand{\rlpAuthUtilsColumnIsPrefix}            {\rlpAuthUtilsColumn{IS\_PREFIX}}
+\newcommand{\rlpAuthUtilsColumnIsChainId}           {\rlpAuthUtilsColumn{IS\_CHAIN\_ID}}
+\newcommand{\rlpAuthUtilsColumnIsAddress}           {\rlpAuthUtilsColumn{IS\_ADDRESS}}
+\newcommand{\rlpAuthUtilsColumnIsNonce}             {\rlpAuthUtilsColumn{IS\_NONCE}}
+\newcommand{\rlpAuthUtilsColumnLimbBit}             {\rlpAuthUtilsColumn{LIMB\_BIT}}
+\newcommand{\rlpAuthUtilsColumnLimb}                {\rlpAuthUtilsColumn{LIMB}}
+\newcommand{\rlpAuthUtilsColumnLimbSize}            {\rlpAuthUtilsColumn{LIMB\_SIZE}}
+\newcommand{\rlpAuthUtilsColumnExoDataColumn}[1]    {\rlpAuthUtilsColumn{DATA\_#1}}
+\newcommand{\rlpAuthUtilsColumnRlpUtilsFlag}        {\rlpAuthUtilsColumn{\rlpUtilsMod\_FLAG}}
+\newcommand{\rlpAuthUtilsColumnRlpUtilsInstruction} {\rlpAuthUtilsColumn{\rlpUtilsMod\_INST}}
+\newcommand{\rlpAuthUtilsColumnSizeCountdown}       {\rlpAuthUtilsColumn{BYTE\_SIZE\_COUNTDOWN}}
+
+
+\newcommand{\rlpAuthComputationColumn}[1] {\computationPerspectivePrefix\separator\col{#1}}
+\newcommand{\rlpAuthComputationInst}      {\rlpAuthComputationColumn{INST}}
+\newcommand{\rlpAuthComputationArgOneHi}  {\rlpAuthComputationColumn{ARG\_1\_HI}}
+\newcommand{\rlpAuthComputationArgOneLo}  {\rlpAuthComputationColumn{ARG\_1\_LO}}
+\newcommand{\rlpAuthComputationArgTwoHi}  {\rlpAuthComputationColumn{ARG\_2\_HI}}
+\newcommand{\rlpAuthComputationArgTwoLo}  {\rlpAuthComputationColumn{ARG\_2\_LO}}
+\newcommand{\rlpAuthComputationRes}       {\rlpAuthComputationColumn{RES}}

pkg/rlp_tx.sty

@@ -21,8 +21,8 @@
 \newcommand{\indexx}                                  {\col{INDEX\_LX}}
 \newcommand{\rlptsize}                                {\col{RLP\_LT\_BYTESIZE}}
 \newcommand{\rlpxsize}                                {\col{RLP\_LX\_BYTESIZE}}
-\newcommand{\ltByteSizeCountDown}                     {\col{LT\_BYTE\_SIZE\_COUNTDOWN}}
-\newcommand{\lxByteSizeCountDown}                     {\col{LX\_BYTE\_SIZE\_COUNTDOWN}}
+\newcommand{\ltByteSizeCountdown}                     {\col{LT\_BYTE\_SIZE\_COUNTDOWN}}
+\newcommand{\lxByteSizeCountdown}                     {\col{LX\_BYTE\_SIZE\_COUNTDOWN}}
 \newcommand{\accsize}                                 {\col{ACC\_BYTESIZE}}
 \newcommand{\indexData}                               {\col{INDEX\_DATA}}
 \newcommand{\dataGasCost}                             {\col{DATA\_GAS\_COST}}

rlp_auth/_all_rlp_auth.tex

@@ -0,0 +1,68 @@
+\documentclass[fleqn]{article}
+\usepackage[dvipsnames]{xcolor}
+\usepackage{xkeyval}
+\usepackage{../pkg/xkeyval_macros/context}
+\usepackage{../pkg/xkeyval_macros/transient}
+% \usepackage{../pkg/xkeyval_macros/dom_sub_stamps}
+% \usepackage{../pkg/xkeyval_macros/mmu_instructions}
+% \usepackage{../pkg/xkeyval_macros/mxp_instructions}
+% \usepackage{../pkg/xkeyval_macros/oob_instructions}
+% \usepackage{../pkg/xkeyval_macros/stp_instructions}
+% \usepackage{../pkg/xkeyval_macros/misc_flag_sums}
+\usepackage{../pkg/xkeyval_macros/wcp_calls}
+% \usepackage{../pkg/xkeyval_macros/ext_calls}
+% \usepackage{../pkg/xkeyval_macros/euc_calls}
+% \usepackage{../pkg/xkeyval_macros/prc_calls}
+\usepackage{../pkg/common}
+\usepackage{../pkg/std}
+\usepackage{../pkg/env}
+\usepackage{../pkg/flags_stamps_selectors}
+\usepackage{../pkg/instruction_flags}
+\usepackage{../pkg/system}
+\usepackage{../pkg/call_stack}
+\usepackage{../pkg/IEEEtrantools}
+\usepackage{../pkg/access}
+\usepackage{../pkg/trm}
+\usepackage{../pkg/alu_old}
+\usepackage{../pkg/bin}
+\usepackage{../pkg/call_stack}
+\usepackage{../pkg/comparisons}
+\usepackage{../pkg/exceptions}
+\usepackage{../pkg/expansion}
+\usepackage{../pkg/exponent}
+\usepackage{../pkg/gas}
+\usepackage{../pkg/offset_processor}
+\usepackage{../pkg/oob}
+\usepackage{../pkg/public}
+\usepackage{../pkg/ram}
+\usepackage{../pkg/rom}
+\usepackage{../pkg/scenario}
+\usepackage{../pkg/storage}
+\usepackage{../pkg/warm}
+\usepackage{../pkg/wc3}
+\usepackage{../pkg/shifting}
+\usepackage{../pkg/precompiles}
+\usepackage{../pkg/rlp_auth}
+\usepackage{../pkg/rlp_tx}
+\usepackage{../pkg/rlp_txn_v2}
+\usepackage{../pkg/rlp_log}
+\usepackage{../pkg/rlp_patterns}
+\usepackage{../pkg/txn_data}
+\usepackage{../pkg/rlp_utils}
+\usepackage{../pkg/block_data}
+\usepackage{../pkg/subsubsubsection}
+\usepackage{../pkg/iomf_done}
+
+\usepackage{../pkg/draculatheme}
+
+\title{Transaction \rlpAuthMod{} module}
+\author{\arithmetizationTeam{}}
+\date{September 2025}
+
+\begin{document}
+
+\maketitle
+\tableofcontents
+\input{_inputs}
+
+\end{document}