logos-storage/logos-storage-proofs-circuits
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-proofs-circuits.git synced 2026-01-07 16:03:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

domain separation for the sponges

Browse Source
This commit is contained in:
Balazs Komuves 2023-11-16 11:52:25 +01:00
parent 39e4c924bd
commit cada45df18
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
reference/haskell/Poseidon2/Sponge.hs
View File

@ -11,7 +11,10 @@ import Poseidon2.Permutation
-- | Sponge construction with rate=1 (capacity=2), zero IV and 10* padding -- | Sponge construction with rate=1 (capacity=2), zero IV and 10* padding
sponge1 :: [Fr] -> Fr sponge1 :: [Fr] -> Fr
sponge1 input = go (0,0,0) (pad input) where sponge1 input = go (0,0,civ) (pad input) where
-- domain separation: capacity IV = 2^64 + 256*t + rate
civ = fromInteger (2^64 + 0x0301)
pad :: [Fr] -> [Fr] pad :: [Fr] -> [Fr]
pad (x:xs) = x : pad xs pad (x:xs) = x : pad xs
@ -25,7 +28,10 @@ sponge1 input = go (0,0,0) (pad input) where
-- | Sponge construction with rate=2 (capacity=1), zero IV and 10* padding -- | Sponge construction with rate=2 (capacity=1), zero IV and 10* padding
sponge2 :: [Fr] -> Fr sponge2 :: [Fr] -> Fr
sponge2 input = go (0,0,0) (pad input) where sponge2 input = go (0,0,civ) (pad input) where
-- domain separation: capacity IV = 2^64 + 256*t + rate
civ = fromInteger (2^64 + 0x0302)
pad :: [Fr] -> [Fr] pad :: [Fr] -> [Fr]
pad (x:y:rest) = x : y : pad rest pad (x:y:rest) = x : y : pad rest