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 TestVerifierCircuit struct{}
 13
 14func (c *VerifierChip) GetChallengesSanityCheck(proofWithPis ProofWithPublicInputs, verifierData VerifierOnlyCircuitData, commonData CommonCircuitData) {
 15	publicInputsHash := c.GetPublicInputsHash(proofWithPis.PublicInputs)
 16	proofChallenges := c.GetChallenges(proofWithPis, publicInputsHash, commonData)
 17
 18	expectedPublicInputsHash := [4]F{
 19		NewFieldElementFromString("8416658900775745054"),
 20		NewFieldElementFromString("12574228347150446423"),
 21		NewFieldElementFromString("9629056739760131473"),
 22		NewFieldElementFromString("3119289788404190010"),
 23	}
 24
 25	for i := 0; i < 4; i++ {
 26		c.field.AssertIsEqual(publicInputsHash[i], expectedPublicInputsHash[i])
 27	}
 28
 29	expectedPlonkBetas := [2]F{
 30		NewFieldElementFromString("4678728155650926271"),
 31		NewFieldElementFromString("13611962404289024887"),
 32	}
 33
 34	for i := 0; i < 2; i++ {
 35		c.field.AssertIsEqual(proofChallenges.PlonkBetas[i], expectedPlonkBetas[i])
 36	}
 37
 38	expectedPlonkGammas := [2]F{
 39		NewFieldElementFromString("13237663823305715949"),
 40		NewFieldElementFromString("15389314098328235145"),
 41	}
 42
 43	for i := 0; i < 2; i++ {
 44		c.field.AssertIsEqual(proofChallenges.PlonkGammas[i], expectedPlonkGammas[i])
 45	}
 46
 47	expectedPlonkAlphas := [2]F{
 48		NewFieldElementFromString("14505919539124304197"),
 49		NewFieldElementFromString("1695455639263736117"),
 50	}
 51
 52	for i := 0; i < 2; i++ {
 53		c.field.AssertIsEqual(proofChallenges.PlonkAlphas[i], expectedPlonkAlphas[i])
 54	}
 55
 56	expectedPlonkZetas := [2]F{
 57		NewFieldElementFromString("14887793628029982930"),
 58		NewFieldElementFromString("1136137158284059037"),
 59	}
 60
 61	for i := 0; i < 2; i++ {
 62		c.field.AssertIsEqual(proofChallenges.PlonkZeta[i], expectedPlonkZetas[i])
 63	}
 64
 65	expectedFriAlpha := [2]F{
 66		NewFieldElementFromString("14641715242626918707"),
 67		NewFieldElementFromString("10574243340537902930"),
 68	}
 69
 70	for i := 0; i < 2; i++ {
 71		c.field.AssertIsEqual(proofChallenges.FriChallenges.FriAlpha[i], expectedFriAlpha[i])
 72	}
 73
 74	if len(proofChallenges.FriChallenges.FriBetas) != 0 {
 75		panic("There should be no fri betas")
 76	}
 77
 78	// This test is commented out because pow_witness is randomized between runs of the prover.
 79	// expectedPowResponse := NewFieldElementFromString("92909863298412")
 80	// c.field.AssertIsEqual(proofChallenges.FriChallenges.FriPowResponse, expectedPowResponse)
 81
 82	expectedFriQueryIndices := [...]F{
 83		NewFieldElement(6790812084677375942),
 84		NewFieldElement(12394212020331474798),
 85		NewFieldElement(16457600747000998582),
 86		NewFieldElement(1543271328932331916),
 87		NewFieldElement(12115726870906958644),
 88		NewFieldElement(6775897107605342797),
 89		NewFieldElement(15989401564746021030),
 90		NewFieldElement(10691676456016926845),
 91		NewFieldElement(1632499470630032007),
 92		NewFieldElement(1317292355445098328),
 93		NewFieldElement(18391440812534384252),
 94		NewFieldElement(17321705613231354333),
 95		NewFieldElement(6176487551308859603),
 96		NewFieldElement(7119835651572002873),
 97		NewFieldElement(3903019169623116693),
 98		NewFieldElement(4886491111111487546),
 99		NewFieldElement(4087641893164620518),
100		NewFieldElement(13801643080324181364),
101		NewFieldElement(16993775312274189321),
102		NewFieldElement(9268202926222765679),
103		NewFieldElement(10683001302406181735),
104		NewFieldElement(13359465725531647963),
105		NewFieldElement(4523327590105620849),
106		NewFieldElement(4883588003760409588),
107		NewFieldElement(187699146998097671),
108		NewFieldElement(14489263557623716717),
109		NewFieldElement(11748359318238148146),
110		NewFieldElement(13636347200053048758),
111	}
112
113	if len(expectedFriQueryIndices) != len(proofChallenges.FriChallenges.FriQueryIndicies) {
114		panic("len(expectedFriQueryIndices) != len(proofChallenges.FriChallenges.FriQueryIndicies)")
115	}
116
117	for i := 0; i < len(expectedFriQueryIndices); i++ {
118		c.field.AssertIsEqual(expectedFriQueryIndices[i], proofChallenges.FriChallenges.FriQueryIndicies[i])
119	}
120}
121
122func (circuit *TestVerifierCircuit) Define(api frontend.API) error {
123	field := NewFieldAPI(api)
124	poseidonChip := NewPoseidonChip(api, field)
125	verifierChip := VerifierChip{api: api, field: field, poseidonChip: *poseidonChip}
126	proofWithPis := DeserializeProofWithPublicInputs("./data/fibonacci/proof_with_public_inputs.json")
127	commonCircuitData := DeserializeCommonCircuitData("./data/fibonacci/common_circuit_data.json")
128	verfierOnlyCircuitData := DeserializeVerifierOnlyCircuitData("./data/fibonacci/verifier_only_circuit_data.json")
129	verifierChip.GetChallengesSanityCheck(proofWithPis, verfierOnlyCircuitData, commonCircuitData)
130	return nil
131}
132
133func TestVerifierWitness(t *testing.T) {
134	assert := test.NewAssert(t)
135
136	testCase := func() {
137		circuit := TestVerifierCircuit{}
138		witness := TestVerifierCircuit{}
139		err := test.IsSolved(&circuit, &witness, TEST_CURVE.ScalarField())
140		assert.NoError(err)
141	}
142
143	testCase()
144}