Skip to content

Commit 035efdb

Browse files
committed
fixed tables up to PIL/Permutation-arguments
1 parent 412e9e7 commit 035efdb

File tree

1 file changed

+7
-4
lines changed

1 file changed

+7
-4
lines changed

docs/zkEVM/specifications/pil/inclusion-arguments.md

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -76,18 +76,21 @@ $$
7676
\ \text{ 2}\\ \hline
7777
\ \text{ 3}\\
7878
\ \text{ 4}\\ \hline
79-
8079
\end{array}
8180
\end{aligned}
82-
\hspace{0.1cm}
81+
$$
8382

84-
\begin{aligned}\begin{array}{|c|c|c|c|}\hline
83+
<!--
84+
\hspace{0.1cm} -->
85+
86+
$$
87+
\begin{aligned}
88+
\begin{array}{|c|c|c|c|}\hline
8589
\mathtt{a} & \mathtt{b} & \texttt{prevCarry} & \texttt{carry} & \texttt{add} \\ \hline
8690
\texttt{ox11} & \texttt{0x22} & \texttt{0x01} & \texttt{0x00} & \texttt{0x33} \\
8791
\texttt{0x30} & \texttt{0x40} & \texttt{0x00} & \texttt{0x00} & \texttt{0x70} \\ \hline
8892
\texttt{0xff} & \texttt{0xee} & \texttt{0x00} & \texttt{0x01} & \texttt{0xed}\\
8993
\texttt{0x00} & \texttt{0xff} & \texttt{0x01} & \texttt{0x01} & \texttt{0x00} \\ \hline
90-
9194
\end{array}
9295
\end{aligned}
9396
$$

0 commit comments

Comments
 (0)