Skip to content

Commit

Permalink
Update poseidon.md
Browse files Browse the repository at this point in the history
Original reference: lurk-lab/neptune#113

The documentation says that w is the first column of m_hat or second column of m without the first row.. 

Actually it is the first column of m   without the first row.

The implementation is ok: https://github.com/filecoin-project/neptune/blob/bafd77a5014e3b6a6b40359097835c3eb1dd533f/src/mds.rs#L197
  • Loading branch information
jbaylina committed Oct 7, 2021
1 parent ad8af4c commit 1d813b3
Showing 1 changed file with 3 additions and 7 deletions.
10 changes: 3 additions & 7 deletions content/algorithms/crypto/poseidon.md
Original file line number Diff line number Diff line change
Expand Up @@ -698,14 +698,10 @@ $\overline{\underline{\Function \textsf{sparse\_factorize}(m \typecolon \Zp^{[t
0 & m_{t - 1, 1} & \dots & m_{t - 1, t - 1}
\end{bmatrix} \\~
\\
\line{3} \wb \typecolon \Zp^{[t - 1 {\times} 1]} = \hat{m}_{\ast, 0} = \begin{bmatrix}
\hat{m}_{0, 0} \\
\line{3} \wb \typecolon \Zp^{[t - 1 {\times} 1]} = m_{1 \dotdot, 0} = \begin{bmatrix}
m_{1, 0} \\
\vdots \\
\hat{m}_{t - 2, 0}
\end{bmatrix} = m_{1 \dotdot, 1} = \begin{bmatrix}
m_{1, 1} \\
\vdots \\
m_{t - 1, 1}
m_{t - 1, 0}
\end{bmatrix} \\~
\\
\line{4} \hat\wb \typecolon \Zp^{[t - 1 {\times} 1]} = \hat{m}^{\neg 1} {\times} \hso \wb = \begin{bmatrix}
Expand Down

0 comments on commit 1d813b3

Please sign in to comment.