logos-storage/gnark-plonky2-verifier
1
0
Fork 0
mirror of https://github.com/logos-storage/gnark-plonky2-verifier.git synced 2026-01-04 06:03:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix for V-SCT-VUL-024

Browse Source
This commit is contained in:
Kevin Jue 2023-12-19 11:04:30 -08:00
parent 888b247e02
commit 7c7a01a395
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
challenger/challenger.go
View File

@ -111,7 +111,7 @@ func (c *Chip) GetExtensionChallenge() gl.QuadraticExtensionVariable {
} }
func (c *Chip) GetHash() poseidon.GoldilocksHashOut { 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( func (c *Chip) GetFriChallenges(

3
poseidon/goldilocks.go
View File

@ -9,10 +9,11 @@ const HALF_N_FULL_ROUNDS = 4
const N_PARTIAL_ROUNDS = 22 const N_PARTIAL_ROUNDS = 22
const SPONGE_WIDTH = 12 const SPONGE_WIDTH = 12
const SPONGE_RATE = 8 const SPONGE_RATE = 8
const POSEIDON_GL_HASH_SIZE = 4
type GoldilocksState = [SPONGE_WIDTH]gl.Variable type GoldilocksState = [SPONGE_WIDTH]gl.Variable
type GoldilocksStateExtension = [SPONGE_WIDTH]gl.QuadraticExtensionVariable type GoldilocksStateExtension = [SPONGE_WIDTH]gl.QuadraticExtensionVariable
type GoldilocksHashOut = [4]gl.Variable type GoldilocksHashOut = [POSEIDON_GL_HASH_SIZE]gl.Variable
type GoldilocksChip struct { type GoldilocksChip struct {
api frontend.API `gnark:"-"` api frontend.API `gnark:"-"`