minor documentation changes

This commit is contained in:
Balazs Komuves 2024-10-03 00:46:50 +02:00
parent 06bd13b2bd
commit c3955c9581
No known key found for this signature in database
GPG Key ID: F63B7AEF18435562
3 changed files with 7 additions and 5 deletions

View File

@ -12,8 +12,8 @@ Hash functions supported
- [x] Monolith with `t=12`
- [ ] Tip4' with `t=12`
The Poseidon2 implementation is compatible with [Horizen Lab's one][4].
The Monolith implementation is compatible with [ZKFriendlyHashZoo][6].
The Poseidon2 permutation is compatible with [Horizen Lab's one][4].
The Monolith permutation is compatible with [ZKFriendlyHashZoo][6].
Installation

View File

@ -5,6 +5,7 @@ module GenAll where
import qualified TestGen.TestGoldilocks as F
import qualified TestGen.TestPermutation as P
import qualified TestGen.TestCompress as C
import qualified TestGen.TestSponge as S
import qualified TestGen.TestMerkle as M
@ -12,9 +13,10 @@ import Common
--------------------------------------------------------------------------------
writeSingleHash :: Hash -> IO ()
writeSingleHash hash = do
writeTestCasesFor :: Hash -> IO ()
writeTestCasesFor hash = do
P.writeTests hash
C.writeTests hash
S.writeTests hash
M.writeTests hash

View File

@ -3,6 +3,6 @@ Haskell reference implementation
--------------------------------
This is a very inefficient, but easy to read (and check) Haskell implementation
of Poseidon2.
of Poseidon2 and Monolith.
We use it for generating test cases for the real implementation.