|
|
@ -249,34 +249,34 @@ func TestDummyVerifierWitness(t *testing.T) { |
|
|
|
}, |
|
|
|
|
|
|
|
expectedFriQueryIndices: []F{ |
|
|
|
NewFieldElement(92683), |
|
|
|
NewFieldElement(71707), |
|
|
|
NewFieldElement(113185), |
|
|
|
NewFieldElement(5303), |
|
|
|
NewFieldElement(69637), |
|
|
|
NewFieldElement(52851), |
|
|
|
NewFieldElement(130176), |
|
|
|
NewFieldElement(130602), |
|
|
|
NewFieldElement(17969), |
|
|
|
NewFieldElement(49676), |
|
|
|
NewFieldElement(50573), |
|
|
|
NewFieldElement(73593), |
|
|
|
NewFieldElement(97340), |
|
|
|
NewFieldElement(42687), |
|
|
|
NewFieldElement(66789), |
|
|
|
NewFieldElement(12977), |
|
|
|
NewFieldElement(66752), |
|
|
|
NewFieldElement(28854), |
|
|
|
NewFieldElement(89172), |
|
|
|
NewFieldElement(73873), |
|
|
|
NewFieldElement(66407), |
|
|
|
NewFieldElement(62271), |
|
|
|
NewFieldElement(40881), |
|
|
|
NewFieldElement(130802), |
|
|
|
NewFieldElement(13158), |
|
|
|
NewFieldElement(13338), |
|
|
|
NewFieldElement(8850), |
|
|
|
NewFieldElement(120997), |
|
|
|
NewFieldElement(16334967868590615051), |
|
|
|
NewFieldElement(2911473540496037915), |
|
|
|
NewFieldElement(14887216056886344225), |
|
|
|
NewFieldElement(7808811227805914295), |
|
|
|
NewFieldElement(2018594961417375749), |
|
|
|
NewFieldElement(3733368398777208435), |
|
|
|
NewFieldElement(2623035669037055104), |
|
|
|
NewFieldElement(299243030573481514), |
|
|
|
NewFieldElement(7189789717962704433), |
|
|
|
NewFieldElement(14566344026886816268), |
|
|
|
NewFieldElement(12555390069003437453), |
|
|
|
NewFieldElement(17225508403199418233), |
|
|
|
NewFieldElement(5088797913879903292), |
|
|
|
NewFieldElement(9715691392773433023), |
|
|
|
NewFieldElement(7565836764713256165), |
|
|
|
NewFieldElement(1500143546029322929), |
|
|
|
NewFieldElement(1245802417104422080), |
|
|
|
NewFieldElement(6831959786661245110), |
|
|
|
NewFieldElement(17271054758535453780), |
|
|
|
NewFieldElement(6225460404576395409), |
|
|
|
NewFieldElement(15932661092896277351), |
|
|
|
NewFieldElement(12452534049198240575), |
|
|
|
NewFieldElement(4225199666055520177), |
|
|
|
NewFieldElement(13235091290587791090), |
|
|
|
NewFieldElement(2562357622728700774), |
|
|
|
NewFieldElement(17676678042980201498), |
|
|
|
NewFieldElement(5837067135702409874), |
|
|
|
NewFieldElement(11238419549114325157), |
|
|
|
}, |
|
|
|
} |
|
|
|
witness := TestVerifierCircuit{} // No real witness as the test circuit's Define function will inject in the witness
|
|
|
|