From ad8e851fc6e9e7e07201237c3be71dea39aa7b74 Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Thu, 6 Apr 2023 11:34:11 -0700 Subject: [PATCH] fixes --- plonky2_verifier/verifier_test.go | 4 ++-- poseidon/poseidon_test.go | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/plonky2_verifier/verifier_test.go b/plonky2_verifier/verifier_test.go index 90bc298..b2c114e 100644 --- a/plonky2_verifier/verifier_test.go +++ b/plonky2_verifier/verifier_test.go @@ -101,7 +101,7 @@ func (c *TestVerifierChallengesCircuit) Define(api frontend.API) error { c.fieldAPI = NewFieldAPI(api) c.qeAPI = NewQuadraticExtensionAPI(c.fieldAPI, commonCircuitData.DegreeBits) c.hashAPI = NewHashAPI(c.fieldAPI) - poseidonChip := NewPoseidonChip(api, c.fieldAPI) + poseidonChip := NewPoseidonChip(api, c.fieldAPI, c.qeAPI) c.verifierChip = &VerifierChip{api: api, fieldAPI: c.fieldAPI, qeAPI: c.qeAPI, poseidonChip: poseidonChip} c.GetChallengesSanityCheck(proofWithPis, verfierOnlyCircuitData, commonCircuitData) @@ -301,7 +301,7 @@ func (c *TestVerifierCircuit) Define(api frontend.API) error { fieldAPI := NewFieldAPI(api) qeAPI := NewQuadraticExtensionAPI(fieldAPI, commonCircuitData.DegreeBits) hashAPI := NewHashAPI(fieldAPI) - poseidonChip := NewPoseidonChip(api, fieldAPI) + poseidonChip := NewPoseidonChip(api, fieldAPI, qeAPI) plonkChip := NewPlonkChip(api, qeAPI, commonCircuitData) friChip := NewFriChip(api, fieldAPI, qeAPI, hashAPI, poseidonChip, &commonCircuitData.FriParams) verifierChip := VerifierChip{ diff --git a/poseidon/poseidon_test.go b/poseidon/poseidon_test.go index 3e41150..4ae612f 100644 --- a/poseidon/poseidon_test.go +++ b/poseidon/poseidon_test.go @@ -19,13 +19,14 @@ type TestPoseidonCircuit struct { func (circuit *TestPoseidonCircuit) Define(api frontend.API) error { goldilocksApi := field.NewFieldAPI(api) + qeAPI := NewQuadraticExtensionAPI(goldilocksApi, 3) var input PoseidonState for i := 0; i < 12; i++ { input[i] = goldilocksApi.FromBinary(api.ToBinary(circuit.In[i], 64)).(F) } - poseidonChip := NewPoseidonChip(api, goldilocksApi) + poseidonChip := NewPoseidonChip(api, goldilocksApi, qeAPI) output := poseidonChip.Poseidon(input) for i := 0; i < 12; i++ {