1package plonky2_verifier
 2
 3import (
 4	. "gnark-ed25519/field"
 5	"gnark-ed25519/poseidon"
 6	"testing"
 7
 8	"github.com/consensys/gnark/frontend"
 9	"github.com/consensys/gnark/test"
10)
11
12type TestFriCircuit struct{}
13
14func (circuit *TestFriCircuit) Define(api frontend.API) error {
15	proofWithPis := DeserializeProofWithPublicInputs("./data/fibonacci/proof_with_public_inputs.json")
16	commonCircuitData := DeserializeCommonCircuitData("./data/fibonacci/common_circuit_data.json")
17	verifierOnlyCircuitData := DeserializeVerifierOnlyCircuitData("./data/fibonacci/verifier_only_circuit_data.json")
18
19	field := NewFieldAPI(api)
20	qe := NewQuadraticExtensionAPI(field, commonCircuitData.DegreeBits)
21	poseidonChip := poseidon.NewPoseidonChip(api, field)
22	friChip := NewFriChip(api, field, qe, poseidonChip, &commonCircuitData.FriParams)
23
24	zeta := QuadraticExtension{
25		NewFieldElementFromString("14887793628029982930"),
26		NewFieldElementFromString("1136137158284059037"),
27	}
28	friChallenges := FriChallenges{
29		FriAlpha: QuadraticExtension{
30			NewFieldElementFromString("14641715242626918707"),
31			NewFieldElementFromString("10574243340537902930"),
32		},
33		FriBetas:       []QuadraticExtension{},
34		FriPowResponse: NewFieldElement(82451580476419),
35		FriQueryIndicies: []F{
36			NewFieldElement(6790812084677375942),
37			NewFieldElement(12394212020331474798),
38			NewFieldElement(16457600747000998582),
39			NewFieldElement(1543271328932331916),
40			NewFieldElement(12115726870906958644),
41			NewFieldElement(6775897107605342797),
42			NewFieldElement(15989401564746021030),
43			NewFieldElement(10691676456016926845),
44			NewFieldElement(1632499470630032007),
45			NewFieldElement(1317292355445098328),
46			NewFieldElement(18391440812534384252),
47			NewFieldElement(17321705613231354333),
48			NewFieldElement(6176487551308859603),
49			NewFieldElement(7119835651572002873),
50			NewFieldElement(3903019169623116693),
51			NewFieldElement(4886491111111487546),
52			NewFieldElement(4087641893164620518),
53			NewFieldElement(13801643080324181364),
54			NewFieldElement(16993775312274189321),
55			NewFieldElement(9268202926222765679),
56			NewFieldElement(10683001302406181735),
57			NewFieldElement(13359465725531647963),
58			NewFieldElement(4523327590105620849),
59			NewFieldElement(4883588003760409588),
60			NewFieldElement(187699146998097671),
61			NewFieldElement(14489263557623716717),
62			NewFieldElement(11748359318238148146),
63			NewFieldElement(13636347200053048758),
64		},
65	}
66
67	initialMerkleCaps := []MerkleCap{
68		verifierOnlyCircuitData.ConstantSigmasCap,
69		proofWithPis.Proof.WiresCap,
70		proofWithPis.Proof.PlonkZsPartialProductsCap,
71		proofWithPis.Proof.QuotientPolysCap,
72	}
73
74	friChip.VerifyFriProof(
75		commonCircuitData.GetFriInstance(qe, zeta, commonCircuitData.DegreeBits),
76		proofWithPis.Proof.Openings.ToFriOpenings(),
77		&friChallenges,
78		initialMerkleCaps,
79		&proofWithPis.Proof.OpeningProof,
80	)
81
82	return nil
83}
84
85func TestFriProof(t *testing.T) {
86	assert := test.NewAssert(t)
87
88	testCase := func() {
89		circuit := TestFriCircuit{}
90		witness := TestFriCircuit{}
91		err := test.IsSolved(&circuit, &witness, TEST_CURVE.ScalarField())
92		assert.NoError(err)
93	}
94
95	testCase()
96}