@aztec/ivc-integration 1.0.0-staging.2 → 1.0.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 +1 -2
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +1 -2
- package/dest/types/index.d.ts +17 -17
- package/dest/types/index.d.ts.map +1 -1
- package/dest/witgen.d.ts +8 -6
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +17 -14
- package/package.json +16 -16
- package/src/prove_native.ts +3 -3
- package/src/types/index.ts +18 -18
- package/src/witgen.ts +35 -26
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "000000000004000000000000000000120000000000000024000000000000560900000004000000140000001c010c2773538df0f78584692e7bb895e3b30a6de0483d3791ce65db105868e1ddb7075aaf80f9993da314fcdd55cda47c7f889e69e65928c8191c4902d7c8db86740bfa9f13e955d1ae2e71e48f24ea875973abe2091f0d0383e9cea8a5eacc576228ebee52b4e3a4c668678548ae01bb49b6dc845ae6cb690210236adfd2d53cd019fbe94963b1fcf4aa48f41b08038fa497240b3b88768172f09a41d5e9c29fa21496e8e5d198e5397f7c09a7d2cc3665dc4d670a742ab879607086602166d2300eb49d1e52e0e2ff665d167e8faf32e7674adf7ebd20547fca169acd142ae9a90699e3af5577dcebdc2be1c837e38b5baea3cf40b5686e7ccbb0115c72e8759f09796b61c90c90743c5485643b2db5d2ac45bdb76f2f2eb2f14e91f6b5a40def13c0c7d9a86652e384cfd564714e3e5bf6cc7da47c4db2fdd9e63ac926c7b597217e7cc6f600fac34edb7abaa6e7c29ce02173f1af37ed4111c0ee70b93876760aaa720d3a5c6d2c2712e8e6913ca0ffb844de34f14cd9991a67a51965db1774229e777f87eff124abeea98ccacb34ac154ccce0551fa6ca0e919f83d0f349e1236ba571cd9c7b106e402cddc87887400f71fad9f1840c4eba6249a03103dd6f298c3311fc9170f92de940b042aab990d53c6a3b26339cda6b73df920831415907b05f408a612847259016b9204ae4bf37537eb196b05c1d98fa51016a9bacbb2a689eee21c556e5e8577ca07a73b25c8fb3a89728fd156b3dd9d8139e864dfb1082f148a63be1f96b5cf1a4355d8f4097c38d592c34df3763b04cf5c4659665268497bf223d1eb5fe4071ea38d3ea58ae8c87ab62e6b6fbfd61223dbd2e37fd13e476ee7e0d87c5035829a2c719761c412d071615649b9bd0351edd348ce01b21eb489b9198a8642cbf762e548e039bdee764fcfbce71f63c24b76fac66ff6811fd41b5f9936d932abae4c6e933e0d39c24ea8e2e0eee702a5326f359c947c00f6cdb88513868418652b8641d5d3c0093f7298c01e4ac8189be676bd06cc97028da8bacc9effd73340303770c569b8679d264c6b4f6d57bbfb981e9257575542502cb9d63ed18980332402290a6a6f4246492a2f8a125f6e6efb5cad4e99fa62745763f6c3e31efb91f36f883685671d68c1bed6f44009cb9b8854ab9cda7cd2f015c44d8a2b85ed1fe0ecb00029ac950ab0deeb09e69c39236054d3a5ac6810149b1f9c1822265ef8851b5d175cee35488a274e17c6852a66a0335a3b50b892d51e93f3cb9096f7f0353daff992f4ecbb74259f720ae5d5289f1d40656ef8114e94ebe8b2849ccac8457efdf073717a60cb1132b610e0339763fc57b5208620adb747b1e8a27bc51f0371366dd83278da93f56779d356559e3464122166906021397d2ad33629933eb5a526617bb73e003058dea726ddf5803e310f420e94814ac8a9fd6cfd14305fb0d491a8eca363e9f27b9d684d77802ecd81f9c2e1fee21f71f501b63606fcf403ea79dea62c6ad583ba05be76069665f761f4f9ff0fa04106ac0254497b0cbe2219d3e3e061fb36420a5c2fddf7889cdb75ced9139a92ffea0fb0a958dbc1e84c3b1b7b540e287f78ce964b6939a778cc6464db977da1a42a703fec92adeef1ea94a0ed4192541f2936794dc5c6b2e05780cab764e812aadf7123170c4908165de12143d9088e605a856c97c8524d46ef5269ad72500282407b994a5e4a97958613bc5eb15f25ca9ac70ee802b3be56088e851cd96bc2defc53a84a94267bb9a1631de19c1706ace71d6b6712eb4e90f2679273338f22c76e8bedddc3b2868790808267d90ef811bd400dd5873243edc85679607a4fc09cba03c8b7600e6e38e2e3f7a73a204defe6d62be44a5359e98909323b04ca730600c94ba925f748bd915ac48ae8ee9efee7d95ba0821ace25590b8f18e79b80c58df8935aeb680763f2463d8505a45df642911e8f5b54ffc2b01b378795d090adc89c48d75b571636f5bbeb4a806f6f4596202301b6ae4eb0ebbeadd203340066f28135748f119631c3fe07fa9d700034e3e27454ef992b4bf84b97baa74712e25783551df50c004ec7cd1f4dd8b3b64a66f2ac4979b65e56568c5a31b14ed18f76cf0ceeccb4798de741ae89b64e8258f84477c1b62565a559ba7bb38832e2d299fb68678d0150bcc5b16dc8252353d43fa70e99239c1c1c67e271a0eeac515d3ac5a199abb74933a4efc98c59b2814ede7cd27daed00c33c12860bc4b0462d38d6d4ba1e4763a74ecdb11ca1f3469680c270e551515344592f59188fa76512db39e892826b32610ee08251e005fce917c0d5dca019477c52f6075332b6120000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000203a5c7973178dc3303878c706cc4fb671c55a740f268c310171c13ce651ca56c28aca5a357c19a824a6bdd1398a839d3d14e1b492952ceac17823117c4166fa0294422a7e7114973a579b85bac8c02aff461b2b09a0b7a7c58838cc0f51f541f06d083ed8cd79ec5c0ed21eee50e549a5fee2dfe718a5ea270861c5e307dbc5f1d58aa61c64ad522043d79c4802219e55ba19751adfe6c36324d3fb6c2da09892d7c18a93c3dae58809faaeec6a86a78f4b3bc61f19d6e7069359bbf47e7f907",
|
|
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
|
+
"0x000000000000000000000000000000b30a6de0483d3791ce65db105868e1ddb7",
|
|
12
|
+
"0x00000000000000000000000000000000000c2773538df0f78584692e7bb895e3",
|
|
13
|
+
"0x0000000000000000000000000000007f889e69e65928c8191c4902d7c8db8674",
|
|
14
|
+
"0x0000000000000000000000000000000000075aaf80f9993da314fcdd55cda47c",
|
|
15
|
+
"0x0000000000000000000000000000005973abe2091f0d0383e9cea8a5eacc5762",
|
|
16
|
+
"0x00000000000000000000000000000000000bfa9f13e955d1ae2e71e48f24ea87",
|
|
17
|
+
"0x00000000000000000000000000000049b6dc845ae6cb690210236adfd2d53cd0",
|
|
18
|
+
"0x000000000000000000000000000000000028ebee52b4e3a4c668678548ae01bb",
|
|
19
|
+
"0x000000000000000000000000000000a497240b3b88768172f09a41d5e9c29fa2",
|
|
20
|
+
"0x000000000000000000000000000000000019fbe94963b1fcf4aa48f41b08038f",
|
|
21
|
+
"0x00000000000000000000000000000065dc4d670a742ab879607086602166d230",
|
|
22
|
+
"0x00000000000000000000000000000000001496e8e5d198e5397f7c09a7d2cc36",
|
|
23
|
+
"0x000000000000000000000000000000e7674adf7ebd20547fca169acd142ae9a9",
|
|
24
|
+
"0x00000000000000000000000000000000000eb49d1e52e0e2ff665d167e8faf32",
|
|
25
|
+
"0x0000000000000000000000000000005baea3cf40b5686e7ccbb0115c72e8759f",
|
|
26
|
+
"0x00000000000000000000000000000000000699e3af5577dcebdc2be1c837e38b",
|
|
27
|
+
"0x000000000000000000000000000000d2ac45bdb76f2f2eb2f14e91f6b5a40def",
|
|
28
|
+
"0x000000000000000000000000000000000009796b61c90c90743c5485643b2db5",
|
|
29
|
+
"0x0000000000000000000000000000005bf6cc7da47c4db2fdd9e63ac926c7b597",
|
|
30
|
+
"0x000000000000000000000000000000000013c0c7d9a86652e384cfd564714e3e",
|
|
31
|
+
"0x0000000000000000000000000000009ce02173f1af37ed4111c0ee70b9387676",
|
|
32
|
+
"0x0000000000000000000000000000000000217e7cc6f600fac34edb7abaa6e7c2",
|
|
33
|
+
"0x000000000000000000000000000000ffb844de34f14cd9991a67a51965db1774",
|
|
34
|
+
"0x00000000000000000000000000000000000aaa720d3a5c6d2c2712e8e6913ca0",
|
|
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
|
+
"0x0000000000000000000000000000005c8fb3a89728fd156b3dd9d8139e864dfb",
|
|
44
|
+
"0x00000000000000000000000000000000002a689eee21c556e5e8577ca07a73b2",
|
|
45
|
+
"0x0000000000000000000000000000004097c38d592c34df3763b04cf5c4659665",
|
|
46
|
+
"0x00000000000000000000000000000000001082f148a63be1f96b5cf1a4355d8f",
|
|
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
|
+
"0x0000000000000000000000000000004ecbb74259f720ae5d5289f1d40656ef81",
|
|
68
|
+
"0x00000000000000000000000000000000002d51e93f3cb9096f7f0353daff992f",
|
|
69
|
+
"0x00000000000000000000000000000017a60cb1132b610e0339763fc57b520862",
|
|
70
|
+
"0x000000000000000000000000000000000014e94ebe8b2849ccac8457efdf0737",
|
|
71
|
+
"0x000000000000000000000000000000278da93f56779d356559e3464122166906",
|
|
72
|
+
"0x00000000000000000000000000000000000adb747b1e8a27bc51f0371366dd83",
|
|
73
|
+
"0x00000000000000000000000000000073e003058dea726ddf5803e310f420e948",
|
|
74
|
+
"0x0000000000000000000000000000000000021397d2ad33629933eb5a526617bb",
|
|
75
|
+
"0x000000000000000000000000000000363e9f27b9d684d77802ecd81f9c2e1fee",
|
|
76
|
+
"0x000000000000000000000000000000000014ac8a9fd6cfd14305fb0d491a8eca",
|
|
77
|
+
"0x000000000000000000000000000000c6ad583ba05be76069665f761f4f9ff0fa",
|
|
78
|
+
"0x000000000000000000000000000000000021f71f501b63606fcf403ea79dea62",
|
|
79
|
+
"0x0000000000000000000000000000001fb36420a5c2fddf7889cdb75ced9139a9",
|
|
80
|
+
"0x000000000000000000000000000000000004106ac0254497b0cbe2219d3e3e06",
|
|
81
|
+
"0x000000000000000000000000000000e287f78ce964b6939a778cc6464db977da",
|
|
82
|
+
"0x00000000000000000000000000000000002ffea0fb0a958dbc1e84c3b1b7b540",
|
|
83
|
+
"0x0000000000000000000000000000002541f2936794dc5c6b2e05780cab764e81",
|
|
84
|
+
"0x00000000000000000000000000000000001a42a703fec92adeef1ea94a0ed419",
|
|
85
|
+
"0x00000000000000000000000000000088e605a856c97c8524d46ef5269ad72500",
|
|
86
|
+
"0x00000000000000000000000000000000002aadf7123170c4908165de12143d90",
|
|
87
|
+
"0x000000000000000000000000000000f25ca9ac70ee802b3be56088e851cd96bc",
|
|
88
|
+
"0x0000000000000000000000000000000000282407b994a5e4a97958613bc5eb15",
|
|
89
|
+
"0x000000000000000000000000000000706ace71d6b6712eb4e90f2679273338f2",
|
|
90
|
+
"0x00000000000000000000000000000000002defc53a84a94267bb9a1631de19c1",
|
|
91
|
+
"0x000000000000000000000000000000ef811bd400dd5873243edc85679607a4fc",
|
|
92
|
+
"0x00000000000000000000000000000000002c76e8bedddc3b2868790808267d90",
|
|
93
|
+
"0x00000000000000000000000000000004defe6d62be44a5359e98909323b04ca7",
|
|
94
|
+
"0x000000000000000000000000000000000009cba03c8b7600e6e38e2e3f7a73a2",
|
|
95
|
+
"0x000000000000000000000000000000e9efee7d95ba0821ace25590b8f18e79b8",
|
|
96
|
+
"0x000000000000000000000000000000000030600c94ba925f748bd915ac48ae8e",
|
|
97
|
+
"0x00000000000000000000000000000045df642911e8f5b54ffc2b01b378795d09",
|
|
98
|
+
"0x00000000000000000000000000000000000c58df8935aeb680763f2463d8505a",
|
|
99
99
|
"0x000000000000000000000000000000f6f4596202301b6ae4eb0ebbeadd203340",
|
|
100
100
|
"0x00000000000000000000000000000000000adc89c48d75b571636f5bbeb4a806",
|
|
101
101
|
"0x00000000000000000000000000000000034e3e27454ef992b4bf84b97baa7471",
|
|
@@ -1,95 +1,95 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000004000000000000000000016000000000000001b00000000000000010000000100000011299d7226b768ea05ad65d362341e70e189c43edd64edad72a9de12c162f1f97e24767dc0fa31983b6aa521ee116962763d53a0987a13cd3466faf0f2d15f055825cd1d0e091c808bd12779b86e146aa4e8f010529db28ac469d36473c05e415c261c9017e44ebd2bd5012d37699604cb40f60972c79569769dd95592251c8a5304c0f439be1f2b9ae903f821ce8ed5cc849d4f2525fc7d78fb1613437e3594a1276c48e5c8f786df3f547111ed368fc4def350a3a01ec88c056e11884a49df431031bcd7e569046ffccbfe70c3dc754523ef695ca0517b8aac469ce91526cdae1dcf0540397ed9c39432d74157766e5b022f44c9db2638bea60a7aa4d80f46b00ecbb27fa8abba107340d302c8ffdf8fc2bd8b518509a30a972501620c83074306c740641022612153f3fdaeb50a8c17bcac3df0aaf90d33e92db6badb675b8312ae39ae3184c5630b4561dbb54749a9090b3d6e0364c0b3875a8ef4e4dd98571f7be4fead506062d52216a7ecc6a80c4fd4e69a7c0e187f5290166cb2a9230425043141e7a515687c6d80d0853b76d9ad8b5943ead2741efdeb311b8305c9db0d8d5f85133d06d56249c6463ac0233447e05ab4400999c9704862944ef03bb3206d06d053ffe124f5c48cf777e47079c71f1d70e105bfb128545a76f6eab1fc13646a8c1725ddf1f8f4617b44d73b482c917c808cb52f651b8c8fb27c4cce281e4da72480e6f1962becfb16e6f33043d50d1d9ffafa7357ff8bc263281a039c2eeea4f6e57b177dbd8a5b45b218dbd167d1459b1b704ce628e66664754592c221d2c55e68272d20f71a99e931fc4a95b2a5880f4713045d2f435b11fc5a41fc11e1721f6dc6cba7bdb7627808ad758080f6eb3af8bd04c9f67a7615697410a4257976c1600ef4f008aa809a876feb8ff30e290593df474b2c15d57246ae87982c4625e49fdd7682370177c1a48bc1ad24ba8629cc4b3518d750cac04392c1c820f45a2b388880fc684bc4b329b8bbca760292f4064a90f2a5b1808ff238d23107781161acf0c3f6e19519c6aef688cea03c7d224f35bab5d7ef273ca331a6f11efd4c2f32121e1a1a52a8e05bdb5210534d68150c8992ca4e656c198ecb1b6221037ebb8ce6be6e8aab51e2defb6ccc64375e31c1fb227272058032ce6022000792e0f97909e3ccb6203e5467e87ff7c7a873e45f987a8a1c250de28c33543a218f3fed07651ac60e2c493d2a008229ca33ef72925f4a2aab80f5158332818121c2137ed37c334e156d2dac4aa98c82d6e80d90022703e4cc017603e4d2164e1a29cec839956a4224312a44da9820481c085f1a800da1a71eaf1ed613c1ed8a15b727a97b3c59f8ebca8675d856f500997b4657e14385bbdd46604df84396232557eb38d05807b79ace495ee644196e90515221dc40b0f8978963cc2931b9ce14bd9da444b6ea4122f4837df02ae37d41a5e9491043cf784f067a25c43b19a80921f90df14a62b3f654e725e317ad2308f37b20cbfb64b01ab6333daf8b71bc29bbd74624d18546e2f4adc8ac2e06806608c42e8cf6515e23c3ea3728a0686d20ce9ecd01db4790f7acc824145d62c11659adc9406e41653233ba8b35e1b605284fa8a821b94aa79b737e3404be2e6fad69cd5a1e8147577977c13759f84ead11fa85499730950ccdfb4d17c2df1f31110f4eee6a8a304e7db7b338abea821e06c32187b60503b00312495c618d046c7fd8dbacf8f2b21e4cb41b065eed6c8f0e5e6d60d28af4a0c8d527525473bbc92dfbfe12d5dd7734a33ba7f8ba26fc79112fb23a0cd22c27e8ff4e68f119970779986a9b702a12b620a6eef530143f5420515bc5c31d3efa22082e6ec913a6e6c0fe7029f473705568d25573a5d528aa217f0ffe90bea51c49a1b331adae9c2b80d6b55199d55c762fbaec636a525f3e09c45c61155d314160b50b20e35c940ed2d8303f6f9c83d86d5c13f3fb4e99dd188a2ffed7f8cbe84c7a0f1b018cd09cf5a0abb80a3b2fe13b28fe8f315409b723cd626f5dde3ce81de0e7d4f74dc285656153a6120eebdf3a488dccad95d00d2e51457f90ac649be71c69813f8f70e014214cfc1eec34001bc0e37213a3dd9026249bcca5ce3da70630c31f07cb5cc4cab1a1d3479411afd12fa5603beef8ad1ee5d0cdde02f62e468b034f988c56cf91f0cb73295831bc93869fc19cdbad991558e16ed49142b74e4a2085b22287183a142ac675e313630847be47fe912b91000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000023032c5b9a926f02009eb1183cd6bb8a6a376da81f80bffa053d071571c8ada920bcce39ddab3edd10b9a35becad8a748fd58a194dc29b76c168aface834b5cc6",
|
|
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
|
+
"0x000000000000000000000000000000e189c43edd64edad72a9de12c162f1f97e",
|
|
10
|
+
"0x0000000000000000000000000000000000299d7226b768ea05ad65d362341e70",
|
|
11
|
+
"0x000000000000000000000000000000763d53a0987a13cd3466faf0f2d15f0558",
|
|
12
|
+
"0x000000000000000000000000000000000024767dc0fa31983b6aa521ee116962",
|
|
13
|
+
"0x000000000000000000000000000000a4e8f010529db28ac469d36473c05e415c",
|
|
14
|
+
"0x000000000000000000000000000000000025cd1d0e091c808bd12779b86e146a",
|
|
15
|
+
"0x000000000000000000000000000000cb40f60972c79569769dd95592251c8a53",
|
|
16
|
+
"0x0000000000000000000000000000000000261c9017e44ebd2bd5012d37699604",
|
|
17
|
+
"0x000000000000000000000000000000cc849d4f2525fc7d78fb1613437e3594a1",
|
|
18
|
+
"0x000000000000000000000000000000000004c0f439be1f2b9ae903f821ce8ed5",
|
|
19
|
+
"0x000000000000000000000000000000c4def350a3a01ec88c056e11884a49df43",
|
|
20
|
+
"0x0000000000000000000000000000000000276c48e5c8f786df3f547111ed368f",
|
|
21
|
+
"0x0000000000000000000000000000004523ef695ca0517b8aac469ce91526cdae",
|
|
22
|
+
"0x00000000000000000000000000000000001031bcd7e569046ffccbfe70c3dc75",
|
|
23
|
+
"0x0000000000000000000000000000005b022f44c9db2638bea60a7aa4d80f46b0",
|
|
24
|
+
"0x00000000000000000000000000000000001dcf0540397ed9c39432d74157766e",
|
|
25
|
+
"0x0000000000000000000000000000008fc2bd8b518509a30a972501620c830743",
|
|
26
|
+
"0x00000000000000000000000000000000000ecbb27fa8abba107340d302c8ffdf",
|
|
27
|
+
"0x00000000000000000000000000000017bcac3df0aaf90d33e92db6badb675b83",
|
|
28
|
+
"0x000000000000000000000000000000000006c740641022612153f3fdaeb50a8c",
|
|
29
|
+
"0x000000000000000000000000000000a9090b3d6e0364c0b3875a8ef4e4dd9857",
|
|
30
|
+
"0x000000000000000000000000000000000012ae39ae3184c5630b4561dbb54749",
|
|
31
|
+
"0x0000000000000000000000000000000c4fd4e69a7c0e187f5290166cb2a92304",
|
|
32
|
+
"0x00000000000000000000000000000000001f7be4fead506062d52216a7ecc6a8",
|
|
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
|
+
"0x00000000000000000000000000000079c71f1d70e105bfb128545a76f6eab1fc",
|
|
38
|
+
"0x0000000000000000000000000000000000206d06d053ffe124f5c48cf777e470",
|
|
39
|
+
"0x000000000000000000000000000000482c917c808cb52f651b8c8fb27c4cce28",
|
|
40
|
+
"0x000000000000000000000000000000000013646a8c1725ddf1f8f4617b44d73b",
|
|
41
|
+
"0x00000000000000000000000000000043d50d1d9ffafa7357ff8bc263281a039c",
|
|
42
|
+
"0x00000000000000000000000000000000001e4da72480e6f1962becfb16e6f330",
|
|
43
|
+
"0x000000000000000000000000000000d167d1459b1b704ce628e66664754592c2",
|
|
44
|
+
"0x00000000000000000000000000000000002eeea4f6e57b177dbd8a5b45b218db",
|
|
45
|
+
"0x00000000000000000000000000000095b2a5880f4713045d2f435b11fc5a41fc",
|
|
46
|
+
"0x000000000000000000000000000000000021d2c55e68272d20f71a99e931fc4a",
|
|
47
|
+
"0x0000000000000000000000000000008080f6eb3af8bd04c9f67a7615697410a4",
|
|
48
|
+
"0x000000000000000000000000000000000011e1721f6dc6cba7bdb7627808ad75",
|
|
49
|
+
"0x0000000000000000000000000000008ff30e290593df474b2c15d57246ae8798",
|
|
50
|
+
"0x0000000000000000000000000000000000257976c1600ef4f008aa809a876feb",
|
|
51
|
+
"0x000000000000000000000000000000ad24ba8629cc4b3518d750cac04392c1c8",
|
|
52
|
+
"0x00000000000000000000000000000000002c4625e49fdd7682370177c1a48bc1",
|
|
53
|
+
"0x000000000000000000000000000000ca760292f4064a90f2a5b1808ff238d231",
|
|
54
|
+
"0x000000000000000000000000000000000020f45a2b388880fc684bc4b329b8bb",
|
|
55
|
+
"0x000000000000000000000000000000cea03c7d224f35bab5d7ef273ca331a6f1",
|
|
56
|
+
"0x000000000000000000000000000000000007781161acf0c3f6e19519c6aef688",
|
|
57
|
+
"0x00000000000000000000000000000010534d68150c8992ca4e656c198ecb1b62",
|
|
58
|
+
"0x00000000000000000000000000000000001efd4c2f32121e1a1a52a8e05bdb52",
|
|
59
|
+
"0x000000000000000000000000000000cc64375e31c1fb227272058032ce602200",
|
|
60
|
+
"0x000000000000000000000000000000000021037ebb8ce6be6e8aab51e2defb6c",
|
|
61
|
+
"0x000000000000000000000000000000f7c7a873e45f987a8a1c250de28c33543a",
|
|
62
|
+
"0x00000000000000000000000000000000000792e0f97909e3ccb6203e5467e87f",
|
|
63
|
+
"0x00000000000000000000000000000029ca33ef72925f4a2aab80f51583328181",
|
|
64
|
+
"0x0000000000000000000000000000000000218f3fed07651ac60e2c493d2a0082",
|
|
65
|
+
"0x00000000000000000000000000000082d6e80d90022703e4cc017603e4d2164e",
|
|
66
|
+
"0x000000000000000000000000000000000021c2137ed37c334e156d2dac4aa98c",
|
|
67
|
+
"0x000000000000000000000000000000481c085f1a800da1a71eaf1ed613c1ed8a",
|
|
68
|
+
"0x00000000000000000000000000000000001a29cec839956a4224312a44da9820",
|
|
69
|
+
"0x00000000000000000000000000000000997b4657e14385bbdd46604df8439623",
|
|
70
|
+
"0x000000000000000000000000000000000015b727a97b3c59f8ebca8675d856f5",
|
|
71
|
+
"0x0000000000000000000000000000006e90515221dc40b0f8978963cc2931b9ce",
|
|
72
|
+
"0x00000000000000000000000000000000002557eb38d05807b79ace495ee64419",
|
|
73
|
+
"0x0000000000000000000000000000007d41a5e9491043cf784f067a25c43b19a8",
|
|
74
|
+
"0x000000000000000000000000000000000014bd9da444b6ea4122f4837df02ae3",
|
|
75
|
+
"0x0000000000000000000000000000002308f37b20cbfb64b01ab6333daf8b71bc",
|
|
76
|
+
"0x00000000000000000000000000000000000921f90df14a62b3f654e725e317ad",
|
|
77
|
+
"0x000000000000000000000000000000806608c42e8cf6515e23c3ea3728a0686d",
|
|
78
|
+
"0x000000000000000000000000000000000029bbd74624d18546e2f4adc8ac2e06",
|
|
79
|
+
"0x000000000000000000000000000000c11659adc9406e41653233ba8b35e1b605",
|
|
80
|
+
"0x000000000000000000000000000000000020ce9ecd01db4790f7acc824145d62",
|
|
81
|
+
"0x0000000000000000000000000000006fad69cd5a1e8147577977c13759f84ead",
|
|
82
|
+
"0x0000000000000000000000000000000000284fa8a821b94aa79b737e3404be2e",
|
|
83
|
+
"0x00000000000000000000000000000031110f4eee6a8a304e7db7b338abea821e",
|
|
84
|
+
"0x000000000000000000000000000000000011fa85499730950ccdfb4d17c2df1f",
|
|
85
|
+
"0x0000000000000000000000000000006c7fd8dbacf8f2b21e4cb41b065eed6c8f",
|
|
86
|
+
"0x000000000000000000000000000000000006c32187b60503b00312495c618d04",
|
|
87
|
+
"0x000000000000000000000000000000c92dfbfe12d5dd7734a33ba7f8ba26fc79",
|
|
88
|
+
"0x00000000000000000000000000000000000e5e6d60d28af4a0c8d527525473bb",
|
|
89
|
+
"0x0000000000000000000000000000000779986a9b702a12b620a6eef530143f54",
|
|
90
|
+
"0x0000000000000000000000000000000000112fb23a0cd22c27e8ff4e68f11997",
|
|
91
|
+
"0x000000000000000000000000000000e6c0fe7029f473705568d25573a5d528aa",
|
|
92
|
+
"0x000000000000000000000000000000000020515bc5c31d3efa22082e6ec913a6",
|
|
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
|
+
"0x000000000000000000000000000000a6a376da81f80bffa053d071571c8ada92",
|
|
114
|
+
"0x00000000000000000000000000000000003032c5b9a926f02009eb1183cd6bb8",
|
|
115
|
+
"0x00000000000000000000000000000048fd58a194dc29b76c168aface834b5cc6",
|
|
116
|
+
"0x00000000000000000000000000000000000bcce39ddab3edd10b9a35becad8a7"
|
|
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 G1 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
|
+
// G1 point from VK
|
|
1578
1578
|
uint256(0x260e01b251f6f1c7e7ff4e580791dee8ea51d87a358e038b4efe30fac09383c1),
|
|
1579
1579
|
uint256(0x0118c4d5b837bcc2bc89b5b398b5974e9f5944073b32078b7e231fec938883b0),
|
|
1580
1580
|
uint256(0x04fc6369f7110fe3d25156c1bb9a72859cf2a04641f99ba4ee413c80da6a5fe4),
|