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