From 7c7a01a3951876db1777ade08be3ed34c03c349a Mon Sep 17 00:00:00 2001 From: Kevin Jue Date: Tue, 19 Dec 2023 11:04:30 -0800 Subject: [PATCH] fix for V-SCT-VUL-024 --- challenger/challenger.go | 2 +- poseidon/goldilocks.go | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) 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:"-"`