feat: add shared prc address range, an case of OOB flag in shared.tex, specify malformed data from ecdata

Author: amkCha

hub/columns/context.tex

@@ -79,7 +79,7 @@
 When an execution context resumes after a child context finishes executing it receives return data%
 \footnote{Said return data may be empty e.g. after a successful deployment, if the child context ended on a \inst{STOP} or a \inst{SELFDESTRUCT}, if the child context ended on a \inst{RETURN}/\inst{REVERT} with empty data, if the child context terminated on an exception, when returning from a \inst{CALL} to a precompile which triggered an internal error, \dots} That data lives in the child context's RAM (whose \cn{} will be stored \cnReturner{}) starting at some offset (stored in \cnRdo{}) and comprising a number of bytes (stored in \cnRds{}.) Contrary to the offset / size parameters introduced previously these parameters need not be context-constant. They are updated every time execution of the present context resumes after a message call or deployment.
 
-\saNote{} The above will hold true for \inst{CALL}'s to precompiled contracts, too. \inst{CALL}'s to these contracts \emph{do not} produce tangible execution contexts in the present arithmetization i.e. the \hubMod{} module never enters an execution context with $\cnCodeAddress \in \{ 1, 2, \dots, 9 \}$. Yet \textsc{ram} may have to undergo modifications. Typically (and along the happy path)
+\saNote{} The above will hold true for \inst{CALL}'s to precompiled contracts, too. \inst{CALL}'s to these contracts \emph{do not} produce tangible execution contexts in the present arithmetization i.e. the \hubMod{} module never enters an execution context with $\cnCodeAddress \in $ \prcAddressRange. Yet \textsc{ram} may have to undergo modifications. Typically (and along the happy path)
 (\emph{a})
 extraction of a slice of bytes from the current execution context's \textsc{ram} to be stored in some dedicated \col{DATA} module (e.g.
 \ecDataMod{},

hub/columns/scenarios/call.tex

@@ -11,7 +11,7 @@
 \end{enumerate}
 The columns below pertain to unexceptional, unaborted \inst{CALL}-type instructions i.e. \inst{CALL}'s that are entered. 
 For the sake of clarity we provide our working definition of \textbf{precompiles}, \textbf{externally owned accounts} and \textbf{smart contracts}.
-A \textbf{precompile} is an account whose address is in the range $\{\texttt{0x01},\texttt{0x02},\dots, \texttt{0x17} \cup \texttt{0x100}\}$.
+A \textbf{precompile} is an account whose address is in the range \prcAddressRange.
 A \textbf{smart contract} is any account with nonempty bytecode.
 An \textbf{externally owned account} is any account that is neither a \textbf{precompile} nor a \textbf{smart contract}. 
 This includes accounts that were created through deployments but whose bytecode is empty.

hub/columns/shared.tex

@@ -78,6 +78,7 @@
 (\emph{a}) \inst{CALLDATALOAD} where the comparison is done against the call data size;
 (\emph{b}) \inst{RETURNDATALOAD} where the comparison is done against the return data size;
 (\emph{c}) \inst{JUMP} and \inst{JUMPI} where the comparison is done against the code size;
+(\emph(d)) \inst{CALL} when it is targeting a precompile, the comparison is done against the call data size;
 \ob{TODO: make sure list is exhaustive}
 \begin{enumerate}[resume]
 	\item $\cn{}$ and $\cn{}\new$:

hub/instruction_handling/call/precompiles/_local.tex

@@ -320,11 +320,13 @@
 \def\prcModexpSuccessPartialCopyOfResultsRowOffset {\roffConstYellow{11}}
 \def\prcModexpSuccessUpdatingCallerReturnData      {\roffConstYellow{12}}
 
-\def\locImposedCallDataSizeForBlsPrecompiles        {\loc{imposed\_cds}}
+\def\locImposedCallDataSizeForBlsPrecompiles        {\loc{imposed\_bls\_cds}}
+\def\locImposedCallDataSizeForEcPrecompiles         {\loc{imposed\_ec\_cds}}
 \def\locCallDataSizeModulusForBlsPrecompiles        {\loc{cds\_modulus}}
 
 \def\locBlsPrecompileFailureReasonGas               {({\color{draculaorange}\texttt{gas}})}
 \def\locBlsPrecompileFailureReasonEmpty             {({\color{draculaorange}\texttt{empty}})}
 \def\locBlsPrecompileFailureReasonSize              {({\color{draculaorange}\texttt{size}})}
 \def\locBlsPrecompileFailureReasonMod               {({\color{draculaorange}\texttt{mod}})}
-\def\locBlsPrecompileFailureReasonData              {({\color{draculared}\texttt{data}})}
+\def\locBlsPrecompileFailureReasonData              {({\color{draculared}\texttt{blsdata}})}
+\def\locEcPrecompileFailureReasonData               {({\color{draculared}\texttt{ecdata}})}

hub/instruction_handling/call/precompiles/classification.tex

@@ -130,6 +130,8 @@
 			\item
 				\locBlsPrecompileFailureReasonData{}
 				malformed call data;
+				\locEcPrecompileFailureReasonData{}
+				malformed call data;
 		\end{itemize}
 \end{description}
 Conditions
@@ -141,13 +143,15 @@
 the \oobMod{} module carries out these preliminary checks and \scenPrcFailureKnownToHub{} records the outcome.
 Condition
 \locBlsPrecompileFailureReasonData,
+\locEcPrecompileFailureReasonData,
 on the other hand,
 requires retrieving the call data from \textsc{ram};
-the data is analyzed in a precompile specific manner in the \blsDataMod{} module,
+the data is analyzed in a precompile specific manner in the \blsDataMod{} and \ecDataMod{} modules respectively,
 with some ``data malformation'' detection steps delegated to outside circuits;
 the failure of this condition is recorded in \scenPrcFailureKnownToRam{}.
 
-The next precompile was introduced in the \textsc{Cancun} hardfork, specifically with \cite{EIP-4788};
+
+\noindent The next precompile was introduced in the \textsc{Cancun} hardfork, specifically with \cite{EIP-4788};
 \begin{description}
 	\item[\instPointEvaluation:]
 		can fail due to:
@@ -201,6 +205,6 @@
 \item[\instPVerify{}:]
 	can fail due to:
 	\locBlsPrecompileFailureReasonGas,
-	\locBlsPrecompileFailureReasonSize, with $\locImposedCallDataSizeForBlsPrecompiles \equiv 160$,
-	\locBlsPrecompileFailureReasonData;
+	\locBlsPrecompileFailureReasonSize, with $\locImposedCallDataSizeForEcPrecompiles \equiv 160$,
+	\locEcPrecompileFailureReasonData;
 \end{description}

pkg/oob.sty

@@ -120,33 +120,6 @@
 \newcommand{\oobInstBlsMapFpTwoToGTwo    }         {\oobInst{\prcNameBlsMapFpTwoToGTwo} }
 \newcommand{\oobInstPVerify              }         {\oobInst{\prcNamePVerify}           }
 
-\newcommand{\oobInstEcrecover            }         {\oobInst{ECRECOVER}              }
-\newcommand{\oobInstShaTwo               }         {\oobInst{SHA2}                   }
-\newcommand{\oobInstRipemd               }         {\oobInst{RIPEMD}                 }
-\newcommand{\oobInstIdentity             }         {\oobInst{IDENTITY}               }
-\newcommand{\oobInstEcadd                }         {\oobInst{ECADD}                  }
-\newcommand{\oobInstEcmul                }         {\oobInst{ECMUL}                  }
-\newcommand{\oobInstEcpairing            }         {\oobInst{ECPAIRING}              }
-
-\newcommand{\oobInstBlakeCds             }         {\oobInst{BLAKE\_CDS}             }
-\newcommand{\oobInstBlakeParams          }         {\oobInst{BLAKE\_PARAMS}          }
-
-\newcommand{\oobInstModexpCds            }         {\oobInst{MODEXP\_CDS}            }
-\newcommand{\oobInstModexpXbs            }         {\oobInst{MODEXP\_XBS}            }
-\newcommand{\oobInstModexpLead           }         {\oobInst{MODEXP\_LEAD}           }
-\newcommand{\oobInstModexpPricing        }         {\oobInst{MODEXP\_PRICING}        }
-\newcommand{\oobInstModexpExtract        }         {\oobInst{MODEXP\_EXTRACT}        }
-
-\newcommand{\oobInstPointEvaluation     }         {\oobInst{POINT\_EVALUATION}    }
-\newcommand{\oobInstBlsGOneAdd          }         {\oobInst{BLS\_G1ADD}           }
-\newcommand{\oobInstBlsGOneMsm          }         {\oobInst{BLS\_G1MSM}           }
-\newcommand{\oobInstBlsGTwoAdd          }         {\oobInst{BLS\_G2ADD}           }
-\newcommand{\oobInstBlsGTwoMsm          }         {\oobInst{BLS\_G2MSM}           }
-\newcommand{\oobInstBlsPairingCheck     }         {\oobInst{BLS\_PAIRING\_CHECK}  }
-\newcommand{\oobInstBlsMapFpToGOne      }         {\oobInst{BLS\_MAP\_FP\_TO\_G1} }
-\newcommand{\oobInstBlsMapFpTwoToGTwo   }         {\oobInst{BLS\_MAP\_FP2\_TO\_G2}}
-\newcommand{\oobInstPVerify             }         {\oobInst{P256VERIFY}            }
-
 %
 \newcommand{\oxConst                }  [1]   {\red{\texttt{0x\,#1}}}
 \newcommand{\oxXcall                }        {\oxConst{XCALL}}

pkg/prc.sty

@@ -25,6 +25,8 @@
 \newcommand{\blakeRowsMO}              {\redm{29}}
 \newcommand{\blakeRows}                {\redm{30}}
 
+\newcommand{\prcAddressRange}          {$\{\texttt{0x01},\texttt{0x02},\dots, \texttt{0x11}\} \cup \{\texttt{0x100}\}$}
+
 
 % \newcommand{\flagSumShakira}            {\col{flag\_sum}}
 % \newcommand{}           {\col{}}