diff --git a/auth_test.go b/auth_test.go index a2cc8d3..f4b0e67 100644 --- a/auth_test.go +++ b/auth_test.go @@ -839,26 +839,26 @@ func TestVerifyV3MessageWithSigProof_NonMerklized(t *testing.T) { ZKProof: types.ZKProof{ Proof: &types.ProofData{ A: []string{ - "21151810189677517948470349663375124644397774196647400403099596802180335321041", - "9696355494050033680997427331681865862422534743502124664674316367271074647154", + "17986127632500696301936833214834748282118988640054859347393596112177973598393", + "15534182793610095470902362363419776736277635938508650536729675634576311729692", "1", }, B: [][]string{ { - "16506537758980670869571638619482799907832786754264203096530594327503427638349", - "21622856063735476578181075235629493936632210758028392094000175452997617174729", + "7338497328692675644564987641648502096374251831094372349853229552307345443915", + "21873896757385838597213325448315031674671530112748272284028350500960284315119", }, { - "3541099173356890506571047958641755303967119354297594276262862768415334431356", - "10602931525454211449997603492083254084178062784908411330998719756785213529232", + "4389053438553442078720421541662069541503079132981369147628609382862358187134", + "20095077165223345682327215497304961861049068798239033587125849252492655865123", }, { "1", "0", }}, C: []string{ - "18500987823675051898831616007808039359308350085444553101353022992087458949277", - "16300345856950383026668416507066891269452696183122072516138872408963944059219", + "12355121980069068954352772137964392922736350288913506055163839192466777727257", + "4901524989595691090005671074543010487322868964840164143230262565655073327636", "1", }, Protocol: "groth16", @@ -875,9 +875,8 @@ func TestVerifyV3MessageWithSigProof_NonMerklized(t *testing.T) { "25191641634853875207018381290409317860151551336133597267061715643603096065", "1", "4487386332479489158003597844990487984925471813907462483907054425759564175341", - "1708627573", + "1708950663", "198285726510688200335207273836123338699", - "1", "0", "3", "1", @@ -1014,26 +1013,26 @@ func TestVerifyV3MessageWithMtpProof_Merklized(t *testing.T) { ZKProof: types.ZKProof{ Proof: &types.ProofData{ A: []string{ - "3763096690871993752230144382333919266676597557177411717784644613717115469090", - "10028320366827736122969323296605756343373454834156702791274611491480096283778", + "1206141210885685268691843620703536170529281542182526987924038407359704226612", + "4691511460268494838142278955970723189241051700769023850116359155231645962952", "1", }, B: [][]string{ { - "10203840113383841789860152028711536726169998029835635775567253548408092915572", - "18114537333654513143039191206627336787000523946155884037749310624596117473712", + "17879781576554928549561853823635605468659329508512687583360132080392104725081", + "16542687696560865789172959169248439945717346897794303102535416321225036669286", }, { - "12017396115161816147831100165808412964134386241428880233984090164219496714397", - "819630053285309842273190416121178576498258493837857641483373291509348418081", + "20570130590431263788504562264597298535240960895316532971597427392983121691924", + "3942642806293571533235026460473901941304763794877539387371504831161108993517", }, { "1", "0", }}, C: []string{ - "12280809699865713488550660734203114688285519767013704349296208589786741809007", - "17346425160089185216966296588854077581247196532430671131272276524525659173700", + "9166684032773673817826293280569639892136709569644822127576991899707132284865", + "4138680480162864132088567065899942452840603723378404207898851702927544111679", "1", }, Protocol: "groth16", @@ -1041,7 +1040,7 @@ func TestVerifyV3MessageWithMtpProof_Merklized(t *testing.T) { PubSignals: []string{ "1", "21568225469889458305914841490175280093555015071329787375641431262509208065", - "18909715826522346236105065343536699741230963116333195096070429245132708636972", + "14596903467716034545184185646592839847113415224380360765474057277236021022021", "0", "0", "0", @@ -1050,9 +1049,8 @@ func TestVerifyV3MessageWithMtpProof_Merklized(t *testing.T) { "19898531390599208021876718705689344940605246460654065917270282371355906561", "1", "5224437024673068498206105743424598123651101873588696368477339341771571761791", - "1708627799", + "1708950776", "74977327600848231385663280181476307657", - "0", "17040667407194471738958340146498954457187839778402591036538781364266841966", "0", "1", @@ -1221,7 +1219,7 @@ func TestFullVerifyLinkedProofsVerification(t *testing.T) { WithDocumentLoader(schemaLoader)) require.NoError(t, err) - tokenString := "eyJhbGciOiJncm90aDE2IiwiY2lyY3VpdElkIjoiYXV0aFYyIiwiY3JpdCI6WyJjaXJjdWl0SWQiXSwidHlwIjoiYXBwbGljYXRpb24vaWRlbjMtemtwLWpzb24ifQ.eyJpZCI6ImQyMmMyM2ExLTBmMDMtNDhlNS04MTM4LTE3MTc3Y2ZmNDJhNyIsInR5cCI6ImFwcGxpY2F0aW9uL2lkZW4zLXprcC1qc29uIiwidHlwZSI6Imh0dHBzOi8vaWRlbjMtY29tbXVuaWNhdGlvbi5pby9hdXRob3JpemF0aW9uLzEuMC9yZXNwb25zZSIsInRoaWQiOiI0ZjNlYTUxYy0zZDI3LTQxOTMtYmM2NC0xZjk2NDIxZTk2NWEiLCJib2R5Ijp7Im1lc3NhZ2UiOiJtZXNhZ2UiLCJzY29wZSI6W3siaWQiOjEsImNpcmN1aXRJZCI6ImNyZWRlbnRpYWxBdG9taWNRdWVyeVYzLWJldGEuMSIsInByb29mIjp7InBpX2EiOlsiMTU4NTc2NzI4MjQ3Mzc4MjgwMzIwNjUxMzIyMzIzNDg0OTI3MjQ5OTUyMDUzOTc1MTMwNjE5MjcwNTQzNTcwNDk5NzkxNjQ0MTg0NTQiLCIxNjg2MDYyMzUzNDk3MTU2Mzc5MzMxMzMzMDcyMTg0MjYxNzk0NjcwNTg2MzMwNjkxNjk1OTM5NDkwOTQzOTk4MzMxODAxMzc2MDY0NCIsIjEiXSwicGlfYiI6W1siMjAxOTgxMjA5MDk3NDc3MzE5NjMyODc1Mjk4MzIzOTg3MzI1MzE2ODU2NzQ4MDcyODM5OTczNzA5Mjg3MzM4NTEzMTU5NjQ3Njc4NTgiLCI0NjY4NzM0ODM1NTE1MzA3NzM5MjE0NDI1Njk3NDc0NzEzNjYxODQzNTU4NTMwMjcwMzExMTU5NjExODQzMDM4NDk0MzUxNjk5NDA0Il0sWyIxMTM1NzM4NDY1OTQwNDk1Mjg2MDUzNzg3NjA3MzA1Mzk2NzI1OTI1MzMwMzE3MjA1NzgwODAwMDQ0NDM3ODYwMTgyNDI2NTYzNjI0MiIsIjM0NDM4MDc4MzgwNTg4ODU3ODMyNjA3Mzg3NzEzODYxMjk0NDE5ODcyMTM0OTk1Mzc5NTk3NjkyMjE1NDcyNTc2MDk4NjM2MzcwNiJdLFsiMSIsIjAiXV0sInBpX2MiOlsiMTE3NDc0MjE4MDY5Mjk1Mzc0ODM3NzMyNjI2OTY5OTYxMzc3NTM4Mzk1OTQyOTIzODU5Mjk1MTk4NTIwOTEwMDA3ODk4NzIxMzI4OTUiLCIyMzA5NzgwNzA5ODk3NzkwNTg0MzY3NTY2OTI1MzQ0MDA3ODAyMTg2NjgwNzU5Njg4MjAzMzQ2MjE5OTk3NjY1OTczMjE1MTk0NjA4IiwiMSJdLCJwcm90b2NvbCI6Imdyb3RoMTYiLCJjdXJ2ZSI6ImJuMTI4In0sInB1Yl9zaWduYWxzIjpbIjAiLCIyMTU2ODIyNTQ2OTg4OTQ1ODMwNTkxNDg0MTQ5MDE3NTI4MDA5MzU1NTAxNTA3MTMyOTc4NzM3NTY0MTQzMTI2MjUwOTIwODA2NSIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIwIiwiMCIsIjAiLCIxIiwiMSIsIjI1MTkxNjQxNjM0ODUzODc1MjA3MDE4MzgxMjkwNDA5MzE3ODYwMTUxNTUxMzM2MTMzNTk3MjY3MDYxNzE1NjQzNjAzMDk2MDY1IiwiMSIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIxNzA4Njc5MzIwIiwiMTk4Mjg1NzI2NTEwNjg4MjAwMzM1MjA3MjczODM2MTIzMzM4Njk5IiwiMSIsIjAiLCIzIiwiMSIsIjk5IiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMSIsIjI1MTkxNjQxNjM0ODUzODc1MjA3MDE4MzgxMjkwNDA5MzE3ODYwMTUxNTUxMzM2MTMzNTk3MjY3MDYxNzE1NjQzNjAzMDk2MDY1IiwiMCJdfSx7ImlkIjoyLCJjaXJjdWl0SWQiOiJsaW5rZWRNdWx0aVF1ZXJ5MTAtYmV0YS4xIiwicHJvb2YiOnsicGlfYSI6WyIxMjU1OTcwOTI3MDE2OTY2NTY3ODc1ODkyNDI5Nzg1NTMxNzc4NTY0NzI3ODQxNTgxMzYyODIzMDExMjc1MzE2NjgwODU2NDYzODA0MyIsIjExNDg2Njc5NDkyNzg2MDcyODE1NzkzNzQ4Nzg5MjMxNjM2MDQ1Njc1NDUxNzA3MjQ0MTgwMjkwMDI1Mzc0MzMyODY4NDMwMzMxNjU5IiwiMSJdLCJwaV9iIjpbWyI3NjUyMTY2NjYwMjIyOTY0MjQzNjc5MjM5NTUzMDM2OTExMzA3ODc1MTg3MjY3MDgwNTEyOTIzNDQ2MDU4NjY5NjUwMDIyNTk2MTg1IiwiNTAzNjc2MDIxNjU4NTk2NzkzNzY2NTIxNTU5NzAyNTIyMDc3MjAwNDQ3MDk2MDcxNzYyMjg3NDIxMjQ0Mjk1NTA0OTE1MTcwOTU3MSJdLFsiMjEzMzI2NjY0NzU1OTc1MjAzODEwNzY5NTc4ODA4ODU2ODgyOTI2ODU1MDgzNDcwMTE5NjI0Mjk3MTk2NTkxNjU0MDc1NzQzMjA5NDkiLCIxMTgxODk2MDg5Njg2MzcwOTA5NzgyNjE5MzI0MDM0MDkyMTc1MDMwMzEwMTE4MDU4NzEwMjk0Njg3OTA0MDAxNjUyODMxNjIyMjc4NSJdLFsiMSIsIjAiXV0sInBpX2MiOlsiMTkyNzMzNTQ5MzEyODYzNTIwODgwMjMwNzAyMTIzNDA2OTc2Njg3MDQ2NDQyNjUxNDA2ODY3Nzk2NTMzNTAzMzM0MTAzMjE0ODk2NjkiLCIxNzE1NDk4NjQ5MTgwMzkyNDMxNjIzMDQxNTc5NjYzMDY1OTMyMTQ2NDcyODMxMzIwMDYzNzY5MTg5MDM0MTQyMTU5NDgzMzYyMjY2NyIsIjEiXSwicHJvdG9jb2wiOiJncm90aDE2IiwiY3VydmUiOiJibjEyOCJ9LCJwdWJfc2lnbmFscyI6WyIxMTgyODAxNDU0NjU1MTU5NTU0OTgwOTkwMzYxMTk5NDIxMTQyNTUwNzcxNDg1NjYxNTQyMDk0Njg3OTU2NjQwMjYzMDkxMDE4OTI0IiwiMSIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIxMDM0MTU3NDQ0ODM4NjQ4NTMzODEyNjIxMjY5NDc4OTIyNDY3NjI2MTc5ODE0MDEzMjA0NjQ5NjIwNDczMDQ0Mjc0NjcwNzc0MzM1MCIsIjE0NDYwNzY3OTk1MDIwNDc4MDkzNTMzMTQxNjMxMTgzMDYzODEzMjE5ODY5NTkyNDQ3MDM4MzgxNTExODgxMjMzNzYwNjIyMjA4NzIiLCIzNjQyNzczOTQwNjAxOTcyNDA4NjcyOTkzNDgxNDA1NjI4MTYxODI3NTExNjIyNzAxNTgwMTQyMjQyNjkxMTI3MDIxMTE5ODEwNTk2IiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjEiLCIxIiwiMSIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIxIiwiMSIsIjEiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIl19LHsiaWQiOjMsImNpcmN1aXRJZCI6ImNyZWRlbnRpYWxBdG9taWNRdWVyeVYzLWJldGEuMSIsInByb29mIjp7InBpX2EiOlsiMTUzNjQ1MTk0MTUzOTA4NzEyMjc3ODk4NzQyMTcyODQ2MTM5MTk4MjczNTYwMjM2NzUwNTAzNjY1NDczNjEyMDkzMjQ0NDkzNzQ4NDUiLCI5ODQ4Mzk4MTIyMDA2MDIxMDkzMjYzODQwNjc2ODkzOTY0NTU2ODAwNzk5NzA5NjM2NTM5NTEzNjU4NDU5NDY1MDg2MDk0NDg4MyIsIjEiXSwicGlfYiI6W1siMTAzMDIwMDQzODI5OTIwNDI4MjAzMDM2MDkzMjQ4NjY5NzI5Njk0NTY0NDI3ODU3MDAwNzkyODA1Nzk4NjU5NzM3MzQzODc2MTkyNzEiLCIxODkwMTg1NDMyMzA4NzcyMjk0Njk5OTgwODM2MTQzMTA5MjI4NjM5Mzc4NDQxODg1NDE3NzM0NTk5MjMzNzE2NTU0OTIzNDg1MTI2OCJdLFsiMjgwOTM4ODM3MzA5NTg3MjU0NDI3NDUzODEyOTczNTY3Mjk5MzAwNzEzNzMyNDYxNDE0NzcyMzM5NTEwOTA1NjY3MzI5MTk1MTg2OSIsIjUwMzk4MDMzMDIzNDM3NTg4NDQxMzQwNTA2OTQ2MDY4NTY2NTE3OTM3MDY1MjUxMDY3OTkzODc3OTczMTg5MTE0NTg0ODI1ODE5MDAiXSxbIjEiLCIwIl1dLCJwaV9jIjpbIjExNDE4NjgyNjY2MDIyOTYwNDk5NjA5MTU2NDIwNDY2MDcwNzg3NzIxNTk5NTgyNjEzNTE0NTAyOTIyMzU4MzUzMDExMzc3NjI4NDIwIiwiNzk5ODk4NDQ3MTE5MzA0MTAyNTc2NTU1MDEzODE5OTYwMTQyOTcyMTAwNzI2MDIyMzUxMjIwNzQ4NzIzMzU4MjU5MzMzMTk4NTAxIiwiMSJdLCJwcm90b2NvbCI6Imdyb3RoMTYiLCJjdXJ2ZSI6ImJuMTI4In0sInB1Yl9zaWduYWxzIjpbIjEiLCIyMTU2ODIyNTQ2OTg4OTQ1ODMwNTkxNDg0MTQ5MDE3NTI4MDA5MzU1NTAxNTA3MTMyOTc4NzM3NTY0MTQzMTI2MjUwOTIwODA2NSIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIxMTgyODAxNDU0NjU1MTU5NTU0OTgwOTkwMzYxMTk5NDIxMTQyNTUwNzcxNDg1NjYxNTQyMDk0Njg3OTU2NjQwMjYzMDkxMDE4OTI0IiwiMjEwNTE4MTY0Mzc3MTE5OTgwMTcyNDkwNTA0NDQyNDQ3Mjc4MDY4NjEwMjU3MDc4MDQ4OTc4MTM5NTE4NDIyODY2OTAzODI0NzI5MjciLCIwIiwiMSIsIjMiLCIyNTE5MTY0MTYzNDg1Mzg3NTIwNzAxODM4MTI5MDQwOTMxNzg2MDE1MTU1MTMzNjEzMzU5NzI2NzA2MTcxNTY0MzYwMzA5NjA2NSIsIjAiLCI0NDg3Mzg2MzMyNDc5NDg5MTU4MDAzNTk3ODQ0OTkwNDg3OTg0OTI1NDcxODEzOTA3NDYyNDgzOTA3MDU0NDI1NzU5NTY0MTc1MzQxIiwiMTcwODY3OTMzNiIsIjIxOTU3ODYxNzA2NDU0MDAxNjIzNDE2MTY0MDM3NTc1NTg2NTQxMiIsIjAiLCIxMjk2MzUxNzU4MjY5MDYxMTczMzE3MTA1MDQxOTY4MDY3MDc3NDUxOTE0Mzg2MDg2MjIyOTMxNTE2MTk5MTk0OTU5ODY5NDYzODgyIiwiMCIsIjEiLCIxNzAyMjUyODAwMDAwMDAwMDAwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMSIsIjI1MTkxNjQxNjM0ODUzODc1MjA3MDE4MzgxMjkwNDA5MzE3ODYwMTUxNTUxMzM2MTMzNTk3MjY3MDYxNzE1NjQzNjAzMDk2MDY1IiwiMTIzNDUiXX1dfSwiZnJvbSI6ImRpZDppZGVuMzpwb2x5Z29uOm11bWJhaTp3dXc1dHlkWjdBQWQzZWZ3RXFQcHJucWppTkhSMjRqcXJ1U1BLbVYxViIsInRvIjoiZGlkOmlkZW4zOnBvbHlnb246bXVtYmFpOnd6b2t2WjZrTW9vY0tKdVNiZnRkWnhURDZxdmF5R3BKYjNtNEZWWHRoIn0.eyJwcm9vZiI6eyJwaV9hIjpbIjEzNzIzNzUxNjUzMzk3OTcxMzEzMzk0MjE5NzQ5NDI0NDM4OTAwMDc2MzU2NzY2MTQ2NDU2NTUwNDkzMzg3MDMxMjg3NTY4Mjk3MzEwIiwiMTMxMTc2NTQwNzYyMzQ0OTEyNzM4NjE4NTE1MjgzNDc5MTUzNjc4OTM1OTE5ODM3NDAxNTE5NzU3ODcwOTQxMjY2MzM2ODQ5MTA0MzIiLCIxIl0sInBpX2IiOltbIjg5NzM0MjM2ODY3NTE3NzE5NDgxODM2MDg4NDAyMDE1NTUyMjg3MDQxNDM0ODg5NTQ4OTE2OTE0MDc5MDI4MDkzODkyNzAwMTUwODQiLCIxNjYxMzQ3MzA3MjkzOTM3MDg2NTg1ODk2ODg2NjE3MzM4MTYxOTY3MTc0NTY1ODcxNjQ1OTU5MjE0NjE3NTM1MTYzMDMxMTE5ODI1MiJdLFsiMTQ2ODQ3MzU4MzkxNjc1Mzc1MTY1NTk4ODA4NjEzMzI2MTg4MTE2MzY5Nzc3MDc2OTY5ODU5NzU3NjA5MzM1NzY0Nzk4NTE2ODc3MTYiLCI1Njk5NTQ3NTk1NzczNzM0MzU4MDYxMTE4NDc5MjUzMjI3MDE4ODg1MTYzMjMwMjAxMDQ5MDMwNTg1NDI2MjM4MDM4MTY0MjI2MDAwIl0sWyIxIiwiMCJdXSwicGlfYyI6WyIxNDk3NDk1MDc0MzM0NjEzMDUwNDc2MDU3Mzg0MDcxMjA4MDQ3NTU4MDU1ODE3MDU2OTk0OTc3Mjg4Mzk5ODMxNzU3MjI2MjQ5MzQ4MyIsIjgwOTMyOTg0MDQ4OTI0MDAyNTAzMzQxMjU5NDc1NDA2MjU1NTE0MDc2MzQ2NjcyMzY4MjIzMjQ1ODUwMTI2NTI4MTk2OTYxNDYzNzEiLCIxIl0sInByb3RvY29sIjoiZ3JvdGgxNiIsImN1cnZlIjoiYm4xMjgifSwicHViX3NpZ25hbHMiOlsiMjE1NjgyMjU0Njk4ODk0NTgzMDU5MTQ4NDE0OTAxNzUyODAwOTM1NTUwMTUwNzEzMjk3ODczNzU2NDE0MzEyNjI1MDkyMDgwNjUiLCIxMDI5OTA1MDE3OTkwNDc2MTM4MzY4NTg0ODQ5MDU4NTg3NTMxMTQ5NDkyMjI2ODc0NjE1ODk0MTU5NDA0NDUwMzgzMDI5NTI4MTM4MCIsIjAiXX0" + tokenString := "eyJhbGciOiJncm90aDE2IiwiY2lyY3VpdElkIjoiYXV0aFYyIiwiY3JpdCI6WyJjaXJjdWl0SWQiXSwidHlwIjoiYXBwbGljYXRpb24vaWRlbjMtemtwLWpzb24ifQ.eyJpZCI6ImNkY2YwOTQzLTk0YmQtNDBjMi1hMzk1LTAzZTEwZDFlOGY5MyIsInR5cCI6ImFwcGxpY2F0aW9uL2lkZW4zLXprcC1qc29uIiwidHlwZSI6Imh0dHBzOi8vaWRlbjMtY29tbXVuaWNhdGlvbi5pby9hdXRob3JpemF0aW9uLzEuMC9yZXNwb25zZSIsInRoaWQiOiJlNjA0N2EzYy1iM2RlLTRkMjQtOTdjMy05NmVhNmNhNmFiOWYiLCJib2R5Ijp7Im1lc3NhZ2UiOiJtZXNhZ2UiLCJzY29wZSI6W3siaWQiOjEsImNpcmN1aXRJZCI6ImNyZWRlbnRpYWxBdG9taWNRdWVyeVYzLWJldGEuMSIsInByb29mIjp7InBpX2EiOlsiMTc1MjA1NTA0OTU1MTY2NTgxNjk5Mjk3MjEzNjMyMzk3MTAyOTI2Mjg1MDU1NDIzNzYxNzE2NzMyOTg1NDAzNzc1MzYzOTY3Mjc0OTYiLCIxMTM3OTYyNjU0NDY5NDU0MzY1NTA2MjMyODM3OTE2ODY3OTk5MzE3NjkyMjQ1MTAzNzY1NTI5MjU5NTczMzcwNjkyNTc1MzQ0NTE0NCIsIjEiXSwicGlfYiI6W1siMjExMDk2ODIzNjkxMTA0NjIxNjYwOTAzNzk0NzM0MDMwNTM2NDE2NDU2NTA5NDU4NDQxNTMyNTk1MTEyMTc0NTY0NDc1MTc1NjMzNTIiLCIxMjM5MzQ1MTMwNzI1NDYzMzgxNDExNjczODU4NTAzOTkxNjk4Mjg1MDI5MzI1NjkxNTk3NTY3NzA5MTQ1Mzg1NzMzNjg4MzUyNzkzOCJdLFsiMTMxMTAyNzEyMTg3NjcwNTk1MDkzOTIwNjY0NDA0NjUxMjg1MzQyNjM4MzA3MzA4MzQzMDgyNzY2MzYwNTc1Mjk1NDE2NzE2OTMzMjUiLCIyMDM1MTE2NDM1ODU0ODkyMjcyMjExOTA3MTIwOTU4MjczMTU5OTk2NjYxNzkxNDQwNzYxOTM4NDU3MTg5MjAwMDQwNjUwODIxNzQ1OCJdLFsiMSIsIjAiXV0sInBpX2MiOlsiNTkwMjkwNzM5MjYzNjQzMzE1MzY1MjUxNjYzODA2NjQwOTE2MjEzNTg3NDQ0OTM3MDUyOTc4NTc3MTcxMDE0NzI1NDI5NjIwMzc0NiIsIjE4Mjk4MTM3NjQ1MzU0NTAxODg3ODU1NjcyMjcyMjgxNjc5MzEwMjE3MDI3MzYyMDQwMzcxNjQ3MzQ0MjM2Mzc0Njc0NzUyNTA4OTQ5IiwiMSJdLCJwcm90b2NvbCI6Imdyb3RoMTYiLCJjdXJ2ZSI6ImJuMTI4In0sInB1Yl9zaWduYWxzIjpbIjAiLCIyMTU2ODIyNTQ2OTg4OTQ1ODMwNTkxNDg0MTQ5MDE3NTI4MDA5MzU1NTAxNTA3MTMyOTc4NzM3NTY0MTQzMTI2MjUwOTIwODA2NSIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIwIiwiMCIsIjAiLCIxIiwiMSIsIjI1MTkxNjQxNjM0ODUzODc1MjA3MDE4MzgxMjkwNDA5MzE3ODYwMTUxNTUxMzM2MTMzNTk3MjY3MDYxNzE1NjQzNjAzMDk2MDY1IiwiMSIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIxNzA4OTUxOTczIiwiMTk4Mjg1NzI2NTEwNjg4MjAwMzM1MjA3MjczODM2MTIzMzM4Njk5IiwiMCIsIjMiLCIxIiwiOTkiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIxIiwiMjUxOTE2NDE2MzQ4NTM4NzUyMDcwMTgzODEyOTA0MDkzMTc4NjAxNTE1NTEzMzYxMzM1OTcyNjcwNjE3MTU2NDM2MDMwOTYwNjUiLCIwIl19LHsiaWQiOjIsImNpcmN1aXRJZCI6ImxpbmtlZE11bHRpUXVlcnkxMC1iZXRhLjEiLCJwcm9vZiI6eyJwaV9hIjpbIjE0MTUyODgyMDY3NjY5MzY3ODU4OTQ4MjM3MTg1NTE4NTA0ODQ2NTc5NjgyOTM1NjQyNzc3NTEyMTc1NTg3ODQ1MzE0MDM0MzQ1ODk2IiwiNTQ3MzcxMjc3ODQxMzk0NjI5NjYxNDU2MTgxODQ1NjI2MDU5Njg1MTU0MjIwMTEwMjI0MDY4ODY5NzE4OTA4MzQwMzkzMzc3Mjk4OSIsIjEiXSwicGlfYiI6W1siMTIxMzI5MTg2MTM5MzcxMDAwNDM0MTgyODg1NjY1Mzc3OTIxMjk4NTQ0MDAwODcxODM2MjUwNjIzOTU5ODc2Mjk2MDI0MzIzMjY5MDAiLCIxNjk0MDQ1NTY0OTc5NDAyNjAxNjc4ODg3NDk3OTA2NDI5ODg3MzEyOTkzNjgzODAzNTM1OTI0NjE0NzIzMDY2NDA5ODU4NDU0NzEzMyJdLFsiNTMzODg3MTYwMTU0NDYwOTc2MTcwNTczMjgzNzY3OTU4MjQ1OTc3MTM1NTA2NDA5NzQwMzg0OTY5OTA1ODM3NTA1MzE5MjY3ODQ5OSIsIjkzMjAxMjM3MTkwODEzNTE5MTI3MDQzMzY3MjQyNjk5ODMwOTI5MDE0ODU4MDA5NTU3NDY4NDcxMzk2NTE0NzA1NDEwMTg2MDUyOTIiXSxbIjEiLCIwIl1dLCJwaV9jIjpbIjExNTI5ODA2MjIxODkxMzI2NzA5NTU5NzIwODI1NTIwNzc2OTAyNzQ2NTcyNjA4NzY3NTk3NDE2OTQ2MzcxODg1MzIwMjc5ODEwMjgzIiwiMTA0Mjc4Nzc3NjAxNzYwNDg1MDQzOTQwMTM5ODY2MTQwMDg2NTc1NzYwMTA0NjIxNTYwODMzNjE4Njc5NzMxMTI1OTY1NTY4MTk5OCIsIjEiXSwicHJvdG9jb2wiOiJncm90aDE2IiwiY3VydmUiOiJibjEyOCJ9LCJwdWJfc2lnbmFscyI6WyI4MjU5MjM1MzQxNzE5Njk0Njg0OTQ5OTg4NjU3ODM4MTE2MTc2MjA3NDUxNTYxODE4MTg2MTA1NzUyNjE3ODg5NTAyNTYyOTgwNDczIiwiMSIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIyMTI0NTM0ODc5MTE4ODI1ODk4ODM0NTY2MjE0MDI3MDg2MTM3MTU3OTg2MzE1MzcwODkwOTY2MTEwMDEzMTU1NDU3NDkwNzc0NTg3MCIsIjIxMjIzMTQ2OTcwNzcyMzMyOTUyNTQ5ODQ3ODM2Nzc4MzU2MTEwNzM2ODE5OTMxNTM4MDgxOTcxNzU3NjYwNzk4NTU5NTkwNDM2NTQ0IiwiMTE0OTQzNDY2Mjg0MjU5Nzc0MzE5MDYyMzAyNjg5NDc1NTExMDUyNTQ0MzUwNzQ5NzE1MzE1NTYwODk3MTk5MDE5NjQ0MjI0NTUwNjQiLCIxMzIzMDY1MzM3NTQxNzUwMjkwNzgyNTMyNzQ1MzgwOTY0MDY0NDc3NDE4OTg4NDE3OTg5MjIyNDAwMDQ3OTU3MTI5Mzc1Mzc5MTU2IiwiMTMyMzA2NTMzNzU0MTc1MDI5MDc4MjUzMjc0NTM4MDk2NDA2NDQ3NzQxODk4ODQxNzk4OTIyMjQwMDA0Nzk1NzEyOTM3NTM3OTE1NiIsIjEzMjMwNjUzMzc1NDE3NTAyOTA3ODI1MzI3NDUzODA5NjQwNjQ0Nzc0MTg5ODg0MTc5ODkyMjI0MDAwNDc5NTcxMjkzNzUzNzkxNTYiLCIxMzIzMDY1MzM3NTQxNzUwMjkwNzgyNTMyNzQ1MzgwOTY0MDY0NDc3NDE4OTg4NDE3OTg5MjIyNDAwMDQ3OTU3MTI5Mzc1Mzc5MTU2IiwiMTMyMzA2NTMzNzU0MTc1MDI5MDc4MjUzMjc0NTM4MDk2NDA2NDQ3NzQxODk4ODQxNzk4OTIyMjQwMDA0Nzk1NzEyOTM3NTM3OTE1NiIsIjEzMjMwNjUzMzc1NDE3NTAyOTA3ODI1MzI3NDUzODA5NjQwNjQ0Nzc0MTg5ODg0MTc5ODkyMjI0MDAwNDc5NTcxMjkzNzUzNzkxNTYiLCIxMzIzMDY1MzM3NTQxNzUwMjkwNzgyNTMyNzQ1MzgwOTY0MDY0NDc3NDE4OTg4NDE3OTg5MjIyNDAwMDQ3OTU3MTI5Mzc1Mzc5MTU2IiwiMSIsIjEiLCIxIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCJdfSx7ImlkIjozLCJjaXJjdWl0SWQiOiJjcmVkZW50aWFsQXRvbWljUXVlcnlWMy1iZXRhLjEiLCJwcm9vZiI6eyJwaV9hIjpbIjE2ODIwMjA4NDM0OTkyMTc5NjIxNDk5NDkzNzAyOTg4MTU0NTgzMDc1NDUwMjAyOTA4MDI2MTM3NzY2NTkxMjY3NzYyMTIxMjQyODgyIiwiMTQzODYyODYyMjUxMTk4MTgxOTkyMTkwMjE3MDY1ODY0NDc1MzcyMDM3MzIzNzk2Mzc1MDcyODY0MjQzODU4OTc5MzczOTI3NDcwMTYiLCIxIl0sInBpX2IiOltbIjExNDE2ODMyOTcwMzQ2NTc4ODI3MzY4OTU4NzY3NTQ0ODczMjg1NTMxMzM2NzIxOTQ3NDY4NTEwODkyMTI0NTIwODIwOTYzNTk4Njk4IiwiODgzNzMzNTY0MzE2NjMwMzg2MzQ2NTQwNDkwMDczMDAzOTQwMDA3MjU1OTQwODIwOTI5NDQzMzkwOTk1MzMyODMzODAzMTkxMDc5Il0sWyIxNzE2OTQ4NjU4ODM4NTgzMzQ2MzY1ODYzOTg4MDkxNjYxODgxMjg0MzA4Njc4MzU1NDIzNjI5MTUwOTI0NTY4ODg4NTc5OTk2NzM2NCIsIjE4NDQ1Njc5Mzk0MDU5ODI4OTc3OTA4ODg4MzM5MTA5ODY0NDM1OTcxNDc4NDcxOTk0NTI2NTE0MDA0Nzc3NDc5NjgxMzAzMTc4MTE5Il0sWyIxIiwiMCJdXSwicGlfYyI6WyI4MTk4MTc1NjkxMDAxNjYwNTQxOTY1NzEwMDQ0NTc3MzYyMTgyNTI0OTQ0ODY1MTIwOTUwNDkxMTUyNjg3MTM4Nzc0ODczMDA2NjM0IiwiMTQ1Mjc2NjY1MzQ4NDAxNTc3NDQxNzg0OTMyODQ0MTM0OTEzMDQwMjAwOTQ1MzQ1MTM0NTQ0NDg1ODA0MTY5MzMzMDc3OTMwNDM4MzkiLCIxIl0sInByb3RvY29sIjoiZ3JvdGgxNiIsImN1cnZlIjoiYm4xMjgifSwicHViX3NpZ25hbHMiOlsiMSIsIjIxNTY4MjI1NDY5ODg5NDU4MzA1OTE0ODQxNDkwMTc1MjgwMDkzNTU1MDE1MDcxMzI5Nzg3Mzc1NjQxNDMxMjYyNTA5MjA4MDY1IiwiNDQ4NzM4NjMzMjQ3OTQ4OTE1ODAwMzU5Nzg0NDk5MDQ4Nzk4NDkyNTQ3MTgxMzkwNzQ2MjQ4MzkwNzA1NDQyNTc1OTU2NDE3NTM0MSIsIjgyNTkyMzUzNDE3MTk2OTQ2ODQ5NDk5ODg2NTc4MzgxMTYxNzYyMDc0NTE1NjE4MTgxODYxMDU3NTI2MTc4ODk1MDI1NjI5ODA0NzMiLCIyMTA1MTgxNjQzNzcxMTk5ODAxNzI0OTA1MDQ0NDI0NDcyNzgwNjg2MTAyNTcwNzgwNDg5NzgxMzk1MTg0MjI4NjY5MDM4MjQ3MjkyNyIsIjAiLCIxIiwiMyIsIjI1MTkxNjQxNjM0ODUzODc1MjA3MDE4MzgxMjkwNDA5MzE3ODYwMTUxNTUxMzM2MTMzNTk3MjY3MDYxNzE1NjQzNjAzMDk2MDY1IiwiMCIsIjQ0ODczODYzMzI0Nzk0ODkxNTgwMDM1OTc4NDQ5OTA0ODc5ODQ5MjU0NzE4MTM5MDc0NjI0ODM5MDcwNTQ0MjU3NTk1NjQxNzUzNDEiLCIxNzA4OTUxOTg5IiwiMjE5NTc4NjE3MDY0NTQwMDE2MjM0MTYxNjQwMzc1NzU1ODY1NDEyIiwiMTI5NjM1MTc1ODI2OTA2MTE3MzMxNzEwNTA0MTk2ODA2NzA3NzQ1MTkxNDM4NjA4NjIyMjkzMTUxNjE5OTE5NDk1OTg2OTQ2Mzg4MiIsIjAiLCIxIiwiMTcwMjI1MjgwMDAwMDAwMDAwMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjAiLCIwIiwiMCIsIjEiLCIyNTE5MTY0MTYzNDg1Mzg3NTIwNzAxODM4MTI5MDQwOTMxNzg2MDE1MTU1MTMzNjEzMzU5NzI2NzA2MTcxNTY0MzYwMzA5NjA2NSIsIjEyMzQ1Il19XX0sImZyb20iOiJkaWQ6aWRlbjM6cG9seWdvbjptdW1iYWk6d3V3NXR5ZFo3QUFkM2Vmd0VxUHBybnFqaU5IUjI0anFydVNQS21WMVYiLCJ0byI6ImRpZDppZGVuMzpwb2x5Z29uOm11bWJhaTp3em9rdlo2a01vb2NLSnVTYmZ0ZFp4VEQ2cXZheUdwSmIzbTRGVlh0aCJ9.eyJwcm9vZiI6eyJwaV9hIjpbIjE4ODMyMjk4MzQyMDkyOTY1ODc4NTM3NzcyNzYwMzU2MDUyMzU2MzU4MzMxOTA4MjA2Mzc4NjI3MTEyNjkyMjY3NDU1ODMzNTI3MDE4IiwiMTc2MzUzMDUwMTU1Nzg5OTk0MTgxNjIwODQwNTY5MTk3NDE3ODk5NTcwMzQxNTEwOTk3MDkyMzMzMTg0MTI2MjA0OTU5MDAxNTc0NDYiLCIxIl0sInBpX2IiOltbIjY0MTUzNzA5MDMxNjAzOTQ4NTgwNjMwOTY2OTQyNjUxNjU0NTA1NTAzMTUzNTQ1ODY0NjM0Nzg1NzYyNzYzOTAzNjkzMDc0MjAxNjciLCI5MTY5OTg3NDI5MjQ5MzYzMzI2NDk2Mzk1ODE5NDQwMTIyNTI4MjE3NDI2MTYwNTkzNzk5MTA0Njg4MzI4MTY1MzM2ODYxMzM4MzY1Il0sWyIxMDM0NTEyODk0NzAzMzkxMzc2MzQxNzc2OTI2Mzc4OTI4MTAyMzA4NjcwMzI0MDA3NjMzNDQ3NjUyNjE5NDY4MDUwNzAwNzQ3NzAyMyIsIjU2NTcxNzQyNTU3Mjc3Mzg3NjU4MTM2MTQ2MzQ2NjAyMjM5NTMxOTc5ODcxOTk0MDEyMTA4MDE2NDcyNzM0OTIyODMyNjk5ODA0MjUiXSxbIjEiLCIwIl1dLCJwaV9jIjpbIjg2MDIzODk3Mjg1MTMxMzk2NDM2MzY2ODAzNzQyMTI2Nzg4ODMxMDgxNzg2MTExNTQ4ODM5MjMzODQ2NDg4NDgzODk2NDM2NDM4NCIsIjE4NzQ4ODg3MjA4MDE5MDE0NjAyMTg3OTE1OTYzODczOTI4MTQ2MjcyNTQ1MjY1MzExMjQ1NTM1MjgzNjE0MTcyMTg3OTMxMjI1Mzc1IiwiMSJdLCJwcm90b2NvbCI6Imdyb3RoMTYiLCJjdXJ2ZSI6ImJuMTI4In0sInB1Yl9zaWduYWxzIjpbIjIxNTY4MjI1NDY5ODg5NDU4MzA1OTE0ODQxNDkwMTc1MjgwMDkzNTU1MDE1MDcxMzI5Nzg3Mzc1NjQxNDMxMjYyNTA5MjA4MDY1IiwiMTk0ODc2NjY4MTI2MTU2Mjk5NDkwMjM5MzQxNDUyMTMzMTA1NDU2ODc2MDc4OTYwNTA5NTM0NzY3Mzk0NDYwMTM3ODU2ODQ4OTUwMSIsIjAiXX0" returnMsg, err := authInstance.FullVerify(context.Background(), tokenString, request, pubsignals.WithAcceptedProofGenerationDelay(proofGenerationDelay)) require.Nil(t, err) require.NotNil(t, returnMsg) diff --git a/pubsignals/common.go b/pubsignals/common.go index ed7c333..d494320 100644 --- a/pubsignals/common.go +++ b/pubsignals/common.go @@ -263,16 +263,16 @@ func CalculateQueryHash( claimPathKey *big.Int, isMerklized bool, ) (*big.Int, error) { - claimPathNotExists := new(big.Int) + claimPathNotExists := big.NewInt(0) if operator == circuits.EXISTS && values[0].Cmp(new(big.Int)) == 0 { claimPathNotExists.SetInt64(1) } - merklized := new(big.Int) + merklized := big.NewInt(0) if isMerklized { merklized.SetInt64(1) } - valArrSize := new(big.Int).SetInt64(int64(len(values))) + valArrSize := big.NewInt(int64(len(values))) circuitValues, err := circuits.PrepareCircuitArrayValues(values, 64) if err != nil { return nil, err diff --git a/pubsignals/linkedMultiQuery.go b/pubsignals/linkedMultiQuery.go index 3610d72..ac6bc01 100644 --- a/pubsignals/linkedMultiQuery.go +++ b/pubsignals/linkedMultiQuery.go @@ -67,12 +67,28 @@ func (c *LinkedMultiQuery) VerifyQuery( }{OperatorOutput: c.OperatorOutput[i], QueryHash: q} } + merklized := false + if len(queriesMetadata) > 0 && queriesMetadata[0].MerklizedSchema { + merklized = true + } for i := 0; i < circuits.LinkedMultiQueryLength; i++ { if i >= len(queriesMetadata) { + queryHash, err := CalculateQueryHash( + []*big.Int{}, + schemaHash.BigInt(), + 0, + 0, + big.NewInt(0), + merklized) + + if err != nil { + return outputs, err + } + requests = append(requests, struct { QueryMetadata *QueryMetadata QueryHash *big.Int - }{QueryMetadata: nil, QueryHash: big.NewInt(0)}) + }{QueryMetadata: nil, QueryHash: queryHash}) continue } @@ -82,7 +98,7 @@ func (c *LinkedMultiQuery) VerifyQuery( queriesMetadata[i].SlotIndex, queriesMetadata[i].Operator, queriesMetadata[i].ClaimPathKey, - queriesMetadata[i].MerklizedSchema) + merklized) if err != nil { return outputs, err diff --git a/testdata/credentialAtomicQueryV3-beta.1.json b/testdata/credentialAtomicQueryV3-beta.1.json index 59456d5..5ebc6ed 100644 --- a/testdata/credentialAtomicQueryV3-beta.1.json +++ b/testdata/credentialAtomicQueryV3-beta.1.json @@ -1,7 +1,7 @@ { "protocol": "groth16", "curve": "bn128", - "nPublic": 84, + "nPublic": 83, "vk_alpha_1": [ "20491192805390485299153009773594534940189261866228447918068658471970481763042", "9383485363053290200918347156157836566562967994039712273449902621266178545958", @@ -37,12 +37,12 @@ ], "vk_delta_2": [ [ - "10729243144289744371368213381034680824634599630788479548053435007042835123281", - "18658907411371413311593718422564880643072679949733292112852456007335449620344" + "5862164748845614691079517708929478460375019636889136987196087744107069469735", + "10047809958860274071369284386721831439618369068458490781402054200237955601235" ], [ - "17574335598675158733115470643670990046632100690669199632116987956507708029694", - "14896140260503400446775513885849138616893167238195708699287771580968922812864" + "11253081787612437909651136726910498599873617497903925204117838018686852020723", + "1007498474424273240370457315526228277015768136769351457095067009557880079057" ], [ "1", @@ -81,428 +81,423 @@ ], "IC": [ [ - "6594194479822511146939108708757278069677346992303820858902244723288398847764", - "7069959902698630695666329632264053650040983273643930386857871311841678616867", + "18239353154347836186554835171193299418775032438322972746401909316672054664076", + "15615533126787930719888935703471255380986055663395981996704226408419262795838", "1" ], [ - "20094915481361705417707539352074390304210249480909930665574457952665152695445", - "11868416734662405591831268318618739649261668256323337939645465132956732686681", + "19878512571441012219246807542416020830416472016285463353748059506370963304797", + "5061939924141304777594567221133308474867112307779545261299875885747427412201", "1" ], [ - "19720815224047498447451664702114998070483473816671328346080306869206203060185", - "11564066493726694262341940666049560059168602037462715071339451192642849119061", + "12438809156070977404111417187825143164003122345158263931503485538835458332224", + "5679641333246470503581546163998202630428933838845722284417604682885852969662", "1" ], [ - "12400709533269026823034472162976644220385632866882940746630467954334997815287", - "7391425466486209065385392326329761544853272571424300478349544634313413153283", + "18073144218132736711346466775159921471388476838176602280378026913047629574949", + "14002963129798492062524047381088892591444356768764387116074095147489001683239", "1" ], [ - "1885839819949985004621009429664891072980601287413304626784630162495032494541", - "15436426720685355059568612562277362266573707704138273201547129451927618857290", + "18534798636461553742638649703809430804664556574786048386728512104189235802806", + "11707308747371521650017944099996832639054126961487105310020949046254760720771", "1" ], [ - "4992033002480141682647399230473215128023819185045606639271807517722697964434", - "3909475110397330106722310809782182956322979621063070482506443347292134411135", + "3022457069402029262298156782678920054381114105819112402345423820374305583100", + "18787869784560855546874107443521164939098172824408467456779390280473326670056", "1" ], [ - "12070766796965103746250744315161690785470316129996617099248704566849493940443", - "8971262517680870208285157624618385523010923213255973881679028160819424376338", + "7011762609598945476525979205387448687922631332412215877929685096165226213349", + "11320927197754275225374735636231760494381743431021874802503581026661969756058", "1" ], [ - "306856520589637606932421801432633573156193240722041811570203650669480713697", - "5611720649678568201811827971455335062218606722942393184569027366723568271810", + "386160035214721475354398253020632870366645545280134140150221392567974924140", + "4186886544342292295746667461865005486284011469390157930956218047077904391203", "1" ], [ - "9182499594945120514815383476811126999006924553798864816093021241730690447364", - "17348800111045015932786890673077133660736097039287135156759116234711354495534", + "4398705943361817277330973611954307951897349785100034094364580128073010053120", + "5857206056633693115006170989533561250427285721079254003424753203960106247240", "1" ], [ - "15888525441797832366973248503959157374100197607980741381359597778057397840846", - "7332273901459159634110712906742439689525997809719715871468981602704231046963", + "6889674185092693392119397308563507957842202378847273730351099062809410315192", + "11174875219161818311801855208678954202349201948779259225805537199738234078986", "1" ], [ - "6283241855843030093849436966684036704416379484508806905702468960511653152233", - "17754188422090992685634148123929036152504716817550186984378122441917387023474", + "14452116785767766271684916857528683293837277340132647055145972742776199721039", + "7434288452622248126253755699718516724849005156815737237411567585914406186916", "1" ], [ - "1998473973291256856522898601338186797550624957042555731290511821268126766159", - "8710062972485309014186886126380845854243263246212290690500770211403180274935", + "10120366778302764842510625585686420059941420974148935991538921215136524175919", + "13944675651178037315020911245738253694656473961350380197777381318324438402404", "1" ], [ - "20546541724806454681235965642763182216675651995971220684464443215103808081352", - "8136561969476144502857614185231220284340887228551003494802610734616379378783", + "18826976615022165830450497209140610826532666013265839371646474122203257319054", + "11032472506557335620216674017975957015568678653241422826426315833928321926086", "1" ], [ - "11357680737403639433532646552937064353812647466088743883744643294541947026059", - "21342266728155476642030951944709238802509809897163785751551002104412672857972", + "8432537121833114206325892380064967829502708569653685549089848617324909744342", + "8750471323059086455786480093133552344380915669315350385583485702603717208228", "1" ], [ - "21175028777073337848995947677294613794321675266999786239289426792260708524163", - "16105878550976192726525286168043755683965241287950334841749122427618966679788", + "16057177946502099775714839349799312833142507840979341280477781000894696535040", + "1434539253722871666218028706382229628229752927192071455535745035892387268403", "1" ], [ - "1212857613423191529734290173733252636442982900944083073305569687086167027158", - "7187988617485704027264370746551854429686905428031635585200780644853208535276", + "6213175264773214034056931603859962088292482197427036468369749947510182370363", + "20313291844990434231865348490423546525254280429964411319990395270388508795608", "1" ], [ - "9364167078591691945909075413629331943242093499042451828997438182218469793878", - "593788985924718010589372380862883948351200294696966613764012999013013967609", + "20768762624416895787792968403428123848851845749011051090574781818125422904375", + "7171682754323163409655291073083429622995568241661922865262435603565788295488", "1" ], [ - "18564360059671845993781271744745553456592508037392930042894264367323294810196", - "14693998262567232369841114206106986667160857615433614686848849226143169366973", + "16349525970366623128981812750898002192666154185524045813125052568903892691925", + "2155279245296538362847541525900289873071939559903352731026661122016425327894", "1" ], [ - "11783441267896708002924956473243153977696129166324995889812525099535673881718", - "12244935100669201406738838087869822998321915566510106955527647906934092828997", + "2281391793040172064833143048892632917349034844098656366541314040375368751610", + "15875007285751019654015473639840936522500082966778801084640805476467935269317", "1" ], [ - "20672491988858174771409930335621825234177271903897615673659123208692894287013", - "16424983484209878975223035026723173970563733951763066571569149167068128534077", + "7453722136408738310323669240971337608843255656304412654672984452618109682355", + "4354088326358845891606602290757885070138871950493164059401472785531462988306", "1" ], [ - "3867163449306523012807113256991295368839856756560127717502154241638701499449", - "9312756427241636163051033198734956175461066126680850930181887680402478684431", + "7448764049504927364453789443773642482516185879875012230351557423305583832066", + "6258740657000568034398824186975996102909325783610059368130857367780920995410", "1" ], [ - "19304739255814497529114402744625869925841530097158859143843043795222301979288", - "14103252721347926780538604070885111641058786528415701267038130239123881022154", + "8439579401565316743316289001851345069366890115094526078441218871850435521954", + "15138987186609619370119238345617754130129736014168802861161274004190822710903", "1" ], [ - "257343895731652470886913034360797198324245009989825709035685026351950301070", - "20755990841715770938449397464472296081137072181771492793288802175275781060856", + "15895327443749844011167068163717632012488634495109371581353745454317962672690", + "17115204736226824401844063601296649435395709625177681691631311378167437496371", "1" ], [ - "15704345533688942297972707732563239652734017178200764156124890636935656187537", - "5944110604860602647110684179861288554715190422857574582431723580717872456737", + "2991165727702424143424384101734520475182511153717349985538795727179935067135", + "13587534150260686835273470289962924641114687458615348718059021989505196097133", "1" ], [ - "18784917012770754033761478920776526959629675386526387104269040220320331115388", - "2467465961070636691421249347801548898102127851082062935147512216607527689249", + "17294762675718129604983582719293975384759582586117827846376319402973982784723", + "617805729706128268428717841803308778385922936035597648474242439503837398306", "1" ], [ - "20094737777678412181824034359978321521959658490859423747496916503214684628946", - "12153241919707307318589380593342040359970030792660775906968604040894962536636", + "12744169025633101492586419987465321129171224706414107061747637577234566593147", + "2280089346717053762067316028151415440505520262148904436185143464645986908737", "1" ], [ - "9123997339708576187834345576427709399041017053644902991453655616049356684355", - "19394686849755693095881157838067878228859698790065846606092169207420010991337", + "12227331914844120598310227574654986652011364430082957706470765752018737304094", + "19451235583649310365415167758107665431078188469878227289571681770368199301472", "1" ], [ - "17915903457771021414076846157093641685607477195792446304095767237841806908650", - "12598062809030629664520487116386607602427766993716906484666158424686283171739", + "6784732161315252495343319083825714285146877784723443520309365897602171103710", + "15356105536887186302218284971785387377614213249444065074704936314231223011335", "1" ], [ - "13679196518591227631777834768730884503750034364747633131936805402928066354917", - "8306076259184769722610546497657929521301622321712946820038004737706777514461", + "19067221309780667611438078506970194010367520270389720757958394904119493707163", + "2611845287157357094667702414124017402279683416107035058610156850143623868451", "1" ], [ - "19760410084936771887930386071044408970871599142026350326357762575837543761408", - "21205720641903929033189684746164368738410587251585357868814603043871738230267", + "2840701609835033417754228589766651131638921055996110775923004357322078520129", + "6919738704217142556504391483364855702931219307821432800525840746277786015340", "1" ], [ - "5417792514581505474898202248126249708344930103746742961256373035832302064870", - "21270294055202955975853501396408234352593322207512556777193791698731466829819", + "10359099225639910502096272095803636178911469220256309419809914321308545613381", + "7417672690347401061968539767213557517591743063795176531457789955503478310043", "1" ], [ - "461075501633271215501965982844581912890127483093276162216438539697623119526", - "13629702041336492485894837420924448090548022779270758361589416940067782025369", + "20078338675360835447588854004893268823417897173295490346675853648429032763496", + "21855517513162555818289222449005070372634314563131367351772066251939742442373", "1" ], [ - "14727011145209127919995353287873659836173598145277843368176628131300748362904", - "6997453912978032202037986219823241905989618212313597445729487214677681338152", + "12331978064504100553625965157450045054832595361759184184431104106077094505712", + "11954150620421042310886928590572144083570562234051815476584140785513446266011", "1" ], [ - "11200545697902259330271822462509866050848699092758208069614101461451737235585", - "1945032434030167697190874362496369828100976760691068232789936528782393057648", + "19009101596708467899753870808086348958367609368378286878561146377131431027893", + "20451717673676248017616986518494872562107523999589348760309809702010008348449", "1" ], [ - "19397192774386202026158147503423934271428027286521143369523393891710921436518", - "2004099892380591940709974621422839918876955869465648618171881414368152363377", + "8664372479728453168672133049069388917823473229952764024600220229459022791547", + "766323982879237011981801922494411682590542317150267047334186328853977096367", "1" ], [ - "12273047268880775060555747550301050647456706678774513684295692982783828119871", - "20468094528444571321873897642687898596842457340972422899584859644893697968669", + "9189692969505592069024743476779915578625153491657469563870878093700212026203", + "21644300231534009091829107176869850199468016533199033895754609980709828810731", "1" ], [ - "12371271164276220253704929730459086859288707208440832160365834662440146601964", - "4128387322144979334343978684283601736857984247083575268897995637501400334626", + "89660633224572600628936688768983950731032869407288124149640258726529952353", + "3774257783237297905463830427299755120972466223798139061597136013663426310412", "1" ], [ - "14568531523648142112387339781069899434809690127971560804664646730404118537942", - "14854531945633339644787162378450263582958750832827651211503354883149519952017", + "5126697316988531488033375605723262622092710228992214724497319729659311535072", + "5590916670788638089857890146962306139550623676325858369326450249491763217657", "1" ], [ - "17974963774871455308674135088499763130231384053532398970566205291642191061260", - "1476048522325412905125330854459559579339279067646890639719743009433024576609", + "11778829591420208090975474501258819244870961926933347328000167413376137767759", + "5010140230428825888384060370567366241389401418225249632435098923650257339327", "1" ], [ - "20956953145854215138964976323816925713201948138830713810340227716226406067214", - "20054085080923139893065614143316872297103780690444969426655546482417189712812", + "6022542543378262453850155715429174069512334030882649699376974775005422878072", + "13572598893459894477235376352661615935449272601995794914767538468864348042878", "1" ], [ - "13396603843608311713372064358990991396343954777107852511473790107857044336325", - "2801567494834475592527517389835951184729310464182698350921922306578066222840", + "21388972996450309176748694405584182983250130400042137381443671745279024481698", + "20062031565841659916635555021588208654228123922440869892080359491776221013843", "1" ], [ - "17032890485413026938509793512647656217681118298038760107596444959882444029892", - "776971433850810664671579984262438478227393959104810178639676915248052306692", + "19734227909570516702807122322206587254687029253079551774762091803390161506961", + "681986493962635579392382690113326115069858060910672581492115682729289478124", "1" ], [ - "1968001467240355852364340441772680227294221459504772209962006087777032105875", - "20646700579120432484015638360715687096653810785010954837179199029971849672505", + "9200580794218245157126967504822472757509781105407804519636114919000741621668", + "15135761122103016002177913515341087760640028830770743105507493957126231478976", "1" ], [ - "16831578631359640912985579525735550793155947320666569042703921720176965869457", - "10034923492813812012444532599252441411433338982617051868752880962597409730765", + "18856579747709085713856819722949972689605910717198816195290888686651009773949", + "232988265941073568292447639556566139681043189425388343195026815018544529067", "1" ], [ - "12561555692261609778966970875831407410950886002777331670328136404388938764873", - "11135354979914477280082840580966101540439467995190003310142953158490453627115", + "14761900845141026076771033498570435959458681152104433981119275984627296440932", + "17018038005248294088517430515231643986017139228765836605414975368496695785717", "1" ], [ - "1249895149227135242024864753284153225008074487812762259215039549460127012032", - "15911522600472609348434320823728612902629172684541168115633024324387144599011", + "11910656237786083037570680241143355946626516133346407814223576677447852766610", + "701214230390539906278006468804624405146037203046999027256131032380758735842", "1" ], [ - "16910702050390493918874003646496281558356598565218529670879500914454516574923", - "4845993127198358141017299745130518881591563528237019443240924395706551497097", + "10347712764556003360795117578897137041699648533665924027438530294152514661314", + "4379921823541186022313843845473220123979561834853938230169666990127296374902", "1" ], [ - "2146073430636968637765064852200515703706160166644577521398606894075045132143", - "14513424768664176015324747369714500094199978606379386254087959869250666041677", + "9444403493598931780920248225729490387387141667079895010901870307261502590594", + "17464343728387046512624822507639313942056499206666669955552714204314985485964", "1" ], [ - "16515389189048846336449674408913388338137632475561335715107346599137827483448", - "10309066840788808766478105739182605989651936483543858226625282911451694822562", + "11493823684733503352812192344403927533019617423736336883802250158400355464766", + "10023274159913984919715222370472761901601460389216133024102178624257538067836", "1" ], [ - "13498838648450312567586118097327146137728435351364254676688817600863031269807", - "20216402897042557132418323156057600844965654896031497363088521386027799006852", + "14226737153616292698463817137737257219016889713663725394115355081265620365070", + "9973700538399968151164253588229839129428933332651056979073492214640177455671", "1" ], [ - "6486879774754287788206671975832234147347153177574723483975553344581990410470", - "13781483683432962788616201222918664420105875240447962713996184825740639974580", + "18927300500223384660640429762440315671020498908185375401335979148525594164843", + "2605531767555611573473449906559763110585838109851428260767098273966699204927", "1" ], [ - "19064150339261817582928423533893715145042165837583000393407153655824036608700", - "11060645088742470863581718433884028210319833233993057616780807942723898236884", + "21017581870374547719994338465376521874601777226443967936097528421044856575203", + "17459132379050552655807164583803405574954063325840444872409716789994918816913", "1" ], [ - "7639870887112899073179131596468815097551714059502268872999069360736550813456", - "12650086861804977686760168366643482547639880738340496925676569908083981884392", + "7425082530601384675791717246251406613213163395883397462891188109520570715901", + "16741770663444218713973668765632100793322184002827332234721855671274315378070", "1" ], [ - "21116144263809792543530296186077508798122331410701813401531768334682080801317", - "1783228357851491913322160677911625177214139021171722160161936129693102289822", + "6471483517525717877634802310872360734275764904481500028592175357087648329821", + "20854570163330459854378789523718027284142444795206352973423173528443694070756", "1" ], [ - "19988202471056377887080701044345932563379281067514076870045896630276562825300", - "21426225317004493486749157284937059322863355565699736248623278179403130356505", + "8605932636720342809751285592720485518111384511268989464107339910227555831", + "13234152652165763308064993697322242668963045110699314388995736667316525691405", "1" ], [ - "14796584158180013394094140081359102467925296606265496636009989413078056939229", - "5036927608164402064180766108310273985757714148075897901343348542360315178912", + "5237765526026076750234736048582765558556845019601847768525588835602093277031", + "8000257275021875741659923323678171790832667615152381197834498743383456239664", "1" ], [ - "4649343074306972547159056007924082080308756571628440114908139249760924634433", - "5032560969744049152187005347211299395145813348460408484334124147632494445229", + "13812796115910399661315433815694757126161285042034484676239437907853011432439", + "4007752349979882941076118024433034696648613512549248919900497652254282628983", "1" ], [ - "13749355769086680649175338110535228439174847582325690597194043463458233437276", - "4424038138983831476676812937637396715359161784524504173733052172618126356067", + "16269975517230082942942874032722978666721495014576223987965815458191427886814", + "15664269474269202846861126973485752503970772635324608588791264252164737968429", "1" ], [ - "16638773120745393198912447550898264588952033211732200588131344489408035836053", - "7555814787261916436283087404064861656531777268274785862325445981094046516402", + "1588381649297302605422151733486289132885277826084733169737487113260258956690", + "11176581746238165463525446618553987007043913522395937545030844732469938788229", "1" ], [ - "15038048884448202571696130091540568422918569201540228546986814635581637397658", - "20789270130842037703427596017330992964331163635933871486159196660070855281293", + "536199898832456082949264577114310661478725537867891585113670415092557743983", + "6197459186166556105661739697310608667766659169216958989332307885759962912313", "1" ], [ - "7232670517885840408578662823595387951294841247183917442472658061130550102395", - "20746326614200604179819009174003088940023599886213638238813213777366768125459", + "7481212471991367284638227415578749823123337791344782664705707186915476105040", + "13394709610971683628086603442206189658584791112598828377118138724747440332022", "1" ], [ - "19675461801966984951226115112165334500348558281979309095955938095343544952135", - "1658923135991804929127098827826834788035988032341428854715322659763249296287", + "13887213981003795203169820232174584371840380836179725912839508459830647190265", + "21672747736292279381291395308488403033174072447953615702228315012947746001858", "1" ], [ - "7919910685690870202568822290170901321003615224631024909510027293484091300297", - "18466245026913478129125277431746543009913460445725474188377215140926862152356", + "20589574843264118587074997124350391795952827114032507344943505398608042632197", + "19413757448957593664686540727015213641276028268348762779393031509306162754805", "1" ], [ - "5175562733493959010642773392900393981689951236696876952159557219466189179050", - "8881474872488112402265534953567885885901957135168350105297553165066675064851", + "11688304030529808018039353101627583617012169012844744269993491871265640515023", + "20980699447832888785472709446406584959938759958819637707850171432140905879561", "1" ], [ - "11974834892872629316927639217644003129970102894903683479677868769314901723651", - "17333783462360112245288177991111256682036342299250888075994712731282965984016", + "19089228765880071963892930280457851184400834679322656254747131418239734037237", + "3345245592118942867823803816833602530760165566435085732492878807580425875612", "1" ], [ - "20365206231686929830616079720564877968130227507818583203250076338232933403565", - "11342242829898983322692969759017486164805775336770224252281958558381816884696", + "8770073319144351244579707590492763906260246231071672300283818427911402025689", + "18773211662328978002849837226860050308337553578203121037908797901010709918073", "1" ], [ - "2454060649943521428695084039532247334519998971089074468686273700915572273896", - "21326056130459928418480639526324299578841419803747998298747939854649871973181", + "6935925438816115601390363927455022924299151456129762889290747025792978194251", + "18838334811859520665790792202403006769544576815587279327276359108375364703480", "1" ], [ - "13865678193385257091892818327679920131553677563553204426013129205264893728732", - "18660806280714217441376335827026567750765471391640235130492518754707048215373", + "9815038839524143985364940622994204734234128235600589159730342035481668297045", + "21274852391214583211765146822296750439334834030695745240339996494554970680868", "1" ], [ - "10845488562517069962126559224970276236811707474913632991894742533701609159720", - "10805651990661483019004728360768023880034805235428865371125312702023609034861", + "2807254469479444774751696162444816628910466478188169683822458910642040757118", + "17491411551169941056256753982634153126552696068918029606695132339353131118758", "1" ], [ - "7911679723846001277519953001176574756045727224272246816069341156829668627621", - "13147358747766548743587500874031231726087121369131405181657653318595882775467", + "12731382465555173669278608951270913310950637092631135835689156086159313680055", + "21483493863074941553746614075327868763465391555548743049269769998734761948800", "1" ], [ - "14017640589861392335787535149709845640734480510962961304658420253942827846790", - "16416599888066299962183757079211674167172779033853803177015216406578771373450", + "11993161049702802937690599916242727011880328291124367770301617487288358460923", + "5229785043625687661560461704093915514872771924628592931166225026027364604681", "1" ], [ - "18235888641880963920307326554640087175930194630430644211295756741259351914316", - "10360773786168380709975191894862611076270081368856679716893696161964298520515", + "14732059275609122350450453784035256971042070126931760653633152569787666877685", + "11322511742896108292311194862081213172821099629890166600294574487891213015391", "1" ], [ - "541990944093371335531652405967361182382290713202280641498124063780844264107", - "9218036745409143465853277499114500620145844262813242191176944802630462320281", + "13548470786178891157789865624638435115146342861308118536026286620158766942107", + "507585491543451521329552518893937926155621764421610974859591312086748623297", "1" ], [ - "16043183841976930332124912951826662977110627706034537778309171499893869298395", - "8325168630244620650645913281123911213111144728629905327339651437594960452537", + "11530912897704680598805231940645815638342840753942545615755026077239179617503", + "4690341746722796197161036261300501274705770058176118106632832377524861484866", "1" ], [ - "10508259685118305571651586025746882519012969252497893920838731418793200605863", - "4655367708535020793780199345784417578820543087754502153080522789533195087477", + "7507851625531290674019080028736773302572281008920088094044547592615050767700", + "11913952118430854454688702984080728359913481298636852341549079501653409087041", "1" ], [ - "6894820490715242400371967570648199366016748470609804556182949568475800506319", - "20364868434061146814774756469245395614749520567351286899182442169038086074907", + "5623267935895198296645052340636650704729911519977825804582456544156171268834", + "6352211896211862566775759227742582856096080150583312979979040577843197951450", "1" ], [ - "18364083281094747320539265826388553193075472498121000401557420902082606990492", - "11886058057458748606005313942574891662460369583313810487830535337751906027979", + "19088991498644283311720486584644830028660434720010451262780894741546787942055", + "8672947550434850440296879198916237203674807728309412628764274891837075396694", "1" ], [ - "3865517393187102067425712126336268909101481075105201886200960903805784060390", - "5798641286028248113049226192490688489533435112246405776810337651079641621352", + "7227681111073688305455872001607062696727318885689302367132699496852296092421", + "16319430023517570066730001020813821037665468631668075709017764567705740130626", "1" ], [ - "13300635904775252232920511909789925705057779436533878611171352082936463164059", - "405869665012859049260686756028300059580046553066576265210591902750205327086", + "5193232423935280789051762984500442165824800543586116585501568257094688884347", + "11405190753547862859856784965943962173776053746256963944643847590159305210021", "1" ], [ - "21487929305291990978216640597030990422183829826396331681727230537874103865369", - "14857846649605765005218510767050227853492915578936804626489716008113982290463", + "13935825398730035421132781786881167630877321403618116405949904038466559678550", + "20643694933157185160770488981984678468238698552278227065212374729253646468381", "1" ], [ - "20288675294825408866725644878587378247042445869924458208496643321646934786125", - "5542291218570764323676419797673583564876793014448588236125157454395644656351", + "12792457345315678948813354386135428562739325339791718521304650521167120457226", + "6594510211340928120675709868316503303844768017387791131110273082940382922672", "1" ], [ - "19810563171646624880144199720636811292668457185055735421900857231097069845712", - "12561563309533202238888052658105493961617728310426589347189784941763274091028", + "5967586704047682483015557956745657046568745880330827020864913417141176024018", + "17372178369721326435248648517045720442392770731204733117528142204179884091829", "1" ], [ - "8519916322029334631317483656989838414388647993888574913695108183998338336145", - "5477402421478005894331560493494608982940657830469780375101378656904463281361", + "7772488475931112534613576702994520596982744235769001195247203784080201592474", + "16791182037248928435158828142957535254984780816980146685528249041211855923295", "1" ], [ - "9824554485541789853400490482198467777662586184164374625129118992829083238013", - "188201965476956326686650899459124203583946449984424864036040520460550126499", - "1" - ], - [ - "19380194437494204633122437038783676694726757552152439383185129640836778381383", - "1203403864611100975365110622858971524165584640215033606901644917856614654653", + "2034311973489056030033455509824788637594361183297841403161576022457241481616", + "2217248154927952378132208871140855611981846835801532576247897726293625307236", "1" ] ] diff --git a/testdata/linkedMultiQuery10-beta.1.json b/testdata/linkedMultiQuery10-beta.1.json index ad0cac8..80b82c9 100644 --- a/testdata/linkedMultiQuery10-beta.1.json +++ b/testdata/linkedMultiQuery10-beta.1.json @@ -1,7 +1,7 @@ { "protocol": "groth16", "curve": "bn128", - "nPublic": 42, + "nPublic": 32, "vk_alpha_1": [ "20491192805390485299153009773594534940189261866228447918068658471970481763042", "9383485363053290200918347156157836566562967994039712273449902621266178545958", @@ -37,12 +37,12 @@ ], "vk_delta_2": [ [ - "10489258118764426034332804600490765264697524470495254669571495517165979541133", - "12129338434327885119120202043314878970485775152090521502500869614946968615157" + "17611987043914322937929145775437960263478455311257949052319071998228208309250", + "7947173203006810267019816244493773477926554183145653900126658714684621031750" ], [ - "10429663667199699013910834734864210991986402038056896091493065274545941092030", - "9781316534484599733208458973561170136096085444530383463986586679903684082248" + "18915723125477650173441882510210291754921105148514402288365954532974211688059", + "16091585773589732905900283253812399768593234045999921070789327585161038697522" ], [ "1", @@ -81,218 +81,168 @@ ], "IC": [ [ - "21430023076283324492373491465702377901553517974198179603321754521553807297952", - "16100841951806132851650696952667947210979731476466315340670552109395582140693", + "11378500127943253715312267278213500214767978995281637748762184997985396732134", + "15693011249230855174762535555598235560272976215671642057485562888574503303136", "1" ], [ - "874646590609163556427601361141306365580890065349157562056615198339435270007", - "6256767547303737594471356612292002554980354750047948890294844978597159684019", + "843666292151860382973710263057275041172145004165619301772666387186329552486", + "2847997390286536478288530734633552856244050904697738380080814699556522509566", "1" ], [ - "10517768048713331864729568466119191816292691822603779731367799411443473874723", - "139058699787039212886101368290313755601614414956363079204114836255145476915", + "6239427395624826509899238591501901923269421970617925842775434306663018477296", + "5627980668542518156270209238094996342462997624554704974663890976199988619348", "1" ], [ - "17344337809330487302188708559741461569338269977525093019374780020774542146492", - "5274513577718106191903390028612351049731200065607942527783238126487267335499", + "10229421548215959721473182821287059537097084827403833561623565061343265837215", + "9116974128784427319752152619398997196137078845130047716608082980445644433108", "1" ], [ - "3251084883960935391249158800224219985382185374038159328315889244548098271868", - "8782940295258259569296763874286212313415826318094516594636725527893433495149", + "3831949595054040615823250941250636111961075560558495235243179394881496145842", + "21253081024689703503089507577551632372235093078514532119006671263749231198208", "1" ], [ - "10293540382693326213005483976958396799080120229090411569222973591743781765950", - "3434983811658330030242170245715694060012159667353273034281307254470582083602", + "11427301758280550806511877574744925741527753905072210371098421084843791409610", + "19962573312468985780972069134893318197214391078738298501480216968850350355341", "1" ], [ - "17609622009603817703793673575949092293495105260940677381218238353439809121032", - "6995552270210934446123054445235828816418355599114691490246319267110771576544", + "2528359486283252685537646380021602086672865217092673688362712285989761027037", + "3220790083036860897095762209836653923580198191628239232797141914576927316689", "1" ], [ - "8893741133769342477378837481844711451971837913074907002199282217100869247940", - "3095492618851202856097277139368600209313839207651111091900400820311214687015", + "11098373384904814467942069746193548823371729133001576010087770293654159591951", + "16690160300852528117425184868651965882007108578782392808096406302750172958734", "1" ], [ - "12780881262101920400366395378247126992825937413678580912089608864329228419619", - "5834720417916053839920346247057310182708891239258057884167243832903220311517", + "21210797793722261218703767578704141182806630853097425341643671085990453370908", + "3128624802197242544290831190373891791701943547144862741529040127223975855512", "1" ], [ - "10713498767338849193497247350639663749885407088972961865262711446782246015863", - "17489415115946554154650945312049534738180060323391754043404730312258895524346", + "1185738625054021033918075870509601777810835336853787250177196758160732777050", + "9940796445054044593845099119926133813648456074919747972500848606896035668235", "1" ], [ - "12273171011352026775885343136406546613127017266873594248936403749515340530996", - "12071880019937568516920880803004781455021855438605152637994884065268884217041", + "14829167620204421115864891348684126977085828640890130282617230512354426814296", + "5131380046249430698039238925475533048224566874882393396037487303001412986079", "1" ], [ - "5950463085778994962597744054522813884402791679146117446151357457330605081053", - "3206818438304489427755839192576740397917476006055231366987239221407166527", + "20033445385883270310147259166543495183670352455607316449778002777357560363812", + "12763403371636171186855324421020391029784652537893358403999459253548637677692", "1" ], [ - "19724136652024921011847067497959819351707293944921143095498787207487615501622", - "13647088802136437416476131803591763172703514900779212691090776795741796254280", + "12164274643553496081571337903078082237996008816176367532691202697547544787260", + "16317393829880438662605101450241976770636954053587160270446756844370821236613", "1" ], [ - "1445221263264627511184595472369993367608403838341871616876957441130284766283", - "5726098093894583116750575070869135107580234219888169565253366780528715342846", + "7650603392265046311393201225919862267475522409933050356810931411496115267471", + "14437995832062076382304430432920965315622881532557953066637552102125149491710", "1" ], [ - "20120581023561472078910226827335326110717884209386673614849623299315068276373", - "1889562255125134794059954835372730931468009899957996487188201305971273720224", + "7483312807232022986396719538278703678434367237325002664208479321764387128650", + "19356698061484449502744035970983109501703182183264460506736489834070299481257", "1" ], [ - "19545805150542646820307172455117441465279774791200063059474266890692213823456", - "7184013393582301164675475478945275306660467273981909405310788280285100802593", + "5377334424724178914177857327810048363968423905218028025004625746693987090657", + "1052055967713406223123135885845579221453892251723928603568783779438368202711", "1" ], [ - "16538101698638357420244522170433921132751755415812705980681268324970101739341", - "4600172704329209935233899061003135155951418873514844779035818355667352229338", + "10238639699100895091180282667890976693571042063814654514598073304004699174510", + "9390194190413683225646281984871884767934865039566713503943720155114923013852", "1" ], [ - "3320511763678910239610072540124698119947306407777868328992145717968207136311", - "4722320928024788698583471044428554709851274623688867212681968831595549962269", + "16335151283260078658568309738326962646355301475271473227903235718515947578371", + "12978803755763332736054944525549343337418469875206682211772193605850935528063", "1" ], [ - "3108227376931442026410345315160373771314160277493104671415967051377101933923", - "18328352109635855372669550382637795708721132944776416903028191676419975630159", + "10452316390835214916190202013736693135275479998006307746867327565575641630713", + "10160445317619472298139014913297800627218275403035134973774966613387204192012", "1" ], [ - "2937892379456881928665386811710261647619171058088077946878789067508182303455", - "20835115603766994542724314261595614434879060954863983861804279457588577853535", + "17426405176118587488006966399886748155785052391660893316898659543994851586879", + "14515937274409649307388087330411220901845016712764605795632524887291809975010", "1" ], [ - "21709685495399955270345098083290213090838431290086981608198766892608018330074", - "2458329395354449177253564485442401932754207609248655889027780141457682528183", + "2506084050430456918297623220942761017163416398029655906337834220997354163174", + "16805573280727476397579114584390614534951995602620729030553239201624099838099", "1" ], [ - "14270132369935962592371359415203901128182043734845012002723339797353040955923", - "3362305740352474439485468000730904999079981399011681543177062387531232095035", + "1751034726489615277441182212673826668688518049650931798156357072338102473322", + "7661932336877062730117072777057825409988665602151591213710896635611255947556", "1" ], [ - "10780424485056780659115447975224707285724043141877393743773334865778942368443", - "20075870049846150528247341969498572267636359454539497862458930203096017762585", + "9372553083976493050407139823304939864329610477989354218570788410622511025512", + "9064309587842007256016217154271716175990564432199260544390755707609407866267", "1" ], [ - "18117450643100916676156276409879433342296698155117253809493411534467169012579", - "2880706888042073478436191748110313296207768299856136615685252968841319706695", + "557899288025745085965891829573497750740465119596915492057124137850706503083", + "19123742025100041098784423868821638892601924568082328489718385517575795912071", "1" ], [ - "11442199085340606217958604209595591197787676755103294563022255687786888278594", - "4925977997457433596418364318798366926787136929731239637011949658220298104702", + "11001970522617736123582763349294570891290139900572413814287761982725941752044", + "21644506982193020208016839028411036975853909257858761841929216086289574492372", "1" ], [ - "17851340418221026584623870892895397947322850201673527844763437254634991044024", - "15696590469549976877356607982506728276129012768067091404658448481824465817647", + "17549177221161085483875793690908488220461178189410162123634009277095090957413", + "6111478431906235790376262299364077746745282531480322254761510109428128981815", "1" ], [ - "13490452428801359042047439251402519127962190295715262735328856644955884223366", - "4907000838625078182111255401847077571395135577382837302422582658382489603116", + "19286991543698522994228973530690916844992376825481256518139479059102703733297", + "19362898998593745363657994302377539181777110645364029672888937206927217335468", "1" ], [ - "5703745779016448123831991496596409888876695115870462701223723106606927965644", - "16001331685735770044645767179991115772393600669663618781473021267533673992342", + "20017044331821712858681251113425202628936058255227857711715306133859756769670", + "43635121091337321910686773430174223608593817261036900120826376145349751367", "1" ], [ - "10419680676640026279935692681826089607834079441206738767805389443186770255832", - "13764075392832094355943720671050191125027231505882575086260771335918137192180", + "16042857856341172231622421862220647148044645051897238178003702071493985244673", + "4648534180370594635621338573602981107468599289000480400295763469426271302344", "1" ], [ - "2800196128811588906525202062936873905445942848300571511092584993969069270787", - "4376800185224332452355679608587237514095192909059476866350945737883904152216", + "2452075960345511659895935559509492381537649520602322439778093087357156106072", + "5434471167415555722099412611987273907074649886783526014823318504012111394463", "1" ], [ - "12397310159067966673372046242793285817796926955703432426348469375665444615985", - "14725076114774968996212127858741544946615292276234193998615274281441149205851", + "187181991070542531630786855852827680665782529869524210918889369604199480909", + "1894001457548276952099067315109793055508117736541421294780570830530932024315", "1" ], [ - "12668259073515324041384271882532554511912018662279618013709536094994224792885", - "17497219747150318023048657355745093471734751085166479532312427211589277440156", + "1878478010749993835376314473037660362814379445896078272629123722106382056662", + "1773924747799839328618426303744934061793653887944735190403497785827961115597", "1" ], [ - "9366575384451492327407266616355166661949785197792847087931158038456913653036", - "2396499224160472119307559284059638954887834093210894862415952348731082135516", - "1" - ], - [ - "1778589618495424931558806606571763951892291212953641614959867630529532562261", - "20323803569338482578496139458034849770831593107475724879036312830666126188922", - "1" - ], - [ - "21886756650117518317678473445886024689503409817475221935716175450842626012638", - "7001417276656775090701451140655919285500185494202451631763233628371138776645", - "1" - ], - [ - "6564360470729163382783477653025811634979790166835168095311760727761463645911", - "15254747754819203449155429588532031048534192336935311036024969873921455862853", - "1" - ], - [ - "4669245995444300543931160463623932681423737424290545114960544293393555627257", - "10222221965121563027284259419812643248522181226222827145782578761805338670125", - "1" - ], - [ - "21618209989464579872660322375594662134034342048206196431946761548581843058782", - "18365934821332628817842936147538018972737976724357760102482499362765441647010", - "1" - ], - [ - "11158084248225970015295829926609092186384815155054754475775315324215676268162", - "17817863641429884805586402068168728280495810140473017900888168778823095119746", - "1" - ], - [ - "10204910738724760217772025796407392110671328677847359145210414319369826563739", - "3353322363435085137953221199044170931992182820543841836328920052232156921365", - "1" - ], - [ - "12517902119543299063471528006403467546832399024966109550735323618784329829037", - "12181311449050763791611928305137270648665816589772719196568994120763335442940", - "1" - ], - [ - "9697137374998285505262504413590715457908266809758902198098615124095581408253", - "18405570458579758205880785062119360068390135488320401910675377079384100410015", - "1" - ], - [ - "9555152440729372312561312508481631838389394216686406749637882880809105500152", - "15929578426486061651157864710636590901036148235974003202904287065908977898494", + "20092922903562054973798731543674233867531195325445069698437551772179635942677", + "20888396849806662578860484605429194230555852866407102521067147344730716184894", "1" ] ]