From 28fe297f17af4811e5de75a14390e7c482ef5b65 Mon Sep 17 00:00:00 2001
From: ying tong <yingtong@z.cash>
Date: Mon, 28 Mar 2022 17:08:53 +0800
Subject: [PATCH] modular-design.md: selX -> setX

---
 mkdocs/docs/zkEVM/architecture/modular-design.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/mkdocs/docs/zkEVM/architecture/modular-design.md b/mkdocs/docs/zkEVM/architecture/modular-design.md
index 1c91587..532674b 100644
--- a/mkdocs/docs/zkEVM/architecture/modular-design.md
+++ b/mkdocs/docs/zkEVM/architecture/modular-design.md
@@ -68,11 +68,11 @@ Therefore, the polynomial identities that define the arithmetic state machine ar
 the following: 
 
 $$\begin{aligned}
-\mathcal{A'} &= \mathbf{sel}\mathcal{A}\cdot(\mathbf{freeIn}-\mathcal{A}) + \mathcal{A} \\
-\mathcal{B'} &= \mathbf{sel}\mathcal{B}\cdot(\mathbf{freeIn}-\mathcal{B}) + \mathcal{B} \\
-\mathcal{C'} &= \mathbf{sel}\mathcal{C}\cdot(\mathbf{freeIn}-\mathcal{C}) + \mathcal{C} \\
-\mathcal{D'} &= \mathbf{sel}\mathcal{D}\cdot(\mathbf{freeIn}-\mathcal{D}) + \mathcal{D} \\
-\mathcal{E'} &= \mathbf{sel}\mathcal{E}\cdot(\mathbf{freeIn}-\mathcal{E}) + \mathcal{E} \\
+\mathcal{A'} &= \mathbf{set}\mathcal{A}\cdot(\mathbf{freeIn}-\mathcal{A}) + \mathcal{A} \\
+\mathcal{B'} &= \mathbf{set}\mathcal{B}\cdot(\mathbf{freeIn}-\mathcal{B}) + \mathcal{B} \\
+\mathcal{C'} &= \mathbf{set}\mathcal{C}\cdot(\mathbf{freeIn}-\mathcal{C}) + \mathcal{C} \\
+\mathcal{D'} &= \mathbf{set}\mathcal{D}\cdot(\mathbf{freeIn}-\mathcal{D}) + \mathcal{D} \\
+\mathcal{E'} &= \mathbf{set}\mathcal{E}\cdot(\mathbf{freeIn}-\mathcal{E}) + \mathcal{E} \\
 0 &= [ \mathcal{A} \cdot \mathcal{B} + \mathcal{C} - (2^{32} \mathcal{D} + \mathcal{E}) ] \cdot \mathbf{latch} \\
 \mathbf{freeIn} &\subset byte4\end{aligned}$$
 
@@ -99,4 +99,4 @@ As we can see in the next figure, we use Plookup as a bus to connect our main st
 ![image](figures/microVM-architecture.pdf.png)
 
 This allows us to design in a modular way
-a virtual state machine that can be verified with zero knowledge technology.
\ No newline at end of file
+a virtual state machine that can be verified with zero knowledge technology.