Skip to content

Commit

Permalink
Update casper-ffg.mdx
Browse files Browse the repository at this point in the history
  • Loading branch information
nnsW3 authored Nov 2, 2024
1 parent 59dc423 commit a0af04d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/pages/protocol/consensus/casper-ffg.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,7 @@ $$
L(x) = \sum^{n-1}_{i = 0} \mathcal{L}_i(x)
$$

This allows us create a KZG commitment to this polynomial $\textmd{g}^{L(s)}$ as part of the KZG set up ceremony. Since we know that $L(x_i) - \mathcal{L}_i(x_i) = 0$, thus the prover can can compute a KZG proof for the $x_i$-th coordinate using the quotient.
This allows us create a KZG commitment to this polynomial $\textmd{g}^{L(s)}$ as part of the KZG set up ceremony. Since we know that $L(x_i) - \mathcal{L}_i(x_i) = 0$, thus the prover can compute a KZG proof for the $x_i$-th coordinate using the quotient.

$$
\psi(x) = \frac{L(x) - \mathcal{L}_i(x_i)}{(x - x_i)}
Expand Down

0 comments on commit a0af04d

Please sign in to comment.