diff --git a/challenger/challenger.go b/challenger/challenger.go index 008b6f7..20da42a 100644 --- a/challenger/challenger.go +++ b/challenger/challenger.go @@ -111,7 +111,7 @@ func (c *Chip) GetExtensionChallenge() gl.QuadraticExtensionVariable { } func (c *Chip) GetHash() poseidon.GoldilocksHashOut { - return [4]gl.Variable{c.GetChallenge(), c.GetChallenge(), c.GetChallenge(), c.GetChallenge()} + return [poseidon.POSEIDON_GL_HASH_SIZE]gl.Variable{c.GetChallenge(), c.GetChallenge(), c.GetChallenge(), c.GetChallenge()} } func (c *Chip) GetFriChallenges( diff --git a/poseidon/goldilocks.go b/poseidon/goldilocks.go index 68128f0..7fe658c 100644 --- a/poseidon/goldilocks.go +++ b/poseidon/goldilocks.go @@ -9,10 +9,11 @@ const HALF_N_FULL_ROUNDS = 4 const N_PARTIAL_ROUNDS = 22 const SPONGE_WIDTH = 12 const SPONGE_RATE = 8 +const POSEIDON_GL_HASH_SIZE = 4 type GoldilocksState = [SPONGE_WIDTH]gl.Variable type GoldilocksStateExtension = [SPONGE_WIDTH]gl.QuadraticExtensionVariable -type GoldilocksHashOut = [4]gl.Variable +type GoldilocksHashOut = [POSEIDON_GL_HASH_SIZE]gl.Variable type GoldilocksChip struct { api frontend.API `gnark:"-"`