From 37f0f5393da59d8b13b5d4f82688b31c23d5a018 Mon Sep 17 00:00:00 2001
From: Dmitriy Ryajov <dryajov@gmail.com>
Date: Mon, 13 Nov 2023 14:33:36 -0600
Subject: [PATCH] fix indent

---
 groth16/poly.nim | 114 +++++++++++++++++++++++------------------------
 1 file changed, 55 insertions(+), 59 deletions(-)

diff --git a/groth16/poly.nim b/groth16/poly.nim
index 1608506..556e12a 100644
--- a/groth16/poly.nim
+++ b/groth16/poly.nim
@@ -284,10 +284,10 @@ when isMainModule:
 
 #-------------------
 
-proc sanityCheckVanishing*() =
-  var js : seq[int] = toSeq(101..112)
-  let cs : seq[Fr]  = map( js, intToFr )
-  let P  : Poly     = Poly( coeffs:cs )
+  proc sanityCheckVanishing*() =
+    var js : seq[int] = toSeq(101..112)
+    let cs : seq[Fr]  = map( js, intToFr )
+    let P  : Poly     = Poly( coeffs:cs )
 
     let n  : int = 5
     let QR = polyQuotRemByVanishing(P, n)
@@ -303,7 +303,23 @@ proc sanityCheckVanishing*() =
     debugPrintFrSeq("zs", S.coeffs)
     echo( polyIsEqual(P,S) )
 
-  proc sanityCheckNTT*() =
+    proc sanityCheckNTT() =
+      var js : seq[int] = toSeq(101..108)
+      let cs : seq[Fr]  = map( js, intToFr )
+      let P  : Poly     = Poly( coeffs:cs )
+      let D  : Domain   = createDomain(8)
+      let xs : seq[Fr]  = D.enumerateDomain()
+      let ys : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(P,x)) )
+      let zs : seq[Fr]  = polyForwardNTT(P ,D)
+      let Q  : Poly     = polyInverseNTT(zs,D)
+      debugPrintFrSeq("xs", xs)
+      debugPrintFrSeq("ys", ys)
+      debugPrintFrSeq("zs", zs)
+      debugPrintFrSeq("us", Q.coeffs)
+
+  #-------------------
+
+  proc sanityCheckNTT() =
     var js : seq[int] = toSeq(101..108)
     let cs : seq[Fr]  = map( js, intToFr )
     let P  : Poly     = Poly( coeffs:cs )
@@ -317,28 +333,12 @@ proc sanityCheckVanishing*() =
     debugPrintFrSeq("zs", zs)
     debugPrintFrSeq("us", Q.coeffs)
 
-#-------------------
+  #-------------------
 
-proc sanityCheckNTT*() =
-  var js : seq[int] = toSeq(101..108)
-  let cs : seq[Fr]  = map( js, intToFr )
-  let P  : Poly     = Poly( coeffs:cs )
-  let D  : Domain   = createDomain(8)
-  let xs : seq[Fr]  = D.enumerateDomain()
-  let ys : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(P,x)) )
-  let zs : seq[Fr]  = polyForwardNTT(P ,D)
-  let Q  : Poly     = polyInverseNTT(zs,D)
-  debugPrintFrSeq("xs", xs)
-  debugPrintFrSeq("ys", ys)
-  debugPrintFrSeq("zs", zs)
-  debugPrintFrSeq("us", Q.coeffs)
-
-#-------------------
-
-proc sanityCheckMulFFT*() =
-  var js : seq[int] = toSeq(101..110)
-  let cs : seq[Fr]  = map( js, intToFr )
-  let P  : Poly     = Poly( coeffs:cs )
+  proc sanityCheckMulFFT() =
+    var js : seq[int] = toSeq(101..110)
+    let cs : seq[Fr]  = map( js, intToFr )
+    let P  : Poly     = Poly( coeffs:cs )
 
     let R1 : Poly = polyMulNaive( P , Q )
     let R2 : Poly = polyMulFFT(   P , Q )
@@ -348,45 +348,41 @@ proc sanityCheckMulFFT*() =
 
     echo( "multiply test = ", polyIsEqual(R1,R2) )
 
-  echo( "multiply test = ", polyIsEqual(R1,R2) )
+  #-------------------
 
-#-------------------
+  proc sanityCheckLagrangeBases() =
+    let n  = 8
+    let D  = createDomain(n)
 
-proc sanityCheckLagrangeBases*() =
-  let n  = 8
-  let D  = createDomain(n)
+    let L : seq[Poly] = collect( newSeq, (for k in 0..<n: lagrangePoly(D,k) ))
 
-  let L : seq[Poly] = collect( newSeq, (for k in 0..<n: lagrangePoly(D,k) ))
+    let xs = enumerateDomain(D)
+    let ys0 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[0],x) ))
+    let ys1 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[1],x) ))
+    let ys5 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[5],x) ))
+    let zs0 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(0,i)  ))
+    let zs1 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(1,i)  ))
+    let zs5 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(5,i)  ))
 
-  let xs = enumerateDomain(D)
-  let ys0 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[0],x) ))
-  let ys1 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[1],x) ))
-  let ys5 : seq[Fr]  = collect( newSeq, (for x in xs: polyEvalAt(L[5],x) ))
-  let zs0 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(0,i)  ))
-  let zs1 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(1,i)  ))
-  let zs5 : seq[Fr]  = collect( newSeq, (for i in 0..<n: deltaFr(5,i)  ))
+    echo("==============")
+    for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys0[i]), " | z[i] = ",toDecimalFr(zs0[i]))
+    echo("--------------")
+    for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys1[i]), " | z[i] = ",toDecimalFr(zs1[i]))
+    echo("--------------")
+    for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys5[i]), " | z[i] = ",toDecimalFr(zs5[i]))
 
-  echo("==============")
-  for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys0[i]), " | z[i] = ",toDecimalFr(zs0[i]))
-  echo("--------------")
-  for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys1[i]), " | z[i] = ",toDecimalFr(zs1[i]))
-  echo("--------------")
-  for i in 0..<n: echo("i = ",i, " | y[i] = ",toDecimalFr(ys5[i]), " | z[i] = ",toDecimalFr(zs5[i]))
+    let zeta = intToFr(123457)
+    let us : seq[Fr]  = collect( newSeq, (for i in 0..<n: polyEvalAt(L[i],zeta)) )
+    let vs : seq[Fr]  = collect( newSeq, (for i in 0..<n: evalLagrangePolyAt(D,i,zeta)) )
 
-  let zeta = intToFr(123457)
-  let us : seq[Fr]  = collect( newSeq, (for i in 0..<n: polyEvalAt(L[i],zeta)) )
-  let vs : seq[Fr]  = collect( newSeq, (for i in 0..<n: evalLagrangePolyAt(D,i,zeta)) )
+    echo("==============")
+    for i in 0..<n: echo("i = ",i, " | u[i] = ",toDecimalFr(us[i]), " | v[i] = ",toDecimalFr(vs[i]))
 
-  echo("==============")
-  for i in 0..<n: echo("i = ",i, " | u[i] = ",toDecimalFr(us[i]), " | v[i] = ",toDecimalFr(vs[i]))
-
-  let prefix = "Lagrange basis sanity check = "
-  if ( ys0===zs0 and ys1===zs1 and ys5===zs5 and
-       us===vs ):
-    echo( prefix & "OK")
-  else:
-    echo( prefix & "FAILED")
-
-]#
+    let prefix = "Lagrange basis sanity check = "
+    if ( ys0===zs0 and ys1===zs1 and ys5===zs5 and
+        us===vs ):
+      echo( prefix & "OK")
+    else:
+      echo( prefix & "FAILED")
 
 #-------------------------------------------------------------------------------