more refactoring (hash)

src/Challenge/FRI.hs

@@ -12,13 +12,13 @@ import Data.Bits
 
 import Algebra.Goldilocks
 import Algebra.GoldilocksExt
-import Hash
-import Digest
+import Hash.Sponge
+import Hash.Digest
 import Types
 import Challenge.Monad
 
-import Debug.Trace
-debug x y z = trace ("\n - " ++ x ++ " -> " ++ show y) z
+-- import Debug.Trace
+-- debug x y z = trace ("\n - " ++ x ++ " -> " ++ show y) z
 
 --------------------------------------------------------------------------------
 

src/Challenge/Monad.hs

@@ -14,7 +14,7 @@ import qualified Control.Monad.State.Strict as S
 import Control.Monad.IO.Class
 
 import Algebra.Goldilocks
-import Digest
+import Hash.Digest
 import Challenge.Pure ( DuplexState, Squeeze, Absorb )
 import qualified Challenge.Pure as Pure
 

src/Challenge/Pure.hs

@@ -17,8 +17,8 @@ import Data.Array
 
 import Algebra.Goldilocks
 import Algebra.GoldilocksExt
-import Poseidon
-import Digest
+import Hash.Poseidon
+import Hash.Digest
 import Types
 
 --------------------------------------------------------------------------------

src/Challenge/Verifier.hs

@@ -8,8 +8,8 @@ module Challenge.Verifier where
 
 import Algebra.Goldilocks
 import Algebra.GoldilocksExt
-import Hash
-import Digest
+import Hash.Sponge
+import Hash.Digest
 import Types
 
 import Challenge.Monad

src/Hash/Constants.hs

@@ -3,7 +3,7 @@
 --
 -- See <https://github.com/0xPolygonZero/plonky2/blob/main/plonky2/src/hash/poseidon_goldilocks.rs>
 
-module Constants where
+module Hash.Constants where
 
 --------------------------------------------------------------------------------
 

src/Hash/Digest.hs

@@ -1,6 +1,6 @@
 
 {-# LANGUAGE DeriveGeneric, OverloadedStrings #-}
-module Digest where
+module Hash.Digest where
 
 --------------------------------------------------------------------------------
 

src/Hash/Poseidon.hs

@@ -5,7 +5,7 @@
 --
 
 {-# LANGUAGE Strict #-}
-module Poseidon where
+module Hash.Poseidon where
 
 --------------------------------------------------------------------------------
 
@@ -15,8 +15,8 @@ import Data.Array (Array)
 import Data.Array.IArray
 
 import Algebra.Goldilocks
-import Constants
-import Digest
+import Hash.Constants
+import Hash.Digest
 
 --------------------------------------------------------------------------------
 

src/Hash/Sponge.hs

@@ -1,5 +1,5 @@
 
-module Hash where
+module Hash.Sponge where
 
 --------------------------------------------------------------------------------
 
@@ -8,8 +8,8 @@ import Data.Word
 import Data.Bits
 
 import Algebra.Goldilocks
-import Poseidon
-import Digest
+import Hash.Poseidon
+import Hash.Digest
 
 --------------------------------------------------------------------------------
 

src/Types.hs

@@ -17,7 +17,7 @@ import GHC.Generics
 
 import Algebra.Goldilocks
 import Algebra.GoldilocksExt
-import Digest
+import Hash.Digest
 import Gate.Base
 import Gate.Parser
 

src/testmain.hs

@@ -6,8 +6,8 @@ module Main where
 import Data.Aeson
 
 import Types
-import Hash
-import Digest
+import Hash.Sponge
+import Hash.Digest
 import Algebra.Goldilocks
 import Challenge.Verifier