From 1d513debb93acb1759875a852d00b190a235a7df Mon Sep 17 00:00:00 2001
From: Balazs Komuves <bkomuves@gmail.com>
Date: Fri, 13 Dec 2024 20:20:43 +0100
Subject: [PATCH] move source code into an `src` subdirectory

---
 {Challenge => src/Challenge}/FRI.hs      | 0
 {Challenge => src/Challenge}/Monad.hs    | 0
 {Challenge => src/Challenge}/Pure.hs     | 0
 {Challenge => src/Challenge}/Verifier.hs | 0
 Constants.hs => src/Constants.hs         | 0
 Digest.hs => src/Digest.hs               | 0
 {Gate => src/Gate}/Base.hs               | 0
 {Gate => src/Gate}/Constraints.hs        | 0
 {Gate => src/Gate}/Parser.hs             | 0
 Goldilocks.hs => src/Goldilocks.hs       | 0
 GoldilocksExt.hs => src/GoldilocksExt.hs | 0
 Hash.hs => src/Hash.hs                   | 0
 Poseidon.hs => src/Poseidon.hs           | 0
 Types.hs => src/Types.hs                 | 0
 testmain.hs => src/testmain.hs           | 8 ++++----
 15 files changed, 4 insertions(+), 4 deletions(-)
 rename {Challenge => src/Challenge}/FRI.hs (100%)
 rename {Challenge => src/Challenge}/Monad.hs (100%)
 rename {Challenge => src/Challenge}/Pure.hs (100%)
 rename {Challenge => src/Challenge}/Verifier.hs (100%)
 rename Constants.hs => src/Constants.hs (100%)
 rename Digest.hs => src/Digest.hs (100%)
 rename {Gate => src/Gate}/Base.hs (100%)
 rename {Gate => src/Gate}/Constraints.hs (100%)
 rename {Gate => src/Gate}/Parser.hs (100%)
 rename Goldilocks.hs => src/Goldilocks.hs (100%)
 rename GoldilocksExt.hs => src/GoldilocksExt.hs (100%)
 rename Hash.hs => src/Hash.hs (100%)
 rename Poseidon.hs => src/Poseidon.hs (100%)
 rename Types.hs => src/Types.hs (100%)
 rename testmain.hs => src/testmain.hs (79%)

diff --git a/Challenge/FRI.hs b/src/Challenge/FRI.hs
similarity index 100%
rename from Challenge/FRI.hs
rename to src/Challenge/FRI.hs
diff --git a/Challenge/Monad.hs b/src/Challenge/Monad.hs
similarity index 100%
rename from Challenge/Monad.hs
rename to src/Challenge/Monad.hs
diff --git a/Challenge/Pure.hs b/src/Challenge/Pure.hs
similarity index 100%
rename from Challenge/Pure.hs
rename to src/Challenge/Pure.hs
diff --git a/Challenge/Verifier.hs b/src/Challenge/Verifier.hs
similarity index 100%
rename from Challenge/Verifier.hs
rename to src/Challenge/Verifier.hs
diff --git a/Constants.hs b/src/Constants.hs
similarity index 100%
rename from Constants.hs
rename to src/Constants.hs
diff --git a/Digest.hs b/src/Digest.hs
similarity index 100%
rename from Digest.hs
rename to src/Digest.hs
diff --git a/Gate/Base.hs b/src/Gate/Base.hs
similarity index 100%
rename from Gate/Base.hs
rename to src/Gate/Base.hs
diff --git a/Gate/Constraints.hs b/src/Gate/Constraints.hs
similarity index 100%
rename from Gate/Constraints.hs
rename to src/Gate/Constraints.hs
diff --git a/Gate/Parser.hs b/src/Gate/Parser.hs
similarity index 100%
rename from Gate/Parser.hs
rename to src/Gate/Parser.hs
diff --git a/Goldilocks.hs b/src/Goldilocks.hs
similarity index 100%
rename from Goldilocks.hs
rename to src/Goldilocks.hs
diff --git a/GoldilocksExt.hs b/src/GoldilocksExt.hs
similarity index 100%
rename from GoldilocksExt.hs
rename to src/GoldilocksExt.hs
diff --git a/Hash.hs b/src/Hash.hs
similarity index 100%
rename from Hash.hs
rename to src/Hash.hs
diff --git a/Poseidon.hs b/src/Poseidon.hs
similarity index 100%
rename from Poseidon.hs
rename to src/Poseidon.hs
diff --git a/Types.hs b/src/Types.hs
similarity index 100%
rename from Types.hs
rename to src/Types.hs
diff --git a/testmain.hs b/src/testmain.hs
similarity index 79%
rename from testmain.hs
rename to src/testmain.hs
index 1ab3340..f8efbde 100644
--- a/testmain.hs
+++ b/src/testmain.hs
@@ -21,14 +21,14 @@ main = do
   -- let prefix = "recursion_outer"
   let prefix = "lookup"
 
-  text_common <- L.readFile ("json/" ++ prefix ++ "_common.json")
-  text_vkey   <- L.readFile ("json/" ++ prefix ++ "_vkey.json"  )
-  text_proof  <- L.readFile ("json/" ++ prefix ++ "_proof.json" )
+  text_common <- L.readFile ("../json/" ++ prefix ++ "_common.json")
+  text_vkey   <- L.readFile ("../json/" ++ prefix ++ "_vkey.json"  )
+  text_proof  <- L.readFile ("../json/" ++ prefix ++ "_proof.json" )
 
   let Just common_data   = decode text_common :: Maybe CommonCircuitData
   let Just verifier_data = decode text_vkey   :: Maybe VerifierOnlyCircuitData
   let Just proof_data    = decode text_proof  :: Maybe ProofWithPublicInputs
-
+  
   let challenges = proofChallenges common_data verifier_data proof_data
 
   print challenges
\ No newline at end of file