Skip to content

Commit fa7a2f8

Browse files
committed
Tiny spacing edits
1 parent c6281b8 commit fa7a2f8

File tree

3 files changed

+5
-2
lines changed

3 files changed

+5
-2
lines changed

easy/src/ec.typ

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,7 @@ However, right now it only has the structure of a set.
100100

101101
The beauty of elliptic curves
102102
is that it's possible to define an *addition* operation on the curve;
103-
this is called the #cite(https://en.wikipedia.org/wiki/Elliptic_curve#The_group_law"", "group law on the elliptic curve").
103+
this is called the #cite("https://en.wikipedia.org/wiki/Elliptic_curve#The_group_law", "group law on the elliptic curve").
104104
This addition will make $E(FF_p)$ into an abelian group whose identity element
105105
is the point at infinity $O$. This addition can be formalized as a _group law_, which is an equation that points on the curve must follow.
106106

easy/src/kzg.typ

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,8 @@ Then anyone in the world can use the resulting sequence for KZG commitments.
5252
is if all the "trusted parties" collaborate.
5353
]
5454

55+
#pagebreak() // TODO manual pagebreak for printed easy; stopgap hack
56+
5557
== The KZG commitment scheme
5658

5759
Peggy has a polynomial $P(X) in FF_p [X]$.

easy/src/plonk.typ

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -229,9 +229,10 @@ Now, what do the gate constraints amount to?
229229
Peggy is trying to convince Victor that the equation
230230
#eqn[
231231
$ Q_L (x) A (x) + Q_R (x) B (x) + Q_O (x) C (x) & \
232-
+ Q_M (x) A (x) B (x) + Q_C (x) & = 0 $
232+
#hide[0] + Q_M (x) A (x) B (x) + Q_C (x) & = 0 $
233233
<plonk-gate>
234234
]
235+
// stopgap: #hide[0] equivalent to latex phantom for plus sign spacing
235236
is true for the $n$ numbers $x = omega, omega^2, ..., omega^n$.
236237

237238
However, Peggy has committed $A$, $B$, $C$ already,

0 commit comments

Comments
 (0)