Skip to content

Commit

Permalink
R1CS consutruction - fixed formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
thogiti committed Aug 15, 2023
1 parent f6612ee commit f02efc0
Showing 1 changed file with 2 additions and 27 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -237,46 +237,21 @@ $$
0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\\
0 & 0 & 0 & 0 & 0 & 0 & 1 & 0
\end{bmatrix}
\color{red}\begin{matrix}R_1\\R_2\\R_3\end{matrix}\hspace{-1em}\\\
\end{array}
$$



\begin{bmatrix}
0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\\
0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\\
0 & 0 & 0 & 0 & 0 & 0 & 1 & 0
\end{bmatrix}



Here is the final matrix A in the table form:

| | 1 | out| x | y | u | v | u1 | u2 |
| ---- | -- | -- | -- | -- | -- | -- | -- | -- |
| | 1 | out | x | y | u | v | u1 | u2 |
| ---- | -- | -- | -- | -- | -- | -- | -- | -- |
| R1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| R2 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| R3 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |



$$
\begin{bmatrix}
a & b \\\
c & d
\end{bmatrix}
$$

$$
\begin{bmatrix}
a & b & b \\\
c & d & b \\\
c & d & b
\end{bmatrix}
$$



**Constructing Matrix B from right hand terms**

Expand Down

0 comments on commit f02efc0

Please sign in to comment.