Skip to content

Commit f4621ed

Browse files
authored
Update kzg-commitment-scheme.md
1 parent 028a8f9 commit f4621ed

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/content/docs/en/learn/zero-knowledge/kzg-commitment-scheme.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ There are established methods of conducting trusted setup ceremonies with weak t
5151

5252
- Given a commitment $c = [P(\tau)]_1$, an evaluation $P(a) = b$, and a proof $\pi = [Q(\tau)]_1$
5353
- Verify that $e(\pi, [\tau - a]_2) = e(c - [b]_1, h)$
54-
- Some algebra shows that this is equivalent to checking that that the quotient polynomial is correctly formed at $\tau$: $Q(\tau) = \frac{P(\tau) -b}{\tau-a}$
54+
- Some algebra shows that this is equivalent to checking that the quotient polynomial is correctly formed at $\tau$: $Q(\tau) = \frac{P(\tau) -b}{\tau-a}$
5555
$$
5656
\begin{align*}
5757
& e(\pi, [\tau - a]_2) = e(c - [b]_1, h) \\ \iff

0 commit comments

Comments
 (0)