Skip to content

feat: blob transactions #357

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
letypequividelespoubelles wants to merge 10 commits into
base: main
Choose a base branch
from
Open

feat: blob transactions #357

Show file tree
Hide file tree
Changes from 3 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
f8a8a97
feat: blob transactions
letypequividelespoubelles Jan 7, 2026
b94e1ee
ras update wcp lookup
letypequividelespoubelles Jan 8, 2026
fbfc898
blob hash phase in rlp txn + lookups
letypequividelespoubelles Jan 9, 2026
635b859
nothing interesting
letypequividelespoubelles Jan 9, 2026
34bd39b
forget the tot nuber of hashes
letypequividelespoubelles Jan 9, 2026
20b251c
fixed few stuff in rlp txn
letypequividelespoubelles Jan 14, 2026
cdf1580
relecture
letypequividelespoubelles Jan 14, 2026
1d97454
blob number constancy
letypequividelespoubelles Jan 14, 2026
a666d81
on the way to update txn data
letypequividelespoubelles Jan 14, 2026
a3ce44d
finish txn data and lookups
letypequividelespoubelles Jan 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions hub/columns/stack.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,7 @@
\item $\stackDecAddFlag$
\item $\stackDecBinFlag$
\item $\stackDecBtcFlag$
\item $\stackDecBlobHashFlag$
\item $\stackDecCallFlag$
\item $\stackDecConFlag$
\item $\stackDecCopyFlag$
Expand Down
6 changes: 0 additions & 6 deletions hub/instruction_handling/stateless_constraints.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,12 +69,6 @@
\item \If $\twoArgInst = 1$ \Then $\twoOneSP_{i}$, see section~(\ref{hub: stack patterns: 2_1});
\item \If $\treArgInst = 1$ \Then $\threeOneSP_{i}$, see section~(\ref{hub: stack patterns: 3_1});
\end{enumerate}
\item[\underline{Zero high part for \wcpMod{}:}]\label{hub: instruction handling: stateless: wcp high part is zero}
\If $\stackDecWcpFlag_{i} = 1$ \Then we impose that
\begin{enumerate}
\item $\stackItemValHi{4}_{i} = 0$
\item $\stackItemValLo{4}_{i} \cdot (1 - \stackItemValLo{4}_{i}) = 0$ \quad (\trash)
\end{enumerate}
\item[\underline{Setting $\nonStackRows$:}] \If $\isStatelessInst_{i} = 1$ \Then we impose that
\[
\nonStackRows_{i} = \instIsExp_{i} + \cmc_{i}
Expand Down
3 changes: 1 addition & 2 deletions hub/lookups/into_add_bin_mod_mul_shf_wcp.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -43,5 +43,4 @@
\end{description}
\saNote{}
The \wcpMod{} doesn't have a ``$\resHi$'' column.
For that module we omit $\stackItemValHi{4}$ from the source and ``$\resHi$'' from the target.
Recall from section~(\ref{hub: instruction handling: stateless: wcp high part is zero}) that for \wcpMod{}-instructions we impose the vanishing of the ``result's'' high part.
For that module we change ``$\resHi$'' from the target to 0 to ensure the high paty of the result is 0.
2 changes: 2 additions & 0 deletions hub/lookups/into_instruction_decoder.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
\item $\stackDecAddFlag$
\item $\stackDecBinFlag$
\item $\stackDecBtcFlag$
\item $\stackDecBlobHashFlag$
\item $\stackDecCallFlag$
\item $\stackDecConFlag$
\item $\stackDecCopyFlag$
Expand Down Expand Up @@ -66,6 +67,7 @@
\item $\addFlag$
\item $\binFlag$
\item $\btcFlag$
\item $\blobHashFlag$
\item $\callFlag$
\item $\conFlag$
\item $\copyFlag$
Expand Down
2 changes: 2 additions & 0 deletions pkg/flags_stamps_selectors.sty
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1725,3 +1725,5 @@
\newcommand{\iBlsRefTableSelect}{\imported{\blsRefTableSelect}}
\newcommand{\stackDecBlsRefTableFlag}{\stackInstructionDecodedColumn{\blsRefTableFlag}}

\newcommand{\blobHashFlag}{\col{BLOB\_HASH\_FLAG}}
\newcommand{\stackDecBlobHashFlag}{\stackInstructionDecodedColumn{\blobHashFlag}}
2 changes: 2 additions & 0 deletions pkg/rlp_tx.sty
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,6 +42,8 @@
\newcommand{\phaseValueValue} {\rlpTxnPhase{value}}
\newcommand{\phaseDataValue} {\rlpTxnPhase{data}}
\newcommand{\phaseAccessListValue} {\rlpTxnPhase{access\_list}}
\newcommand{\phaseMaxFeePerBlobGas} {\rlpTxnPhase{max\_fee\_per\_blob\_gas}}
\newcommand{\phaseBlobVersionedHashes} {\rlpTxnPhase{blob\_versioned\_hashes}}
\newcommand{\phaseBetaValue} {\rlpTxnPhase{beta}}
\newcommand{\phaseYValue} {\rlpTxnPhase{y}}
\newcommand{\phaseRValue} {\rlpTxnPhase{r}}
Expand Down
3 changes: 3 additions & 0 deletions pkg/rlp_txn_v2.sty
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@
\newcommand{\numberOfNonZero} {NUMBER\_OF\_NONZERO\_BYTES}
\newcommand{\nbWarmedAddress} {NUMBER\_OF\_PREWARMED\_ADDRESSES}
\newcommand{\nbWarmedStorageKey} {NUMBER\_OF\_PREWARMED\_STORAGE\_KEYS}
\newcommand{\maxFeePerBlobGas} {MAX\_FEE\_PER\_BLOB\_GAS}

\newcommand{\rlpTxnTransactionColumn} [1] {\col{txn}\separator\col{{#1}}}

Expand All @@ -28,6 +29,7 @@
\newcommand{\rlpTxnTransactionColumnTypeZeroTx} {\rlpTxnTransactionColumn{\typeZeroTx}}
\newcommand{\rlpTxnTransactionColumnTypeOneTx} {\rlpTxnTransactionColumn{\typeOneTx}}
\newcommand{\rlpTxnTransactionColumnTypeTwoTx} {\rlpTxnTransactionColumn{\typeTwoTx}}
\newcommand{\rlpTxnTransactionColumnTypeThreeTx} {\rlpTxnTransactionColumn{\typeThreeTx}}
\newcommand{\rlpTxnTransactionColumnChainId} {\rlpTxnTransactionColumn{\chainId}}
\newcommand{\rlpTxnTransactionColumnGasPrice} {\rlpTxnTransactionColumn{\gasPrice}}
\newcommand{\rlpTxnTransactionColumnMaxPriorityFeePerGas} {\rlpTxnTransactionColumn{\maxPriorityFeePerGas}}
Expand All @@ -41,6 +43,7 @@
\newcommand{\rlpTxnTransactionColumnNumberOfNonZero} {\rlpTxnTransactionColumn{\numberOfNonZero}}
\newcommand{\rlpTxnTransactionColumnNbWarmedAddress} {\rlpTxnTransactionColumn{\nbWarmedAddress}}
\newcommand{\rlpTxnTransactionColumnNbWarmedStorageKey} {\rlpTxnTransactionColumn{\nbWarmedStorageKey}}
\newcommand{\rlpTxnTransactionColumnMaxFeePerBlobGas} {\rlpTxnTransactionColumn{\maxFeePerBlobGas}}
\newcommand{\rlpTxnTransactionColumnRequiresEvmExecution} {\rlpTxnTransactionColumn{REQUIRES\_EVM\_EXECUTION}}

\newcommand{\rlpTxnCommonColumnReplayProtection} {\col{REPLAY\_PROTECTION}}
Expand Down
14 changes: 10 additions & 4 deletions rlp_txn/_local.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,13 @@
\def\locValidPhaseTransitionTypeZero {\locValidPhaseTransition\loc{\_type\_0}}
\def\locValidPhaseTransitionTypeOne {\locValidPhaseTransition\loc{\_type\_1}}
\def\locValidPhaseTransitionTypeTwo {\locValidPhaseTransition\loc{\_type\_2}}
\def\locValidPhaseTransitionTypeThree {\locValidPhaseTransition\loc{\_type\_3}}

\def\locWillRemainInSamePhase {\loc{will\_remain\_in\_same\_phase}}
\def\locWillRemainInSamePhaseTypeZero {\locWillRemainInSamePhase\loc{\_type\_0}}
\def\locWillRemainInSamePhaseTypeOne {\locWillRemainInSamePhase\loc{\_type\_1}}
\def\locWillRemainInSamePhaseTypeTwo {\locWillRemainInSamePhase\loc{\_type\_2}}
\def\locWillRemainInSamePhase {\loc{will\_remain\_in\_same\_phase}}
\def\locWillRemainInSamePhaseTypeZero {\locWillRemainInSamePhase\loc{\_type\_0}}
\def\locWillRemainInSamePhaseTypeOne {\locWillRemainInSamePhase\loc{\_type\_1}}
\def\locWillRemainInSamePhaseTypeTwo {\locWillRemainInSamePhase\loc{\_type\_2}}
\def\locWillRemainInSamePhaseTypeThree {\locWillRemainInSamePhase\loc{\_type\_3}}

\def\locPhaseWillNotChangeAndPhaseIsntRlpPrefix {\loc{phase\_wont\_change\_and\_isnt\_global\_RLP\_prefix}}
\def\locLimbUnconditionallyPartakesInLt {\loc{limb\_unconditionally\_partakes\_in\_LT}}
Expand All @@ -30,6 +32,7 @@
\def\locRlpComponentsTypeZero {\locRlpComponents\loc{\_type\_0}}
\def\locRlpComponentsTypeOne {\locRlpComponents\loc{\_type\_1}}
\def\locRlpComponentsTypeTwo {\locRlpComponents\loc{\_type\_2}}
\def\locRlpComponentsTypeThree {\locRlpComponents\loc{\_type\_3}}

\def\locAccessListLengthCountdown {\loc{AL\_RLP\_length\_countdown}}
\def\locAccessListItemCountdown {\loc{access\_list\_item\_countdown}}
Expand All @@ -50,6 +53,9 @@
\def\locAccessListIsNonempty {\loc{access\_list\_is\_nonempty}}
\def\locAccessListIsEmpty {\loc{access\_list\_is\_empty}}

\def\locBlobHashLengthCountdown {\loc{BH\_RLP\_length\_countdown}}
\def\locBlobHashIndex {\loc{BH\_INDEX}}

\def\locAddressPrefixPlusAddressHiPart {\loc{prefix\_and\_address\_hi\_part}}
\def\locIsDeploymentTransaction {\loc{is\_deployment\_transaction}}
\def\locIsMessageCallTransaction {\loc{is\_message\_call\_transaction}}
Expand Down
4 changes: 3 additions & 1 deletion rlp_txn/columns/shared.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@
\item \typeZeroTx{}
\item \typeOneTx{}
\item \typeTwoTx{}
% \item \typeThreeTx{}
\item \typeThreeTx{}
Comment thread
cursor[bot] marked this conversation as resolved.
% \item \typeFourTx{}
\end{enumerate}
\end{multicols}
Expand All @@ -60,6 +60,8 @@
\item \phaseBeta{}
\item \phaseMaxPriorityFeePerGas{}
\item \phaseMaxFeePerGas{}
\item \phaseMaxFeePerBlobGas{}
\item \phaseBlobVersionedHashes{}
\item \phaseY{}
\item \phaseR{}
\item \phaseS{}
Expand Down
3 changes: 3 additions & 0 deletions rlp_txn/generalities/binarities.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
\item \typeZeroTx{}
\item \typeOneTx{}
\item \typeTwoTx{}
\item \typeThreeTx{}
\item \phaseRlpPrefix{}
\item \phaseChainId{}
\item \phaseNonce{}
Expand All @@ -15,6 +16,8 @@
\item \phaseValue{}
\item \phaseData{}
\item \phaseAccessList{}
\item \phaseMaxFeePerBlobGas{}
\item \phaseBlobVersionedHashes{}
\item \phaseBeta{}
\item \phaseY{}
\item \phaseR{}
Expand Down
2 changes: 2 additions & 0 deletions rlp_txn/generalities/lt_lx_lc_bits.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,8 @@
+ & \phaseValue _{i} \\
+ & \phaseData _{i} \\
+ & \phaseAccessList _{i} \\
+ & \phaseMaxFeePerBlobGas _{i} \\
+ & \phaseBlobVersionedHashes _{i} \\
% + & \phaseBeta _{i} \\
% + & \phaseY _{i} \\
% + & \phaseR _{i} \\
Expand Down
2 changes: 2 additions & 0 deletions rlp_txn/generalities/perspectives.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@
+ & (1 - \phaseValue _{i}) & \!\!\!\cdot\!\!\! & \phaseValue _{i + 1} \\
+ & (1 - \phaseData _{i}) & \!\!\!\cdot\!\!\! & \phaseData _{i + 1} \\
+ & (1 - \phaseAccessList _{i}) & \!\!\!\cdot\!\!\! & \phaseAccessList _{i + 1} \\
+ & (1 - \phaseMaxFeePerBlobGas _{i}) & \!\!\!\cdot\!\!\! & \phaseMaxFeePerBlobGas _{i + 1} \\
+ & (1 - \phaseBlobVersionedHashes _{i}) & \!\!\!\cdot\!\!\! & \phaseBlobVersionedHashes _{i + 1} \\
+ & (1 - \phaseBeta _{i}) & \!\!\!\cdot\!\!\! & \phaseBeta _{i + 1} \\
+ & (1 - \phaseY _{i}) & \!\!\!\cdot\!\!\! & \phaseY _{i + 1} \\
+ & (1 - \phaseR _{i}) & \!\!\!\cdot\!\!\! & \phaseR _{i + 1} \\
Expand Down
2 changes: 2 additions & 0 deletions rlp_txn/generalities/phase_end.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,8 @@
+ & \phaseValue _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseValue _{i + 1}) \\
+ & \phaseData _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseData _{i + 1}) \\
+ & \phaseAccessList _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseAccessList _{i + 1}) \\
+ & \phaseMaxFeePerBlobGas _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseMaxFeePerBlobGas _{i + 1}) \\
+ & \phaseBlobVersionedHashes _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseBlobVersionedHashes _{i + 1}) \\
+ & \phaseBeta _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseBeta _{i + 1}) \\
+ & \phaseY _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseY _{i + 1}) \\
+ & \phaseR _{i} & \!\!\!\cdot\!\!\! & (1 - \phaseR _{i + 1}) \\
Expand Down
2 changes: 2 additions & 0 deletions rlp_txn/generalities/phase_flag_sum.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@
+ & \phaseValue _{i} \\
+ & \phaseData _{i} \\
+ & \phaseAccessList _{i} \\
+ & \phaseMaxFeePerBlobGas _{i} \\
+ & \phaseBlobVersionedHashes _{i} \\
+ & \phaseBeta _{i} \\
+ & \phaseY _{i} \\
+ & \phaseR _{i} \\
Expand Down
10 changes: 2 additions & 8 deletions rlp_txn/generalities/transaction_decoding.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
+ & \typeZeroTx _{i} \\
+ & \typeOneTx _{i} \\
+ & \typeTwoTx _{i} \\
% + & \typeThreeTx _{i} \\
+ & \typeThreeTx _{i} \\
% + & \typeFourTx _{i} \\
\end{array} \right]
\vspace{2mm} \\
Expand All @@ -15,7 +15,7 @@
+ & 0 & \!\!\!\cdot\!\!\! & \typeZeroTx _{i} \\
+ & 1 & \!\!\!\cdot\!\!\! & \typeOneTx _{i} \\
+ & 2 & \!\!\!\cdot\!\!\! & \typeTwoTx _{i} \\
% + & 3 & \!\!\!\cdot\!\!\! & \typeThreeTx _{i} \\
+ & 3 & \!\!\!\cdot\!\!\! & \typeThreeTx _{i} \\
% + & 4 & \!\!\!\cdot\!\!\! & \typeFourTx _{i} \\
\end{array} \right]
\end{array} \right.
Expand All @@ -31,12 +31,6 @@
we impose that $\locTransactionTypeSum _{i} = \locPhaseFlagSum _{i}$
\item
\If $\isTxn _{i} = 1$ \Then $\rlpTxnTransactionColumnTxType _{i} = \locWeightedTransactionTypeSum _{i}$
% \begin{enumerate}
% \item $\ct _{i} = 0$ (\sanityCheck)
% \item $\maxCt _{i} = 0$ (\sanityCheck)
% \item $\phaseEnd _{i} = 0$ (\sanityCheck)
% \item $\lc _{i} = 0$ (\sanityCheck)
% \end{enumerate}
\end{enumerate}
\saNote{} \label{rlp txn: generalities: transaction decoding: flag exclusivity}
The above implicitly imposes flag exclusivity on the ``transaction type flags.''
Expand Down
51 changes: 51 additions & 0 deletions rlp_txn/generalities/transaction_type_phase_transitions.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -108,6 +108,50 @@
\\
\end{array} \right.
\]
and
\[
\hspace*{-2cm}
\left\{ \begin{array}{lcl}
\locValidPhaseTransitionTypeThree _{i} & \define &
\left[ \begin{array}{clcl}
+ & \phaseRlpPrefix _{i} & \cdot & \phaseChainId _{i + 1} \\
+ & \phaseChainId _{i} & \cdot & \phaseNonce _{i + 1} \\
+ & \phaseNonce _{i} & \cdot & \phaseMaxPriorityFeePerGas _{i + 1} \\
+ & \phaseMaxPriorityFeePerGas _{i} & \cdot & \phaseMaxFeePerGas _{i + 1} \\
+ & \phaseMaxFeePerGas _{i} & \cdot & \phaseGasLimit _{i + 1} \\
+ & \phaseGasLimit _{i} & \cdot & \phaseTo _{i + 1} \\
+ & \phaseTo _{i} & \cdot & \phaseValue _{i + 1} \\
+ & \phaseValue _{i} & \cdot & \phaseData _{i + 1} \\
+ & \phaseData _{i} & \cdot & \phaseAccessList _{i + 1} \\
+ & \phaseAccessList _{i} & \cdot & \phaseMaxFeePerBlobGas _{i + 1} \\
+ & \phaseMaxFeePerBlobGas _{i} & \cdot & \phaseBlobVersionedHashes _{i + 1} \\
+ & \phaseBlobVersionedHashes _{i} & \cdot & \phaseY _{i + 1} \\
+ & \phaseY _{i} & \cdot & \phaseR _{i + 1} \\
+ & \phaseR _{i} & \cdot & \phaseS _{i + 1} \\
+ & \phaseS _{i} & \cdot & \phaseRlpPrefix _{i + 1} \\
\end{array} \right]
\vspace{2mm} \\
\locWillRemainInSamePhaseTypeThree _{i} & \define &
\left[ \begin{array}{clcl}
+ & \phaseRlpPrefix _{i} & \cdot & \phaseRlpPrefix _{i + 1} \\
+ & \phaseChainId _{i} & \cdot & \phaseChainId _{i + 1} \\
+ & \phaseNonce _{i} & \cdot & \phaseNonce _{i + 1} \\
+ & \phaseMaxPriorityFeePerGas _{i} & \cdot & \phaseMaxPriorityFeePerGas _{i + 1} \\
+ & \phaseMaxFeePerGas _{i} & \cdot & \phaseMaxFeePerGas _{i + 1} \\
+ & \phaseGasLimit _{i} & \cdot & \phaseGasLimit _{i + 1} \\
+ & \phaseTo _{i} & \cdot & \phaseTo _{i + 1} \\
+ & \phaseValue _{i} & \cdot & \phaseValue _{i + 1} \\
+ & \phaseData _{i} & \cdot & \phaseData _{i + 1} \\
+ & \phaseAccessList _{i} & \cdot & \phaseAccessList _{i + 1} \\
+ & \phaseMaxFeePerBlobGas _{i} & \cdot & \phaseMaxFeePerBlobGas _{i + 1} \\
+ & \phaseBlobVersionedHashes _{i} & \cdot & \phaseBlobVersionedHashes _{i + 1} \\
+ & \phaseY _{i} & \cdot & \phaseY _{i + 1} \\
+ & \phaseR _{i} & \cdot & \phaseR _{i + 1} \\
+ & \phaseS _{i} & \cdot & \phaseS _{i + 1} \\
\end{array} \right]
\\
\end{array} \right.
\]
and we impose that
\begin{enumerate}
\item
Expand All @@ -131,4 +175,11 @@
+ & \locWillRemainInSamePhaseTypeTwo _{i} \\
\end{array} \right]
= 1 $
\item
\If $\typeThreeTx _{i} = 1$ \Then
$ \left[ \begin{array}{clcl}
+ & \locValidPhaseTransitionTypeThree _{i} \\
+ & \locWillRemainInSamePhaseTypeThree _{i} \\
\end{array} \right]
= 1 $
\end{enumerate}
26 changes: 23 additions & 3 deletions rlp_txn/generalities/transaction_type_rlp_components.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,14 +47,34 @@
+ & \phaseR _{i} \\
+ & \phaseS _{i} \\
\end{array} \right]
\vspace{2mm} \\
\locRlpComponentsTypeThree _{i} & \define &
\left[ \begin{array}{clcl}
+ & \phaseRlpPrefix _{i} \\
+ & \phaseChainId _{i} \\
+ & \phaseNonce _{i} \\
+ & \phaseMaxPriorityFeePerGas _{i} \\
+ & \phaseMaxFeePerGas _{i} \\
+ & \phaseGasLimit _{i} \\
+ & \phaseTo _{i} \\
+ & \phaseValue _{i} \\
+ & \phaseData _{i} \\
+ & \phaseAccessList _{i} \\
+ & \phaseMaxFeePerBlobGas _{i} \\
+ & \phaseBlobVersionedHashes _{i} \\
+ & \phaseY _{i} \\
+ & \phaseR _{i} \\
+ & \phaseS _{i} \\
\end{array} \right]
\\
\end{array} \right.
\]
and we impose
\begin{enumerate}
\item \If $\typeZeroTx _{i} = 1$ \Then $\locRlpComponentsTypeZero _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeOneTx _{i} = 1$ \Then $\locRlpComponentsTypeOne _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeTwoTx _{i} = 1$ \Then $\locRlpComponentsTypeTwo _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeZeroTx _{i} = 1$ \Then $\locRlpComponentsTypeZero _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeOneTx _{i} = 1$ \Then $\locRlpComponentsTypeOne _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeTwoTx _{i} = 1$ \Then $\locRlpComponentsTypeTwo _{i} = 1$ \quad (\sanityCheck)
\item \If $\typeThreeTx _{i} = 1$ \Then $\locRlpComponentsTypeThree _{i} = 1$ \quad (\sanityCheck)
\end{enumerate}
\saNote{} \label{rlp txn: generalities: transaction type rlp components: refinement of flag sum}
The above refines
Expand Down
1 change: 1 addition & 0 deletions rlp_txn/lookups/_inputs.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,4 @@ \subsection{Into \userTxnDataMod{} \lispTodo{}} \label{rlptxn: lookup: into TXND
\subsection{Into \btcMod{} } \label{rlptxn: lookup: into BLOCKDATA} \input{lookups/rlptxn_into_blockdata}
\subsection{Into \rlpUtilsMod{} } \label{rlptxn: lookup: into RLPUTILS} \input{lookups/rlptxn_into_rlputils}
\subsection{Into \trmMod{} } \label{rlptxn: lookup: into TRM} \input{lookups/rlptxn_into_trm}
\subsection{Into blobHashModule } \label{rlptxn: lookup: into BLOB HASH} \input{lookups/rlptxn_into_blob_hash}
Comment thread
cursor[bot] marked this conversation as resolved.
Outdated
21 changes: 21 additions & 0 deletions rlp_txn/lookups/tlptxn_into_blobhash.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
The lookup from the $\rlpTxnMod$ module is bidirectional. It ensures that exactly all the BLOBHASHES are stored in Blob Hash module.
\begin{description}
\item[\underline{Selector:}] $\phaseBlobVersionedHashes _{i} \cdot \isCmp _{i}$;
\item[\underline{Source columns:}] from the \rlpTxnMod{} module:
\begin{multicols}{2}
\begin{enumerate}
\item $\userTransactionNumber _{i}$
\item $\locBlobHashIndex _{i}$
\item $\rlpTxnComputationColumnExoDataColumn{1} _{i}$
\item $\rlpTxnComputationColumnExoDataColumn{2} _{i}$
\end{enumerate}
\end{multicols}
\item[\underline{Target columns:}] from the blob hash module:
\begin{multicols}{2}
\begin{enumerate}
\item bla
\item bla
\item bla : bla
\end{enumerate}
\end{multicols}
\end{description}
2 changes: 1 addition & 1 deletion rlp_txn/phase_constraints/access_list/countdowns/shorthands.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
\left\{ \begin{array}{lcl}
\locAccessListLengthCountdown _{i} & \define & \rlpTxnComputationColumnAuxiliaryData{1} _{i} \\
\locAccessListItemRlpLengthCountdown _{i} & \define & \rlpTxnComputationColumnAuxiliaryData{2} _{i} \\
\locAccessListItemCountdown _{i} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{1} _{i} \\
\locAccessListItemCountdown _{i} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{1} _{i} \\
\locStoragePrewarmingCountdown _{i} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{2} _{i} \\
\locStorageKeyListCountdown _{i} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{3} _{i} \\
\locAddressHi _{i} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{4} _{i} \\
Expand Down
4 changes: 2 additions & 2 deletions rlp_txn/phase_constraints/access_list/subphases/storage_key.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,8 +21,8 @@
where
\[
\left\{ \begin{array}{lcl}
\loc{storage\_key\_hi} & \define & \rlpTxnComputationColumnExoDataColumn{1} _{i} \\
\loc{storage\_key\_lo} & \define & \rlpTxnComputationColumnExoDataColumn{2} _{i} \\
\loc{storage\_key\_hi} & \define & \rlpTxnComputationColumnExoDataColumn{1} _{i} \\
\loc{storage\_key\_lo} & \define & \rlpTxnComputationColumnCounterConstantAuxiliaryData{1} _{i} \\
Copy link
Copy Markdown

@cursor cursor Bot Jan 9, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Storage key column conflicts with access list countdown

High Severity

The definition of \loc{storage\_key\_lo} was changed from \rlpTxnComputationColumnExoDataColumn{2} to \rlpTxnComputationColumnCounterConstantAuxiliaryData{1}. However, CounterConstantAuxiliaryData{1} is already used by \locAccessListItemCountdown within the same access list phase. This creates a column conflict where the storage key's low 128 bits and the item countdown counter would occupy the same column, potentially causing either value to be corrupted or incorrect during access list processing.

Additional Locations (1)

Fix in Cursor Fix in Web

Copy link
Copy Markdown

@cursor cursor Bot Jan 9, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Storage key definition change contradicts explanatory comment

Medium Severity

The \loc{storage\_key\_lo} definition was changed from \rlpTxnComputationColumnExoDataColumn{2} to \rlpTxnComputationColumnCounterConstantAuxiliaryData{1}. However, the comment on lines 31-35 still states that the constraint "will end up equating $\rlpTxnComputationColumnExoDataColumn{k}$ with itself for $k = 1, 2$". The comment is now incorrect and suggests the code change may have been unintentional.

Fix in Cursor Fix in Web

Comment thread
cursor[bot] marked this conversation as resolved.
\end{array} \right.
\]
\saNote{}
Expand Down
Loading