Consensys · letypequividelespoubelles · Mar 28, 2025 · Mar 28, 2025 · Mar 28, 2025 · Mar 28, 2025
diff --git a/Makefile b/Makefile
@@ -9,79 +9,89 @@ recompile-%: lua_build
 buildOnGithub-%: lua_build
 	cd $* && ../tectonic -X compile _all_$*.tex
 
-alu:           view-alu
-blake:         view-blake_data
-block_data:    view-block_data
-block_hash:    view-block_hash
-btc:           view-btc_data
-bin:           view-bin
-exp:           view-exp
-euc:           view-euc
-formal:        view-formal
-gas:           view-gas
-hash_data:     view-hash_data
-hash_info:     view-hash_info
-hub:           view-hub
-lex:           view-lex
-logd_data:     view-log_data
-logi_info:     view-log_info
-mmio:          view-mmio
-modexp:        view-modexp_data
-mmu:           view-mmu
-mxp:           view-mxp
-mxp_v3:        view-mxp_v3
-oob:           view-oob
-prc:   	       view-prc
-rlp_addr:      view-rlp_addr
-rlp_txn:       view-rlp_txn
-rlp_txnrcpt:   view-rlp_txnrcpt
-rom:           view-rom
-rom_v3:        view-rom_v3
-rom_lex:       view-rom_lex
-shf:           view-shf
-spec:          view-spec
-stp:           view-stp
-trm:           view-trm
-user_txn_data: view-txn_data_user
-syst_txn_data: view-txn_data_system
-wcp:           view-wcp
+alu:             view-alu
+blake:           view-blake_data
+block_data:      view-block_data
+block_hash:      view-block_hash
+btc:             view-btc_data
+bin:             view-bin
+exp:             view-exp
+euc:             view-euc
+formal:          view-formal
+gas:             view-gas
+hash_data:       view-hash_data
+hash_info:       view-hash_info
+hub:             view-hub
+lex:             view-lex
+logd_data:       view-log_data
+logi_info:       view-log_info
+mmio:            view-mmio
+modexp:          view-modexp_data
+mmu:             view-mmu
+mxp:             view-mxp
+mxp_v3:          view-mxp_v3
+oob:             view-oob
+prc:             view-prc
+rlp_addr:        view-rlp_addr
+rlp_patterns:    view-rlp_patterns
+rlp_patterns_v2: view-rlp_patterns_v2
+rlp_txn:         view-rlp_txn
+rlp_txn_v2:      view-rlp_txn_v2
+rlp_txnrcpt:     view-rlp_txnrcpt
+rlp_utils:       view-rlp_utils
+rom:             view-rom
+rom_v3:          view-rom_v3
+rom_lex:         view-rom_lex
+shf:             view-shf
+spec:            view-spec
+stp:             view-stp
+trm:             view-trm
+txn_data:        view-txn_data
+user_txn_data:   view-txn_data_user
+syst_txn_data:   view-txn_data_system
+wcp:             view-wcp
 
-ralu:              recompile-alu
-rblake:            recompile-blake_data
-rblock_data:       recompile-block_data
-rblock_hash:       recompile-block_hash
-rbtc:              recompile-btc_data
-rbin:              recompile-bin
-rexp:              recompile-exp
-reuc:              recompile-euc
-rformal:           recompile-formal
-rgas:              recompile-gas
-rhashd:            recompile-hash_data
-rhashi:            recompile-hash_info
-rhub:              recompile-hub
-rlex:              recompile-lex
-rlogd:             recompile-log_data
-rlogi:             recompile-log_info
-rmmio:             recompile-mmio
-rmodexp:           recompile-modexp_data
-rmmu:              recompile-mmu
-rmxp:              recompile-mxp
-rmxp_v3:           recompile-mxp_v3
-roob:              recompile-oob
-rprc:              recompile-prc
-rrlp_addr:         recompile-rlp_addr
-rrlp_txn:          recompile-rlp_txn
-rrlp_txnrcpt:      recompile-rlp_txnrcpt
-rrom:              recompile-rom
-rrom_v3:           recompile-rom_v3
-rrom_lex:          recompile-rom_lex
-rshf:              recompile-shf
-rspec:             recompile-spec
-rstp:              recompile-stp
-rtrm:              recompile-trm
-ruser_txn_data:    recompile-txn_data_user
-rsyst_tnx_data:    recompile-txn_data_system
-rwcp:              recompile-wcp
+ralu:             recompile-alu
+rblake:           recompile-blake_data
+rblock_data:      recompile-block_data
+rblock_hash:      recompile-block_hash
+rbtc:             recompile-btc_data
+rbin:             recompile-bin
+rexp:             recompile-exp
+reuc:             recompile-euc
+rformal:          recompile-formal
+rgas:             recompile-gas
+rhashd:           recompile-hash_data
+rhashi:           recompile-hash_info
+rhub:             recompile-hub
+rlex:             recompile-lex
+rlogd:            recompile-log_data
+rlogi:            recompile-log_info
+rmmio:            recompile-mmio
+rmodexp:          recompile-modexp_data
+rmmu:             recompile-mmu
+rmxp:             recompile-mxp
+rmxp_v3:          recompile-mxp_v3
+roob:             recompile-oob
+rprc:             recompile-prc
+rrlp_addr:        recompile-rlp_addr
+rrlp_patterns:    recompile-rlp_patterns
+rrlp_patterns_v2: recompile-rlp_patterns_v2
+rrlp_txn:         recompile-rlp_txn
+rrlp_txn_v2:      recompile-rlp_txn_v2
+rrlp_txnrcpt:     recompile-rlp_txnrcpt
+rrlp_utils:       recompile-rlp_utils
+rrom:             recompile-rom
+rrom_v3:          recompile-rom_v3
+rrom_lex:         recompile-rom_lex
+rshf:             recompile-shf
+rspec:            recompile-spec
+rstp:             recompile-stp
+rtrm:             recompile-trm
+rtxn_data:        recompile-txn_data
+ruser_txn_data:   recompile-txn_data_user
+rsyst_tnx_data:   recompile-txn_data_system
+rwcp:             recompile-wcp
 
 ospec:         buildOnGithub-spec
 

diff --git a/hub/_all_hub.tex b/hub/_all_hub.tex
@@ -43,6 +43,7 @@
 \usepackage{../pkg/system_txn_data}
 \usepackage{../pkg/rlp_addr}
 \usepackage{../pkg/rlp_tx}
+\usepackage{../pkg/rlp_txn_v2}
 \usepackage{../pkg/log_info}
 \usepackage{../pkg/nsr_constants}
 \usepackage{../pkg/subsubsubsection}

diff --git a/hub/lookups/into_log_info.tex b/hub/lookups/into_log_info.tex
@@ -42,13 +42,5 @@
 			\end{enumerate}
 		\end{multicols}
 \end{description}
-\saNote{} The chosen selector flag thus selects the first ($\tliCounter \equiv 0$) stack row ($\peekStack \equiv 1$) of an unexceptional, unreverted \inst{LOG}-type instruction ($\stackLogFlag \equiv 1$.)
-
 \saNote{}
-\ob{TODO: are we getting the \logDataSize{} from the correct stack item ?} 
-
-\saNote{}
-\ob{TODO: are we getting the right address ? Yes: it's $I_\text{a}$ in the spec, that is $\cnAccountAddress$ for us.} 
-
-\saNote{}
-\ob{TODO: the \logInfoMod{} expects more data ! Where should we get \absLogNumMax{} from ? What about $\absTxNumMax$ ? The latter is likely available in the \hubMod{} ?}
+The chosen selector flag thus selects the first ($\tliCounter \equiv 0$) stack row ($\peekStack \equiv 1$) of an unexceptional, unreverted \inst{LOG}-type instruction ($\stackLogFlag \equiv 1$.)
diff --git a/hub/lookups/into_rlp_txn.tex b/hub/lookups/into_rlp_txn.tex
@@ -24,19 +24,19 @@
 			\col{tgt\_sel} \define 
 			\txRequiresEvmExecution 
 			\cdot \phaseAccessList 
-			\cdot (1 - \isprefix) 
+			\cdot (1 - \isPrefix) 
 		\]
 	\item[Target columns:] ---
 		\begin{multicols}{2}
 			\begin{enumerate}
 				\item $1$
-				\item $\absTxNum$
-				\item $1 - \Depth{2}$
-				\item $\Depth{2}$
-				\item $\addr\high$
-				\item $\addr\low $
-				\item $\Input{1} \cdot \Depth{2}$
-				\item $\Input{2} \cdot \Depth{2}$
+				\item $\userTransactionNumber$
+				\item $\isAddr$
+				\item $\isSto$
+				\item $\locAddressHi$
+				\item $\locAddressLo$
+				\item $\inputColumn{1} \cdot (1 - \isPrefix)$
+				\item $\inputColumn{2} \cdot (1 - \isPrefix)$
 			\end{enumerate}
 		\end{multicols}
 \end{description}
diff --git a/hub/tx_init/rows/misc.tex b/hub/tx_init/rows/misc.tex
@@ -14,7 +14,7 @@
 			targetId  = \locTxInitCallDataContextNumber          ,
 			size      = \txCallDataSize _{i + \locTxInitRoffTxn} ,
 			exoSum    = \exoWeightRlpTxn                         ,
-			phase     = \phaseTransactionCallData                ,
+			phase     = \nothing                                 ,
 		}
 	\]
 	where we have set
@@ -31,10 +31,13 @@
 			\miscStpFlag _{i + \locTxInitRoffMisc} & = & \gZero                               & (\trash) \\
 		\end{array} \right.
 	\]
-	\saNote{}
-	\label{hub: initialization phase: transaction call data copy}
+	\saNote{} \label{hub: initialization phase: transaction call data copy}
 	The $\txCopyTxcd$ flag is set in the \userTxnDataMod{} module as the conjunction of a transaction requiring \evm{} execution and being provided with nonempty call data,
 	see section~(\ref{user txn data: constraints: comparisons}).
 	The \mmuMod{} instruction serves to transfer the transaction's call data to a fresh new \textsc{ram} segment.
 	Future \inst{CALLDATACOPY} and \inst{CALLDATALOAD} instructions executed in the root context will extract their data from that ``execution context's \textsc{ram}'', which contains a full copy of the transaction's call data.
 
+	\saNote{}
+	The \mmioMod{} module, which reads data from the \rlpTxnMod{}, does not require a ``phase'' for this operation.
+	The reason for this is that the \exoSum{}, which in this case is $\exoWeightRlpTxn{}$, is enough to channel the data to the right place.
+	See section~(\ref{mmio: lookups: txcd}).
diff --git a/log_info/verticalization.tex b/log_info/verticalization.tex
@@ -14,7 +14,7 @@
 			\[
 			\iffalse
 			\sum_{k=1}^{5} k \cdot \phase{k}_{j}
-			\subPhaseIdWeightIsPrefix \cdot \isprefix_{j}
+			\subPhaseIdWeightisPrefix \cdot \isPrefix_{j}
 			\subPhaseIdWeightIsOt \cdot \isOt_{j}
 			\subPhaseIdWeightIsOd \cdot \isOd_{j}
 			\subPhaseIdWeightDepth \cdot \Depth1_{j}
@@ -75,9 +75,9 @@
 The numeric constants above are obtained as
 \[
 	\begin{cases}
-		\subPhaseIdDataSize   & = 5 + \subPhaseIdWeightIsPrefix +   \subPhaseIdWeightIsOd + \subPhaseIdWeightDepth          \\
+		\subPhaseIdDataSize   & = 5 + \subPhaseIdWeightisPrefix +   \subPhaseIdWeightIsOd + \subPhaseIdWeightDepth          \\
 		\subPhaseIdAddr       & = 5 + \subPhaseIdWeightDepth          \\
 		\subPhaseIdTopicBase  & = 5 + \subPhaseIdWeightIsOt + \subPhaseIdWeightDepth \\
-		\subPhaseIdNoLogEntry & = 5 + \subPhaseIdWeightIsPrefix \\
+		\subPhaseIdNoLogEntry & = 5 + \subPhaseIdWeightisPrefix \\
 	\end{cases}
 \]
diff --git a/mmio/lookups/mmio_into_txcd.tex b/mmio/lookups/mmio_into_txcd.tex
@@ -6,22 +6,21 @@
 			\begin{enumerate}
 				\item $\idOne_{i}$
 				\item $1$
-				\item $\Phase_{i}$
+				\item $1$
+				\item $0$
 				\item $\indexX_{i}$
 				\item $\limb_{i}$
-%				\item $\totalSize_{i}$
-%				\item $\successBit_{i}$
 			\end{enumerate}
 		\end{multicols}
 	\item[\underline{Target columns:}] from the \rlpTxnMod{} module: 
 		\begin{multicols}{3}
 			\begin{enumerate}
-				\item $\absTxNum_{j}$
-				\item $\lc_{j}$
-				\item $\Phase_{j}$
-				\item $\indexData_{j}$
-				\item $\limb_{j}$
-%				\item $\outgoingDataSymb\low_{j}$
+				\item $\absTxNum  _{j}$
+				\item $\lc        _{j}$
+				\item $\phaseData _{j}$
+				\item $\isPrefix  _{j}$
+				\item $\ct        _{j}$
+				\item $\limb      _{j}$
 			\end{enumerate}
 		\end{multicols}
-\end{description}
+\end{description}
diff --git a/mmio/patterns/partial_duo.tex b/mmio/patterns/partial_duo.tex
@@ -2,10 +2,10 @@
 %\begin{multicols}{2}
 \begin{itemize}
 	\item binary columns $\bit{1}$, $\bit{2}$, $\bit{3}$, $\bit{4}$, $\bit{5}$
-	\item counter constant columns \source{}, \targetOne{}, \targetTwo{}, $\targetOne{}\new{}$, $\targetTwo{}\new{}$
+	\item counter-constant columns \source{}, \targetOne{}, \targetTwo{}, $\targetOne{}\new{}$, $\targetTwo{}\new{}$
 	\item byte columns \source{}\byte{}, \targetOne{}\byte{} and \targetTwo{}\byte{},
-	\item counter constant columns \source{}\mark{} and \targetOne{}\mark{},
-	\item a counter constant column \size{},
+	\item counter-constant columns \source{}\mark{} and \targetOne{}\mark{},
+	\item a counter-constant column \size{},
 	\item ``accumulator'' columns \acc{1}, \acc{2}, \acc{3}, \acc{4};
 	\item a ``power''column \col{P},
 	\item a ``counter column'' \ct{}.

diff --git a/mmio/patterns/partial_mono.tex b/mmio/patterns/partial_mono.tex
@@ -2,10 +2,10 @@
 %\begin{multicols}{2}
 \begin{itemize}
 	\item binary columns $\bit{1}$, $\bit{2}$, $\bit{3}$, $\bit{4}$,
-	\item counter constant columns \source{}, \target{} and $\target{}\new$,
+	\item counter-constant columns \source{}, \target{} and $\target{}\new$,
 	\item byte columns \source{}\byte{} and \target{}\byte{},
-	\item counter constant columns \source{}\mark{} and \target{}\mark{},
-	\item a counter constant column \size{},
+	\item counter-constant columns \source{}\mark{} and \target{}\mark{},
+	\item a counter-constant column \size{},
 	\item ``accumulator'' columns \acc{1}, \acc{2},
 	\item a ``powers'' column $\col{P}$,
 	\item a ``counter column'' \ct{}.

diff --git a/mmio/patterns/prefix_extraction.tex b/mmio/patterns/prefix_extraction.tex
@@ -1,13 +1,13 @@
 Suppose the following are given:
 \begin{enumerate}
-	\item counter constant columns \source{} and \target{},
+	\item counter-constant columns \source{} and \target{},
 	\item byte colunms \source\byte{} and \target\byte{},
-	\item a counter constant column \source\mark{},
-	\item a counter constant column \size{},
+	\item a counter-constant column \source\mark{},
+	\item a counter-constant column \size{},
 	\item binary columns $\bit{1}$ and $\bit{2}$,
 	\item an accumulator column \ACC{};
 	\item a column \col{P};
 \end{enumerate}
 The interpretation is the following
 
-Actually this is already present in $\onePartialToOne$ \dots{}
+Actually this is already present in $\onePartialToOne$ \dots{}
diff --git a/mmu/lua/interface.lua.tex b/mmu/lua/interface.lua.tex
@@ -71,7 +71,7 @@
 |                                      | ECPAIRING_transfer_res           | 1 + HUB_    | 1 + HUB_   |           |            |                   |            | 32            |         |               |                        |                    |                    | Φ_ecpairing_res  | ⟦1 << ecdata⟧              |
 |                                      | BLAKE2f_transfer_res             | 1 + HUB_    | 1 + HUB_   |           |            |                   |            | 64            |         |               |                        |                    |                    | Φ_blake_res      | ⟦1 << blake⟧               |
 |                                      |                                  |              |             |           |            |                   |            |               |         |               |                        |                    |                    |                  |                            |
-|                                      | TRANSACTION_CALL_DATA_transfer   | ABS_TX_NUM   | HUB_       |           |            |                   |            | txcd_size     |         |               |                        |                    |                    | Φ_txcd           | ⟦1 << rlp_txn⟧             |
+|                                      | TRANSACTION_CALL_DATA_transfer   | ABS_TX_NUM   | HUB_       |           |            |                   |            | txcd_size     |         |               |                        |                    |                    |                  | ⟦1 << rlp_txn⟧             |
 |--------------------------------------+----------------------------------+--------------+-------------+-----------+------------+-------------------+------------+---------------+---------+---------------+------------------------+--------------------+--------------------+------------------+----------------------------|
 | ⟦MMU_INST_ramToRamSansPadding⟧       | REVERT                           | CN           | CALLER_CN   |           |            | µ[0]_lo           |            | µ[1]_lo       | r@o     | r@c           |                        |                    |                    |                  |                            |
 |                                      | RETURN_fromMessageCall           | CN           | CALLER_CN   |           |            | µ[0]_lo           |            | µ[1]_lo       | r@o     | r@c           |                        |                    |                    |                  |                            |

diff --git a/pkg/column_generator.py b/pkg/column_generator.py
@@ -62,9 +62,10 @@
 	"swap": "swap",
 	"invalid": "invalid",
 	# rlp modules
-	"rlpAddr": "address Rlp",		# I'm taking out the d for readability
+	"rlpAddr": "address Rlp",
 	"rlpTxn": "transaction Rlp",
 	"rlpTxnRcpt": "transaction Receipt Rlp",
+	"rlpUtils": "rlp Utils",
 	# instruction decoder
 	"id": "instruction Decoder",
 }

diff --git a/pkg/common.sty b/pkg/common.sty
@@ -209,16 +209,17 @@
 \newcommand{\markAsExtractedFromEcrecover}          {\colorbox{solarized-yellow}    {\textbf{~~Extracted from ECRECOVER~~}}}
 
 
-% \newcommand{\define}        {\triangleq}
-\newcommand{\define}          {~\overset{\redm{\mathrm{def}}}\equiv~}
-\newcommand{\nothing}         {\graym{\varnothing}}
-\newcommand{\alreadySet}      {\gray{\texttt{<already set>}}}
-\newcommand{\leftUndefined}   {\gray{\texttt{<undefined>}}}
-\newcommand{\relevantValue}   {\texttt{<rel. val.>}}
-\newcommand{\valueToBeSet}    {\textcolor{solarized-green}{\texttt{<to be set>}}}
-\newcommand{\valueUnknown}    {\gray{\texttt{<unknown>}}}
-\newcommand{\toBeSet}         {\orange{TO BE SET}}
-\newcommand{\justifiedByExternalCircuit}{\texttt{<justified by external circuit>}}
+% \newcommand{\define}                   {\triangleq}
+\newcommand{\define}                     {~\overset{\redm{\mathrm{def}}}\equiv~}
+\newcommand{\nothing}                    {\graym{\varnothing}}
+\newcommand{\alreadySet}                 {\gray{\texttt{<already set>}}}
+\newcommand{\leftUndefined}              {\gray{\texttt{<undefined>}}}
+\newcommand{\relevantValue}              {\texttt{<rel. val.>}}
+\newcommand{\valueToBeSet}               {\textcolor{solarized-green}{\texttt{<to be set>}}}
+\newcommand{\valueUnknown}               {\gray{\texttt{<unknown>}}}
+\newcommand{\toBeSet}                    {\orange{TO BE SET}}
+\newcommand{\implicitlySet}              {\texttt{\yellow{<implicitly set>}}}
+\newcommand{\justifiedByExternalCircuit} {\texttt{<justified by external circuit>}}
 
 \newcommand{\lispNone}           {---                              {\textcolor{draculaorange}     {\texttt{Lisp NONE}}}}
 \newcommand{\lispDone}           {--- \colorbox{Green}             {\textcolor{Yellow}            {\texttt{Lisp DONE}}}}
@@ -234,7 +235,8 @@
 
 \newcommand{\zkEvm}          {\textsc{zk-evm}}
 \newcommand{\evm}            {\textsc{evm}}
-\newcommand{\linea}          {\textsc{linea}}
+\newcommand{\linea}          {\textsc{Linea}}
+\newcommand{\ethereum}       {\textsc{Ethereum}}
 \newcommand{\constraintAst}  {\textsc{ast}}
 
 \newcommand{\ccc}            {{\color{solarized-yellow}\col{c.c.c.}}}    % counter-constant column