From ca77701b0ed49ec923e6402d3bc1919a2d0cefcc Mon Sep 17 00:00:00 2001
From: Rajesh Muppalla <1348422+codingnirvana@users.noreply.github.com>
Date: Thu, 9 Mar 2023 14:53:27 +0530
Subject: [PATCH] Typo: unrolling instead of enrolling

---
 chapters/circuit-compilers-moonmath.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/chapters/circuit-compilers-moonmath.tex b/chapters/circuit-compilers-moonmath.tex
index 1a56d399..b9fe8ab9 100644
--- a/chapters/circuit-compilers-moonmath.tex
+++ b/chapters/circuit-compilers-moonmath.tex
@@ -1922,7 +1922,7 @@ \subsubsection{Loops} In many programming languages, various loop control struct
   }
 \end{lstlisting}
 
-In contrast to this, algebraic circuits and Rank-1 Constraint Systems are not general enough to express arbitrary computation, but bounded computation only. As a consequence,  it is not possible to implement unbounded loops, or loops with bounds that are unknown at compile time in those models. This can be easily seen since circuits are acyclic by definition, and implementing an unbounded loop as an acyclic graph requires a circuits of unbounded size.  However, circuits are general enough to express bounded loops, where the upper bound on its execution is known at compile time. Those loop can be implemented in circuits by enrolling the loop. 
+In contrast to this, algebraic circuits and Rank-1 Constraint Systems are not general enough to express arbitrary computation, but bounded computation only. As a consequence,  it is not possible to implement unbounded loops, or loops with bounds that are unknown at compile time in those models. This can be easily seen since circuits are acyclic by definition, and implementing an unbounded loop as an acyclic graph requires a circuits of unbounded size.  However, circuits are general enough to express bounded loops, where the upper bound on its execution is known at compile time. Those loop can be implemented in circuits by unrolling the loop. 
 
 As a consequence, any programing language that compiles to algebraic circuits can only provide loop structures where the bound is a constant known at compile time. This implies that loops cannot depend on execution inputs, but on compile time parameters only.  
 \begin{example} To give an intuition of how a real-world circuit compiler might transform any high-level description of a bounded \texttt{for} loop into a circuit, consider the following \lgname{PAPER} code: