@aztec/ivc-integration 1.0.0 → 1.1.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/app_creator.json +1 -1
- package/artifacts/app_reader.json +1 -1
- package/artifacts/keys/mock_private_kernel_init.vk.data.json +61 -61
- package/artifacts/keys/mock_private_kernel_inner.vk.data.json +61 -61
- package/artifacts/keys/mock_private_kernel_reset.vk.data.json +61 -61
- package/artifacts/keys/mock_private_kernel_tail.ivc.vk +0 -0
- package/artifacts/keys/mock_private_kernel_tail.vk.data.json +61 -61
- package/artifacts/keys/mock_rollup_base_public.vk.data.json +85 -85
- package/artifacts/keys/mock_rollup_root_verifier.sol +2 -2
- package/artifacts/mock_private_kernel_init.json +1 -1
- package/artifacts/mock_private_kernel_inner.json +1 -1
- package/artifacts/mock_private_kernel_reset.json +1 -1
- package/artifacts/mock_private_kernel_tail.json +1 -1
- package/artifacts/mock_rollup_base_private.json +1 -1
- package/artifacts/mock_rollup_base_public.json +1 -1
- package/artifacts/mock_rollup_merge.json +1 -1
- package/artifacts/mock_rollup_root.json +1 -1
- package/dest/prove_native.d.ts +2 -1
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +2 -1
- package/dest/types/index.d.ts +17 -17
- package/dest/types/index.d.ts.map +1 -1
- package/dest/witgen.d.ts +6 -8
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +14 -17
- package/package.json +16 -16
- package/src/prove_native.ts +3 -3
- package/src/types/index.ts +18 -18
- package/src/witgen.ts +26 -35
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "000000000004000000000000000000120000000000000024000000000000560900000004000000140000001c010b4c9afe8a271b1578182485398423f7812c6d161467ccc2b96af96a6ca6b5c52de4ea7e2f8bca287bd2132cf5d6baeb223683bd17c30b11e459f1872c54fc06280d578b891ea30a0829e614c26246c1ab0f8264400e5025e941085f853eb6052e6e4d92985e48ed6cfd27e995b1aa3b74817c1c67793b8ee16366e809ac3a351fa6fa166de102f003dec9d26dab12e402e24df385c1df00df3a421eb8957e692845fce0c56c8adc35af141ada9b003bedbf2e437cfd1e9ee910563bb6b3191b023f785c2617f78a6afa370af143460f46450d730c83dc177963dd31fe60c25a0c28aa116b8f5baab853d4696614c249b6bef983aaf0f43cb577ad9eb492d7b81560d5f861daab74209aef477cb918c6d7f0c763bff8ac7423de3367c18ea5491ec2e8ad72cfb9aa642eeeb60e4ccc1e77bb8cf8a30429c5757196b91b432da719a96889798ea5eabde84545fe5e6671a6f3b2ae21cde92699899910c19fb8eb1a0bdbb8b3a9bff5df16c30014f41bf151601e73c2517b032a93a78553ed6281229e777f87eff124abeea98ccacb34ac154ccce0551fa6ca0e919f83d0f349e1236ba571cd9c7b106e402cddc87887400f71fad9f1840c4eba6249a03103dd6f298c3311fc9170f92de940b042aab990d53c6a3b26339cda6b73df920831415907b05f408a612847259016b9204ae4bf37537eb196b05c1d98fa51016a9bacbb2a89458f5a89c084135338391e679ad636f3a2dd04159b5bcc292566ce167c0a18163b0b032b7df207ccd3d1051c49610a7ca3ad168e6368604f04c65638beef268497bf223d1eb5fe4071ea38d3ea58ae8c87ab62e6b6fbfd61223dbd2e37fd13e476ee7e0d87c5035829a2c719761c412d071615649b9bd0351edd348ce01b21eb489b9198a8642cbf762e548e039bdee764fcfbce71f63c24b76fac66ff6811fd41b5f9936d932abae4c6e933e0d39c24ea8e2e0eee702a5326f359c947c00f6cdb88513868418652b8641d5d3c0093f7298c01e4ac8189be676bd06cc97028da8bacc9effd73340303770c569b8679d264c6b4f6d57bbfb981e9257575542502cb9d63ed18980332402290a6a6f4246492a2f8a125f6e6efb5cad4e99fa62745763f6c3e31efb91f36f883685671d68c1bed6f44009cb9b8854ab9cda7cd2f015c44d8a2b85ed1fe0ecb00029ac950ab0deeb09e69c39236054d3a5ac6810149b1f9c1822265ef8851b5d175cee35488a274e17c6852a66a0335a3b50b891ef60428fb11affbbd4022940157a146ca81d1272230f5ac6a7670d25af59e561d4d93fc51d917247f5747ecd0f7e68f02ce5d3be9f0075f9800dd080b80a979157a7f08e5145a157b79727db0945e53b30d8b11d23641a18fa0d2ec0b069cf81485d848b23ad50d8fdd414f4dee967eb64d023c666ffdee11327e43cb56b6b71148161ea2458c9f3be8de85ded51ae12b8713ff144dc5de3eb8ab4bc8393c6803f639b44e7964cbae7729b6cbcbfd52f831b39546c046a9bd6c14d3a255aae30e86068a6c401c0ae419e81429f6e7fb97b3c00b4f43e40c80caa6562a5c36a208720b3c552bbb555cda76e63804dba536baf9af746b431275de52c2516e9018093030e95e679ca35a2e5bbd574439f39f34b58b3bdda25c03c67cbdd043af1c1c8d9833a2c4b4ecc22d5c95f0e4fff2be54e5f0dd6fb40fc29c309b8def55c52fea541544fbfee4ec5acf6cd4179f80719cd98ad9792ecb7280e526c6c1eb112282655a0e6065b490c40828b3f69f6054b2947c8522e8dc7b05d04ce711597d0c3bcb33424a7d20a5cb87df745780413d6bb80facde7565eabc41ca7d6426b4224abdc18784bc77a68af8f8a9bd6392063de2aebbded154c354e1f99e74eaca271671797eb4f235c20240f8cc99b80bf4f890c076afbc8408c718be1e1be50f1964b5ed1435645e2e4bab0559016789774a2da94d9aa4cb00f3e9faae1332d60adc89c48d75b571636f5bbeb4a806f6f4596202301b6ae4eb0ebbeadd203340066f28135748f119631c3fe07fa9d700034e3e27454ef992b4bf84b97baa74712e25783551df50c004ec7cd1f4dd8b3b64a66f2ac4979b65e56568c5a31b14ed18f76cf0ceeccb4798de741ae89b64e8258f84477c1b62565a559ba7bb38832e2d299fb68678d0150bcc5b16dc8252353d43fa70e99239c1c1c67e271a0eeac515d3ac5a199abb74933a4efc98c59b2814ede7cd27daed00c33c12860bc4b0462d38d6d4ba1e4763a74ecdb11ca1f3469680c270e551515344592f59188fa76512db39e892826b32610ee08251e005fce917c0d5dca019477c52f6075332b6120000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000203a5c7973178dc3303878c706cc4fb671c55a740f268c310171c13ce651ca56c28aca5a357c19a824a6bdd1398a839d3d14e1b492952ceac17823117c4166fa0294422a7e7114973a579b85bac8c02aff461b2b09a0b7a7c58838cc0f51f541f06d083ed8cd79ec5c0ed21eee50e549a5fee2dfe718a5ea270861c5e307dbc5f1d58aa61c64ad522043d79c4802219e55ba19751adfe6c36324d3fb6c2da09892d7c18a93c3dae58809faaeec6a86a78f4b3bc61f19d6e7069359bbf47e7f907",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000000040000",
|
|
5
5
|
"0x0000000000000000000000000000000000000000000000000000000000000024",
|
|
@@ -8,30 +8,30 @@
|
|
|
8
8
|
"0x000000000000000000000000000000000000000000000000000000000000001c",
|
|
9
9
|
"0x0000000000000000000000000000000000000000000000000000000000000014",
|
|
10
10
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
11
|
-
"
|
|
12
|
-
"
|
|
13
|
-
"
|
|
14
|
-
"
|
|
15
|
-
"
|
|
16
|
-
"
|
|
17
|
-
"
|
|
18
|
-
"
|
|
19
|
-
"
|
|
20
|
-
"
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
"
|
|
32
|
-
"
|
|
33
|
-
"
|
|
34
|
-
"
|
|
11
|
+
"0x000000000000000000000000000000f7812c6d161467ccc2b96af96a6ca6b5c5",
|
|
12
|
+
"0x00000000000000000000000000000000000b4c9afe8a271b1578182485398423",
|
|
13
|
+
"0x000000000000000000000000000000eb223683bd17c30b11e459f1872c54fc06",
|
|
14
|
+
"0x00000000000000000000000000000000002de4ea7e2f8bca287bd2132cf5d6ba",
|
|
15
|
+
"0x000000000000000000000000000000c1ab0f8264400e5025e941085f853eb605",
|
|
16
|
+
"0x0000000000000000000000000000000000280d578b891ea30a0829e614c26246",
|
|
17
|
+
"0x0000000000000000000000000000003b74817c1c67793b8ee16366e809ac3a35",
|
|
18
|
+
"0x00000000000000000000000000000000002e6e4d92985e48ed6cfd27e995b1aa",
|
|
19
|
+
"0x000000000000000000000000000000e402e24df385c1df00df3a421eb8957e69",
|
|
20
|
+
"0x00000000000000000000000000000000001fa6fa166de102f003dec9d26dab12",
|
|
21
|
+
"0x0000000000000000000000000000003bedbf2e437cfd1e9ee910563bb6b3191b",
|
|
22
|
+
"0x00000000000000000000000000000000002845fce0c56c8adc35af141ada9b00",
|
|
23
|
+
"0x0000000000000000000000000000000f46450d730c83dc177963dd31fe60c25a",
|
|
24
|
+
"0x0000000000000000000000000000000000023f785c2617f78a6afa370af14346",
|
|
25
|
+
"0x00000000000000000000000000000049b6bef983aaf0f43cb577ad9eb492d7b8",
|
|
26
|
+
"0x00000000000000000000000000000000000c28aa116b8f5baab853d4696614c2",
|
|
27
|
+
"0x000000000000000000000000000000c6d7f0c763bff8ac7423de3367c18ea549",
|
|
28
|
+
"0x00000000000000000000000000000000001560d5f861daab74209aef477cb918",
|
|
29
|
+
"0x0000000000000000000000000000001e77bb8cf8a30429c5757196b91b432da7",
|
|
30
|
+
"0x00000000000000000000000000000000001ec2e8ad72cfb9aa642eeeb60e4ccc",
|
|
31
|
+
"0x00000000000000000000000000000071a6f3b2ae21cde92699899910c19fb8eb",
|
|
32
|
+
"0x000000000000000000000000000000000019a96889798ea5eabde84545fe5e66",
|
|
33
|
+
"0x000000000000000000000000000000f151601e73c2517b032a93a78553ed6281",
|
|
34
|
+
"0x00000000000000000000000000000000001a0bdbb8b3a9bff5df16c30014f41b",
|
|
35
35
|
"0x000000000000000000000000000000ac154ccce0551fa6ca0e919f83d0f349e1",
|
|
36
36
|
"0x0000000000000000000000000000000000229e777f87eff124abeea98ccacb34",
|
|
37
37
|
"0x000000000000000000000000000000400f71fad9f1840c4eba6249a03103dd6f",
|
|
@@ -40,10 +40,10 @@
|
|
|
40
40
|
"0x0000000000000000000000000000000000298c3311fc9170f92de940b042aab9",
|
|
41
41
|
"0x000000000000000000000000000000bf37537eb196b05c1d98fa51016a9bacbb",
|
|
42
42
|
"0x000000000000000000000000000000000007b05f408a612847259016b9204ae4",
|
|
43
|
-
"
|
|
44
|
-
"
|
|
45
|
-
"
|
|
46
|
-
"
|
|
43
|
+
"0x000000000000000000000000000000d636f3a2dd04159b5bcc292566ce167c0a",
|
|
44
|
+
"0x00000000000000000000000000000000002a89458f5a89c084135338391e679a",
|
|
45
|
+
"0x000000000000000000000000000000610a7ca3ad168e6368604f04c65638beef",
|
|
46
|
+
"0x000000000000000000000000000000000018163b0b032b7df207ccd3d1051c49",
|
|
47
47
|
"0x00000000000000000000000000000058ae8c87ab62e6b6fbfd61223dbd2e37fd",
|
|
48
48
|
"0x0000000000000000000000000000000000268497bf223d1eb5fe4071ea38d3ea",
|
|
49
49
|
"0x0000000000000000000000000000001c412d071615649b9bd0351edd348ce01b",
|
|
@@ -64,38 +64,38 @@
|
|
|
64
64
|
"0x00000000000000000000000000000000002f015c44d8a2b85ed1fe0ecb00029a",
|
|
65
65
|
"0x000000000000000000000000000000e35488a274e17c6852a66a0335a3b50b89",
|
|
66
66
|
"0x00000000000000000000000000000000000149b1f9c1822265ef8851b5d175ce",
|
|
67
|
-
"
|
|
68
|
-
"
|
|
69
|
-
"
|
|
70
|
-
"
|
|
71
|
-
"
|
|
72
|
-
"
|
|
73
|
-
"
|
|
74
|
-
"
|
|
75
|
-
"
|
|
76
|
-
"
|
|
77
|
-
"
|
|
78
|
-
"
|
|
79
|
-
"
|
|
80
|
-
"
|
|
81
|
-
"
|
|
82
|
-
"
|
|
83
|
-
"
|
|
84
|
-
"
|
|
85
|
-
"
|
|
86
|
-
"
|
|
87
|
-
"
|
|
88
|
-
"
|
|
89
|
-
"
|
|
90
|
-
"
|
|
91
|
-
"
|
|
92
|
-
"
|
|
93
|
-
"
|
|
94
|
-
"
|
|
95
|
-
"
|
|
96
|
-
"
|
|
97
|
-
"
|
|
98
|
-
"
|
|
67
|
+
"0x00000000000000000000000000000046ca81d1272230f5ac6a7670d25af59e56",
|
|
68
|
+
"0x00000000000000000000000000000000001ef60428fb11affbbd4022940157a1",
|
|
69
|
+
"0x0000000000000000000000000000008f02ce5d3be9f0075f9800dd080b80a979",
|
|
70
|
+
"0x00000000000000000000000000000000001d4d93fc51d917247f5747ecd0f7e6",
|
|
71
|
+
"0x00000000000000000000000000000053b30d8b11d23641a18fa0d2ec0b069cf8",
|
|
72
|
+
"0x0000000000000000000000000000000000157a7f08e5145a157b79727db0945e",
|
|
73
|
+
"0x0000000000000000000000000000007eb64d023c666ffdee11327e43cb56b6b7",
|
|
74
|
+
"0x00000000000000000000000000000000001485d848b23ad50d8fdd414f4dee96",
|
|
75
|
+
"0x000000000000000000000000000000e12b8713ff144dc5de3eb8ab4bc8393c68",
|
|
76
|
+
"0x00000000000000000000000000000000001148161ea2458c9f3be8de85ded51a",
|
|
77
|
+
"0x00000000000000000000000000000052f831b39546c046a9bd6c14d3a255aae3",
|
|
78
|
+
"0x000000000000000000000000000000000003f639b44e7964cbae7729b6cbcbfd",
|
|
79
|
+
"0x000000000000000000000000000000fb97b3c00b4f43e40c80caa6562a5c36a2",
|
|
80
|
+
"0x00000000000000000000000000000000000e86068a6c401c0ae419e81429f6e7",
|
|
81
|
+
"0x000000000000000000000000000000a536baf9af746b431275de52c2516e9018",
|
|
82
|
+
"0x000000000000000000000000000000000008720b3c552bbb555cda76e63804db",
|
|
83
|
+
"0x000000000000000000000000000000f39f34b58b3bdda25c03c67cbdd043af1c",
|
|
84
|
+
"0x0000000000000000000000000000000000093030e95e679ca35a2e5bbd574439",
|
|
85
|
+
"0x000000000000000000000000000000f2be54e5f0dd6fb40fc29c309b8def55c5",
|
|
86
|
+
"0x00000000000000000000000000000000001c8d9833a2c4b4ecc22d5c95f0e4ff",
|
|
87
|
+
"0x00000000000000000000000000000080719cd98ad9792ecb7280e526c6c1eb11",
|
|
88
|
+
"0x00000000000000000000000000000000002fea541544fbfee4ec5acf6cd4179f",
|
|
89
|
+
"0x0000000000000000000000000000006054b2947c8522e8dc7b05d04ce711597d",
|
|
90
|
+
"0x00000000000000000000000000000000002282655a0e6065b490c40828b3f69f",
|
|
91
|
+
"0x000000000000000000000000000000413d6bb80facde7565eabc41ca7d6426b4",
|
|
92
|
+
"0x00000000000000000000000000000000000c3bcb33424a7d20a5cb87df745780",
|
|
93
|
+
"0x00000000000000000000000000000092063de2aebbded154c354e1f99e74eaca",
|
|
94
|
+
"0x0000000000000000000000000000000000224abdc18784bc77a68af8f8a9bd63",
|
|
95
|
+
"0x0000000000000000000000000000000bf4f890c076afbc8408c718be1e1be50f",
|
|
96
|
+
"0x0000000000000000000000000000000000271671797eb4f235c20240f8cc99b8",
|
|
97
|
+
"0x00000000000000000000000000000089774a2da94d9aa4cb00f3e9faae1332d6",
|
|
98
|
+
"0x00000000000000000000000000000000001964b5ed1435645e2e4bab05590167",
|
|
99
99
|
"0x000000000000000000000000000000f6f4596202301b6ae4eb0ebbeadd203340",
|
|
100
100
|
"0x00000000000000000000000000000000000adc89c48d75b571636f5bbeb4a806",
|
|
101
101
|
"0x00000000000000000000000000000000034e3e27454ef992b4bf84b97baa7471",
|
|
@@ -1,95 +1,95 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000004000000000000000000016000000000000001b0000000000000001000000010000001127dd9f5115018d7413636094489dfb0a70c3fe01189c9433cb6eb0e705e5a130242d398f439ede18435c7d6777796bfc7ab753849a24dc13e9f1a752bd195747278bc879c21e72f50c035c228bafdf2caf00e7d4cec3691ed4a13706d19d37e506190d30337b424b5b95ed68de2e87b7013f5e0f634d291c9788863dc7b92d691b4597c28018a6488d643f859937f30600e8a7ffcf2f8d4a154451a58f7f18c7108ad8489172e718a52dc063fcb277323d505efbfe01d97c74ef4ccd702f7cd625fca1d639513d4ebb5f1fd012c894e1db6bc76450e272491c56f935cbef038b0772287b5ef73851080ecfaabae7783cc8f11d9353601a58d03a149de21a51ad1dcfc467061aad7ae4195061e96688a54b709d339104ae764d0e398502de9ce92a065d08d8322a75d4a18f41da9398e45da7443363d2d59da7930268875e017f2c2f2723c3a58ed87b863f2dfb758de079b7220513ee2a09f2df19a7d07aab161f12c14cd5fcd9ccdfe422e8bd01d551039bb7e14255b2d0a6b84bda7b6c7bc225043141e7a515687c6d80d0853b76d9ad8b5943ead2741efdeb311b8305c9db0d8d5f85133d06d56249c6463ac0233447e05ab4400999c9704862944ef03bb30c54b5d5b8421e35faa02aa74920d8dfc73b2a1f9d902bc663fba1e85eb191182d36cdc70bf3d8818e87ccdfd7f72d303a92177d0ee8de793f7d91ae87c1266c06e8b549d2509b2612044cd36bf47709b1cd64bb0465d860111fb2197390398f1a5d6ddc6dfdd8770fff74f81ac342963056bd124fb9846821bccef097d287dd2afda698804502cb2afb445fe644b4703bd06f85e316037e953ddd920446e6400dbbecb96a41ee5a92be2eb77817b203a66e87317b234b6e2e01c4587bc9063f11cc89d4ff7fc82b10a0657a1bfe1693fd025c1e02cd289094c3d885aea85b8f168e367cb00109c76cbc054ba9e85266033da7e349e4cae12217bf97d6bd3b5204442cdf9e0fcbd94d86ff44774533ef0e9b9a15c29d30753979b10b59577ba91ab2fb69e08728ce0e7aaed6d49e2e1a3f991cddc0769e5e8708ecd8fe405f7f002cab9d5e7c1ee5e30df89649fb64467506c5cb6e56e5fbda7cbbf0b9d079e91014ecbc6b413861c0cc6be019140506d41e0969d739e5d54d3b695e918e0ac127cca8cf7437e6f561705e5b38e0a816efbe8f26514c06bb0141bb906ae46a7727ef1bd0ba6e4a55ec16fd8f28d51a06b3c3c98f01b9a84389c736ad281be4742240c35411fa4fd35e7c81e51545f3c622321566707c6aaedaf3843b95d2f1f12dac636ef38e33c5ac7c2d203b6e3802d7520f95931e17d83ea2a929d960b6ee1f57385a2f225bb3ee15149647b7fa061e7ae30433a2ef427fff244b8d83a88612317010705369175a4f155dbef504dd709f6bc8be0deb3bd801f8e90619350d2c88a758a63ece446aeac6b193de448788c292f4a69096b7530e4b9473de1d700f898fca27921cbb32ca4ecb737270284dcc76db07ffdc1179b137e98b25789a1567431e66970532739336dc73b121b2433dbf060d90282aaeb07ef3f9ac0b5202040b72231c3fb6c1c91f9f921094d3eee21f0bfca1cfd62809d782927d22c927bb433719f7cfa32ebb04a3c93f7249ee5bc752167b4edf84376cffd54d33bb1fb42392711500eac29b4116d211c3e229cf0a3cf2d5f73fd935a9405cae4eef0ab7331d510783f2638667349207814d78e3834dd3ca19abae242cf4e1d88ec20f147a5c481719cb2aaa96f0b8180eef31e614a8f2773be03ea78a2b048b0b1d20a9e2c9d8481c75b70dec011f8802bd866cb3a833bda136abc4b0cb777808f81eac8029736efbc9b3030147d771545bde9717e6aa1628d6f23f9d2a1c2923d0217f0ffe90bea51c49a1b331adae9c2b80d6b55199d55c762fbaec636a525f3e09c45c61155d314160b50b20e35c940ed2d8303f6f9c83d86d5c13f3fb4e99dd188a2ffed7f8cbe84c7a0f1b018cd09cf5a0abb80a3b2fe13b28fe8f315409b723cd626f5dde3ce81de0e7d4f74dc285656153a6120eebdf3a488dccad95d00d2e51457f90ac649be71c69813f8f70e014214cfc1eec34001bc0e37213a3dd9026249bcca5ce3da70630c31f07cb5cc4cab1a1d3479411afd12fa5603beef8ad1ee5d0cdde02f62e468b034f988c56cf91f0cb73295831bc93869fc19cdbad991558e16ed49142b74e4a2085b22287183a142ac675e313630847be47fe912b91000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000021bc70c0f7b7493cafee6bfbe6aad5f9404c8b2f8ed20766cecb515559fa89bac2463a873474566a70f7e043c23a9271d8bbc606bc2d82059046f734f0c7fb551",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000000400000",
|
|
5
5
|
"0x000000000000000000000000000000000000000000000000000000000000001b",
|
|
6
6
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
7
7
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
8
8
|
"0x0000000000000000000000000000000000000000000000000000000000000011",
|
|
9
|
-
"
|
|
10
|
-
"
|
|
11
|
-
"
|
|
12
|
-
"
|
|
13
|
-
"
|
|
14
|
-
"
|
|
15
|
-
"
|
|
16
|
-
"
|
|
17
|
-
"
|
|
18
|
-
"
|
|
19
|
-
"
|
|
20
|
-
"
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
"
|
|
32
|
-
"
|
|
9
|
+
"0x0000000000000000000000000000000a70c3fe01189c9433cb6eb0e705e5a130",
|
|
10
|
+
"0x000000000000000000000000000000000027dd9f5115018d7413636094489dfb",
|
|
11
|
+
"0x000000000000000000000000000000fc7ab753849a24dc13e9f1a752bd195747",
|
|
12
|
+
"0x0000000000000000000000000000000000242d398f439ede18435c7d6777796b",
|
|
13
|
+
"0x0000000000000000000000000000002caf00e7d4cec3691ed4a13706d19d37e5",
|
|
14
|
+
"0x0000000000000000000000000000000000278bc879c21e72f50c035c228bafdf",
|
|
15
|
+
"0x000000000000000000000000000000b7013f5e0f634d291c9788863dc7b92d69",
|
|
16
|
+
"0x000000000000000000000000000000000006190d30337b424b5b95ed68de2e87",
|
|
17
|
+
"0x0000000000000000000000000000000600e8a7ffcf2f8d4a154451a58f7f18c7",
|
|
18
|
+
"0x00000000000000000000000000000000001b4597c28018a6488d643f859937f3",
|
|
19
|
+
"0x000000000000000000000000000000323d505efbfe01d97c74ef4ccd702f7cd6",
|
|
20
|
+
"0x0000000000000000000000000000000000108ad8489172e718a52dc063fcb277",
|
|
21
|
+
"0x000000000000000000000000000000e1db6bc76450e272491c56f935cbef038b",
|
|
22
|
+
"0x000000000000000000000000000000000025fca1d639513d4ebb5f1fd012c894",
|
|
23
|
+
"0x0000000000000000000000000000003cc8f11d9353601a58d03a149de21a51ad",
|
|
24
|
+
"0x00000000000000000000000000000000000772287b5ef73851080ecfaabae778",
|
|
25
|
+
"0x000000000000000000000000000000a54b709d339104ae764d0e398502de9ce9",
|
|
26
|
+
"0x00000000000000000000000000000000001dcfc467061aad7ae4195061e96688",
|
|
27
|
+
"0x000000000000000000000000000000e45da7443363d2d59da7930268875e017f",
|
|
28
|
+
"0x00000000000000000000000000000000002a065d08d8322a75d4a18f41da9398",
|
|
29
|
+
"0x000000000000000000000000000000e079b7220513ee2a09f2df19a7d07aab16",
|
|
30
|
+
"0x00000000000000000000000000000000002c2f2723c3a58ed87b863f2dfb758d",
|
|
31
|
+
"0x00000000000000000000000000000051039bb7e14255b2d0a6b84bda7b6c7bc2",
|
|
32
|
+
"0x00000000000000000000000000000000001f12c14cd5fcd9ccdfe422e8bd01d5",
|
|
33
33
|
"0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
|
|
34
34
|
"0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
|
|
35
35
|
"0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
|
|
36
36
|
"0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
|
|
37
|
-
"
|
|
38
|
-
"
|
|
39
|
-
"
|
|
40
|
-
"
|
|
41
|
-
"
|
|
42
|
-
"
|
|
43
|
-
"
|
|
44
|
-
"
|
|
45
|
-
"
|
|
46
|
-
"
|
|
47
|
-
"
|
|
48
|
-
"
|
|
49
|
-
"
|
|
50
|
-
"
|
|
51
|
-
"
|
|
52
|
-
"
|
|
53
|
-
"
|
|
54
|
-
"
|
|
55
|
-
"
|
|
56
|
-
"
|
|
57
|
-
"
|
|
58
|
-
"
|
|
59
|
-
"
|
|
60
|
-
"
|
|
61
|
-
"
|
|
62
|
-
"
|
|
63
|
-
"
|
|
64
|
-
"
|
|
65
|
-
"
|
|
66
|
-
"
|
|
67
|
-
"
|
|
68
|
-
"
|
|
69
|
-
"
|
|
70
|
-
"
|
|
71
|
-
"
|
|
72
|
-
"
|
|
73
|
-
"
|
|
74
|
-
"
|
|
75
|
-
"
|
|
76
|
-
"
|
|
77
|
-
"
|
|
78
|
-
"
|
|
79
|
-
"
|
|
80
|
-
"
|
|
81
|
-
"
|
|
82
|
-
"
|
|
83
|
-
"
|
|
84
|
-
"
|
|
85
|
-
"
|
|
86
|
-
"
|
|
87
|
-
"
|
|
88
|
-
"
|
|
89
|
-
"
|
|
90
|
-
"
|
|
91
|
-
"
|
|
92
|
-
"
|
|
37
|
+
"0x000000000000000000000000000000dfc73b2a1f9d902bc663fba1e85eb19118",
|
|
38
|
+
"0x00000000000000000000000000000000000c54b5d5b8421e35faa02aa74920d8",
|
|
39
|
+
"0x000000000000000000000000000000303a92177d0ee8de793f7d91ae87c1266c",
|
|
40
|
+
"0x00000000000000000000000000000000002d36cdc70bf3d8818e87ccdfd7f72d",
|
|
41
|
+
"0x00000000000000000000000000000009b1cd64bb0465d860111fb2197390398f",
|
|
42
|
+
"0x000000000000000000000000000000000006e8b549d2509b2612044cd36bf477",
|
|
43
|
+
"0x000000000000000000000000000000963056bd124fb9846821bccef097d287dd",
|
|
44
|
+
"0x00000000000000000000000000000000001a5d6ddc6dfdd8770fff74f81ac342",
|
|
45
|
+
"0x000000000000000000000000000000703bd06f85e316037e953ddd920446e640",
|
|
46
|
+
"0x00000000000000000000000000000000002afda698804502cb2afb445fe644b4",
|
|
47
|
+
"0x00000000000000000000000000000003a66e87317b234b6e2e01c4587bc9063f",
|
|
48
|
+
"0x00000000000000000000000000000000000dbbecb96a41ee5a92be2eb77817b2",
|
|
49
|
+
"0x00000000000000000000000000000093fd025c1e02cd289094c3d885aea85b8f",
|
|
50
|
+
"0x000000000000000000000000000000000011cc89d4ff7fc82b10a0657a1bfe16",
|
|
51
|
+
"0x00000000000000000000000000000066033da7e349e4cae12217bf97d6bd3b52",
|
|
52
|
+
"0x0000000000000000000000000000000000168e367cb00109c76cbc054ba9e852",
|
|
53
|
+
"0x000000000000000000000000000000ef0e9b9a15c29d30753979b10b59577ba9",
|
|
54
|
+
"0x000000000000000000000000000000000004442cdf9e0fcbd94d86ff44774533",
|
|
55
|
+
"0x0000000000000000000000000000001a3f991cddc0769e5e8708ecd8fe405f7f",
|
|
56
|
+
"0x00000000000000000000000000000000001ab2fb69e08728ce0e7aaed6d49e2e",
|
|
57
|
+
"0x000000000000000000000000000000467506c5cb6e56e5fbda7cbbf0b9d079e9",
|
|
58
|
+
"0x0000000000000000000000000000000000002cab9d5e7c1ee5e30df89649fb64",
|
|
59
|
+
"0x00000000000000000000000000000006d41e0969d739e5d54d3b695e918e0ac1",
|
|
60
|
+
"0x00000000000000000000000000000000001014ecbc6b413861c0cc6be0191405",
|
|
61
|
+
"0x00000000000000000000000000000016efbe8f26514c06bb0141bb906ae46a77",
|
|
62
|
+
"0x000000000000000000000000000000000027cca8cf7437e6f561705e5b38e0a8",
|
|
63
|
+
"0x00000000000000000000000000000006b3c3c98f01b9a84389c736ad281be474",
|
|
64
|
+
"0x000000000000000000000000000000000027ef1bd0ba6e4a55ec16fd8f28d51a",
|
|
65
|
+
"0x000000000000000000000000000000c622321566707c6aaedaf3843b95d2f1f1",
|
|
66
|
+
"0x00000000000000000000000000000000002240c35411fa4fd35e7c81e51545f3",
|
|
67
|
+
"0x00000000000000000000000000000002d7520f95931e17d83ea2a929d960b6ee",
|
|
68
|
+
"0x00000000000000000000000000000000002dac636ef38e33c5ac7c2d203b6e38",
|
|
69
|
+
"0x000000000000000000000000000000061e7ae30433a2ef427fff244b8d83a886",
|
|
70
|
+
"0x00000000000000000000000000000000001f57385a2f225bb3ee15149647b7fa",
|
|
71
|
+
"0x000000000000000000000000000000dd709f6bc8be0deb3bd801f8e90619350d",
|
|
72
|
+
"0x000000000000000000000000000000000012317010705369175a4f155dbef504",
|
|
73
|
+
"0x0000000000000000000000000000008788c292f4a69096b7530e4b9473de1d70",
|
|
74
|
+
"0x00000000000000000000000000000000002c88a758a63ece446aeac6b193de44",
|
|
75
|
+
"0x000000000000000000000000000000284dcc76db07ffdc1179b137e98b25789a",
|
|
76
|
+
"0x00000000000000000000000000000000000f898fca27921cbb32ca4ecb737270",
|
|
77
|
+
"0x000000000000000000000000000000b2433dbf060d90282aaeb07ef3f9ac0b52",
|
|
78
|
+
"0x00000000000000000000000000000000001567431e66970532739336dc73b121",
|
|
79
|
+
"0x000000000000000000000000000000d3eee21f0bfca1cfd62809d782927d22c9",
|
|
80
|
+
"0x000000000000000000000000000000000002040b72231c3fb6c1c91f9f921094",
|
|
81
|
+
"0x00000000000000000000000000000049ee5bc752167b4edf84376cffd54d33bb",
|
|
82
|
+
"0x000000000000000000000000000000000027bb433719f7cfa32ebb04a3c93f72",
|
|
83
|
+
"0x000000000000000000000000000000e229cf0a3cf2d5f73fd935a9405cae4eef",
|
|
84
|
+
"0x00000000000000000000000000000000001fb42392711500eac29b4116d211c3",
|
|
85
|
+
"0x0000000000000000000000000000004d78e3834dd3ca19abae242cf4e1d88ec2",
|
|
86
|
+
"0x00000000000000000000000000000000000ab7331d510783f263866734920781",
|
|
87
|
+
"0x000000000000000000000000000000ef31e614a8f2773be03ea78a2b048b0b1d",
|
|
88
|
+
"0x00000000000000000000000000000000000f147a5c481719cb2aaa96f0b8180e",
|
|
89
|
+
"0x000000000000000000000000000000bd866cb3a833bda136abc4b0cb777808f8",
|
|
90
|
+
"0x000000000000000000000000000000000020a9e2c9d8481c75b70dec011f8802",
|
|
91
|
+
"0x0000000000000000000000000000005bde9717e6aa1628d6f23f9d2a1c2923d0",
|
|
92
|
+
"0x00000000000000000000000000000000001eac8029736efbc9b3030147d77154",
|
|
93
93
|
"0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e",
|
|
94
94
|
"0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c",
|
|
95
95
|
"0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd",
|
|
@@ -110,9 +110,9 @@
|
|
|
110
110
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
111
111
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
112
112
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
113
|
-
"
|
|
114
|
-
"
|
|
115
|
-
"
|
|
116
|
-
"
|
|
113
|
+
"0x0000000000000000000000000000009404c8b2f8ed20766cecb515559fa89bac",
|
|
114
|
+
"0x00000000000000000000000000000000001bc70c0f7b7493cafee6bfbe6aad5f",
|
|
115
|
+
"0x0000000000000000000000000000001d8bbc606bc2d82059046f734f0c7fb551",
|
|
116
|
+
"0x00000000000000000000000000000000002463a873474566a70f7e043c23a927"
|
|
117
117
|
]
|
|
118
118
|
}
|
|
@@ -1567,14 +1567,14 @@ function pairing(Honk.G1Point memory rhs, Honk.G1Point memory lhs) view returns
|
|
|
1567
1567
|
bytes memory input = abi.encodePacked(
|
|
1568
1568
|
rhs.x,
|
|
1569
1569
|
rhs.y,
|
|
1570
|
-
// Fixed
|
|
1570
|
+
// Fixed G2 point
|
|
1571
1571
|
uint256(0x198e9393920d483a7260bfb731fb5d25f1aa493335a9e71297e485b7aef312c2),
|
|
1572
1572
|
uint256(0x1800deef121f1e76426a00665e5c4479674322d4f75edadd46debd5cd992f6ed),
|
|
1573
1573
|
uint256(0x090689d0585ff075ec9e99ad690c3395bc4b313370b38ef355acdadcd122975b),
|
|
1574
1574
|
uint256(0x12c85ea5db8c6deb4aab71808dcb408fe3d1e7690c43d37b4ce6cc0166fa7daa),
|
|
1575
1575
|
lhs.x,
|
|
1576
1576
|
lhs.y,
|
|
1577
|
-
//
|
|
1577
|
+
// G2 point from VK
|
|
1578
1578
|
uint256(0x260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1),
|
|
1579
1579
|
uint256(0x0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0),
|
|
1580
1580
|
uint256(0x04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4),
|