From bcc9d5834be42e50af8cf232be1360e2d525fed6 Mon Sep 17 00:00:00 2001
From: 3for <287494524@qq.com>
Date: Sun, 26 Sep 2021 14:55:07 +0800
Subject: [PATCH] book: Fix typo

---
 book/src/design/proving-system/comparison.md | 2 +-
 book/src/design/proving-system/lookup.md     | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/book/src/design/proving-system/comparison.md b/book/src/design/proving-system/comparison.md
index 1691fe74..cf0c9c5c 100644
--- a/book/src/design/proving-system/comparison.md
+++ b/book/src/design/proving-system/comparison.md
@@ -47,7 +47,7 @@ Halo 2's polynomial commitment scheme differs from Appendix A.2 of BCMS20 in two
      sampling $z$.
 
 2. The $\text{PC}_\text{DL}.\text{SuccinctCheck}$ subroutine (Figure 2 of BCMS20) computes
-   the initial group element $C_0$ by adding $[v] H' = [v \epsilon] H$, which requires two
+   the initial group element $C_0$ by adding $[v] H' = [v \xi_0] H$, which requires two
    scalar multiplications. Instead, we subtract $[v] G_0$ from the original commitment $P$,
    so that we're effectively opening the polynomial at the point to the value zero. The
    computation $[v] G_0$ is more efficient in the context of recursion because $G_0$ is a
diff --git a/book/src/design/proving-system/lookup.md b/book/src/design/proving-system/lookup.md
index ec08eb4e..e9454df0 100644
--- a/book/src/design/proving-system/lookup.md
+++ b/book/src/design/proving-system/lookup.md
@@ -1,6 +1,6 @@
 # Lookup argument
 
-halo2 uses the following lookup technique, which allows for lookups in arbitrary sets, and
+Halo2 uses the following lookup technique, which allows for lookups in arbitrary sets, and
 is arguably simpler than Plookup.
 
 ## Note on Language
@@ -147,7 +147,7 @@ soundness is not affected.
 
 ## Generalizations
 
-halo2's lookup argument implementation generalizes the above technique in the following
+Halo2's lookup argument implementation generalizes the above technique in the following
 ways:
 
 - $A$ and $S$ can be extended to multiple columns, combined using a random challenge. $A'$