@aztec/ivc-integration 1.0.0-nightly.20250708 → 1.0.0-staging.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 +73 -73
- package/artifacts/keys/mock_private_kernel_inner.vk.data.json +73 -73
- package/artifacts/keys/mock_private_kernel_reset.vk.data.json +73 -73
- package/artifacts/keys/mock_private_kernel_tail.ivc.vk +0 -0
- package/artifacts/keys/mock_private_kernel_tail.vk.data.json +73 -73
- package/artifacts/keys/mock_rollup_base_private.vk.data.json +85 -85
- package/artifacts/keys/mock_rollup_base_public.vk.data.json +85 -85
- package/artifacts/keys/mock_rollup_merge.vk.data.json +85 -85
- package/artifacts/keys/mock_rollup_root.vk.data.json +85 -85
- package/artifacts/keys/mock_rollup_root_verifier.sol +44 -44
- 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 +3 -4
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +1 -2
- package/dest/types/index.d.ts +19 -19
- 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 +20 -20
- package/src/witgen.ts +35 -26
|
@@ -1,95 +1,95 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000002000000000000000000015000000000000001b0000000000000001000000010000001102a237022172bbd6fe9d80ab473978b2367631014c64d669deab0c8e20da3c8224e5ec19c33c96d25abc77c9b25b1d94a7ca851559cb70fcc644e679cba797091d520420e27af3e142bbebd1d1a32ca340d44431230a757dd7898aef390e17bf06b7451eee2d9607b3fbe79d37390f600eceb164f9bec20b952d5da03444b39e271bf4da06fc72903987d8f70c38d69c2336f732101fcee250407f604f3ff5ac298de9d50642c8c7d934bb0c30662d864c9840b4e2baaf0ccb963b4daac75e992952a34e5c0fa423d00b9f7445d4d4fea8679a3a3464f61ef48c2582d80b418f29a5572b4a436468a8b394b71ed947d6e8041c7c12d81b2983ed33629e8b3c90110abe497c6a483de4480bc7db1e55430f93f9dde1bfa876cf8e930d14afee0f1ff3c6b2321dabc91ce53baf34ca1fce09970712b21395362201975a41a93d951ce124c706d440437caaf5e005f401685b9663d40782af4a82a8dddd208abae31fc2f146059d1e60e9f0c17bf03a422325095d33af8c7656cc4486427da2559e25043141e7a515687c6d80d0853b76d9ad8b5943ead2741efdeb311b8305c9db0d8d5f85133d06d56249c6463ac0233447e05ab4400999c9704862944ef03bb31b9ebebc61825101b34d47ddd324560f8e23047715449743a371f6e364f62ee511958a423a96fba32fd75479fd120f2c675b13516e8345fb2769fd18d749b5c9090b397fe2740e17464abed7a4617a3adb580010b970d319e784127b245cb0d6088b8d5395be881e8020e4169f91876166bd3d8efc73165eddac5de2d908392804a7756c1e133e9943ee9647e7538d88bbd04e2b8465cdf6af3c44c55ce14d2f030305265a6374eb61c7fe3f88b89abd9c0354db3acbbda28d8142c87435a93323cc06e2b36d4833237f72253c4cf1358a0e05e403450e6a65ae778e4b5532640af3784d2dee8141b5e775211689625390177749c51b353424800aac5b27b79d032494727f6c357f190970c43c7eb81412e33138e54d473b4cb44069995fcb3c2326c2e27861045f68ba604f5618610bf0d356b6ff65a9442d5be50b533209283041d867d28b728113ca98c00df330d4b3acea2cbc9f7856dcaebadb885368dd19f3f9203c999cde60b453dbe41ce3e0a8e9c9fc0d0578c46b742b6fd5ffdb7404fd52353baecf6446e5e4522c72dc24b84baad28f6b05e64e5d0443eca350a629b84f89f8896e92c9a23e5e5655fe93256b9de0d86e71f2220b44f112151d7d07e078e9a0f9b6ce9409019bbd14baccdc3a50e03feedbd23b7c6f5fe7500da91fc13baf1f0f675f253ef9b1d4a637e13dd31b6f73c2eac268701175ff0c299917070fa4ca99a648936299df2aebbdaab547ca73a0279f3aa298c955de0f940a169f6324ccc291e5572f1d10e43739a4fbed650befcc60c27aeebd9f6cd86c731462eab7b3e938a3e8d042963a2425a4fbd659dd633044e14759c7c0097a786f1a3c108586d1b8e35c60274dd1eee02d209669a17a29b4fe7244a92bd0b5c14412aed05ac660715481a25590f42077d8850f74f9878599921a4dd9b5a871fb232ad8d2acfd264216c3da472a1d7cd39e148f575d0a55dc41d4dbead65078a2f31a50c51f2e61bafb9db68b8a691789cc7cba973375b20b23b12c2d1a9ecaceea2d28180415b08ca77e5b05d0ede25f67cdc292bb8d326858f21c3f02b0d908bd1e216e0ea72aef54fafd3688006d5174e81c8df4c8f532133f0f3371bd58b64901cc3959e122ec401a071a217448604c3de5572144e02959c4808b14baf839f124ad6ec0cf5833839b0789ffaeff5aad073cba0f3acba8f8703b51f6399665480dc7042f730445423c5fbdac5f250acd93ae6d86a5804c91c7bc57458aea5f8a217f0ffe90bea51c49a1b331adae9c2b80d6b55199d55c762fbaec636a525f3e09c45c61155d314160b50b20e35c940ed2d8303f6f9c83d86d5c13f3fb4e99dd188a2ffed7f8cbe84c7a0f1b018cd09cf5a0abb80a3b2fe13b28fe8f315409b723cd626f5dde3ce81de0e7d4f74dc285656153a6120eebdf3a488dccad95d00d2e51457f90ac649be71c69813f8f70e014214cfc1eec34001bc0e37213a3dd9026249bcca5ce3da70630c31f07cb5cc4cab1a1d3479411afd12fa5603beef8ad1ee5d0cdde02f62e468b034f988c56cf91f0cb73295831bc93869fc19cdbad991558e16ed49142b74e4a2085b22287183a142ac675e313630847be47fe912b910000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000213d89b4bb2b72dfef159af6f68888fd2bc73f5dab1180a02762a7e4de1ed377b163c39a7a061a840f30a15f430ae767898f10bbceb63124c4e630d3edb83efbd",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000000200000",
|
|
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
|
+
"0x000000000000000000000000000000b2367631014c64d669deab0c8e20da3c82",
|
|
10
|
+
"0x000000000000000000000000000000000002a237022172bbd6fe9d80ab473978",
|
|
11
|
+
"0x00000000000000000000000000000094a7ca851559cb70fcc644e679cba79709",
|
|
12
|
+
"0x000000000000000000000000000000000024e5ec19c33c96d25abc77c9b25b1d",
|
|
13
|
+
"0x000000000000000000000000000000a340d44431230a757dd7898aef390e17bf",
|
|
14
|
+
"0x00000000000000000000000000000000001d520420e27af3e142bbebd1d1a32c",
|
|
15
|
+
"0x000000000000000000000000000000600eceb164f9bec20b952d5da03444b39e",
|
|
16
|
+
"0x000000000000000000000000000000000006b7451eee2d9607b3fbe79d37390f",
|
|
17
|
+
"0x0000000000000000000000000000009c2336f732101fcee250407f604f3ff5ac",
|
|
18
|
+
"0x0000000000000000000000000000000000271bf4da06fc72903987d8f70c38d6",
|
|
19
|
+
"0x000000000000000000000000000000864c9840b4e2baaf0ccb963b4daac75e99",
|
|
20
|
+
"0x0000000000000000000000000000000000298de9d50642c8c7d934bb0c30662d",
|
|
21
|
+
"0x000000000000000000000000000000fea8679a3a3464f61ef48c2582d80b418f",
|
|
22
|
+
"0x00000000000000000000000000000000002952a34e5c0fa423d00b9f7445d4d4",
|
|
23
|
+
"0x000000000000000000000000000000d6e8041c7c12d81b2983ed33629e8b3c90",
|
|
24
|
+
"0x000000000000000000000000000000000029a5572b4a436468a8b394b71ed947",
|
|
25
|
+
"0x000000000000000000000000000000430f93f9dde1bfa876cf8e930d14afee0f",
|
|
26
|
+
"0x0000000000000000000000000000000000110abe497c6a483de4480bc7db1e55",
|
|
27
|
+
"0x000000000000000000000000000000ce09970712b21395362201975a41a93d95",
|
|
28
|
+
"0x00000000000000000000000000000000001ff3c6b2321dabc91ce53baf34ca1f",
|
|
29
|
+
"0x000000000000000000000000000000685b9663d40782af4a82a8dddd208abae3",
|
|
30
|
+
"0x00000000000000000000000000000000001ce124c706d440437caaf5e005f401",
|
|
31
|
+
"0x0000000000000000000000000000002325095d33af8c7656cc4486427da2559e",
|
|
32
|
+
"0x00000000000000000000000000000000001fc2f146059d1e60e9f0c17bf03a42",
|
|
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
|
+
"0x0000000000000000000000000000000f8e23047715449743a371f6e364f62ee5",
|
|
38
|
+
"0x00000000000000000000000000000000001b9ebebc61825101b34d47ddd32456",
|
|
39
|
+
"0x0000000000000000000000000000002c675b13516e8345fb2769fd18d749b5c9",
|
|
40
|
+
"0x000000000000000000000000000000000011958a423a96fba32fd75479fd120f",
|
|
41
|
+
"0x0000000000000000000000000000003adb580010b970d319e784127b245cb0d6",
|
|
42
|
+
"0x0000000000000000000000000000000000090b397fe2740e17464abed7a4617a",
|
|
43
|
+
"0x0000000000000000000000000000006166bd3d8efc73165eddac5de2d9083928",
|
|
44
|
+
"0x0000000000000000000000000000000000088b8d5395be881e8020e4169f9187",
|
|
45
|
+
"0x00000000000000000000000000000088bbd04e2b8465cdf6af3c44c55ce14d2f",
|
|
46
|
+
"0x000000000000000000000000000000000004a7756c1e133e9943ee9647e7538d",
|
|
47
|
+
"0x000000000000000000000000000000bd9c0354db3acbbda28d8142c87435a933",
|
|
48
|
+
"0x0000000000000000000000000000000000030305265a6374eb61c7fe3f88b89a",
|
|
49
|
+
"0x000000000000000000000000000000358a0e05e403450e6a65ae778e4b553264",
|
|
50
|
+
"0x000000000000000000000000000000000023cc06e2b36d4833237f72253c4cf1",
|
|
51
|
+
"0x0000000000000000000000000000005390177749c51b353424800aac5b27b79d",
|
|
52
|
+
"0x00000000000000000000000000000000000af3784d2dee8141b5e77521168962",
|
|
53
|
+
"0x0000000000000000000000000000001412e33138e54d473b4cb44069995fcb3c",
|
|
54
|
+
"0x0000000000000000000000000000000000032494727f6c357f190970c43c7eb8",
|
|
55
|
+
"0x0000000000000000000000000000000bf0d356b6ff65a9442d5be50b53320928",
|
|
56
|
+
"0x00000000000000000000000000000000002326c2e27861045f68ba604f561861",
|
|
57
|
+
"0x000000000000000000000000000000d4b3acea2cbc9f7856dcaebadb885368dd",
|
|
58
|
+
"0x00000000000000000000000000000000003041d867d28b728113ca98c00df330",
|
|
59
|
+
"0x000000000000000000000000000000e0a8e9c9fc0d0578c46b742b6fd5ffdb74",
|
|
60
|
+
"0x000000000000000000000000000000000019f3f9203c999cde60b453dbe41ce3",
|
|
61
|
+
"0x00000000000000000000000000000024b84baad28f6b05e64e5d0443eca350a6",
|
|
62
|
+
"0x000000000000000000000000000000000004fd52353baecf6446e5e4522c72dc",
|
|
63
|
+
"0x00000000000000000000000000000093256b9de0d86e71f2220b44f112151d7d",
|
|
64
|
+
"0x000000000000000000000000000000000029b84f89f8896e92c9a23e5e5655fe",
|
|
65
|
+
"0x000000000000000000000000000000ccdc3a50e03feedbd23b7c6f5fe7500da9",
|
|
66
|
+
"0x000000000000000000000000000000000007e078e9a0f9b6ce9409019bbd14ba",
|
|
67
|
+
"0x000000000000000000000000000000e13dd31b6f73c2eac268701175ff0c2999",
|
|
68
|
+
"0x00000000000000000000000000000000001fc13baf1f0f675f253ef9b1d4a637",
|
|
69
|
+
"0x000000000000000000000000000000aab547ca73a0279f3aa298c955de0f940a",
|
|
70
|
+
"0x000000000000000000000000000000000017070fa4ca99a648936299df2aebbd",
|
|
71
|
+
"0x000000000000000000000000000000a4fbed650befcc60c27aeebd9f6cd86c73",
|
|
72
|
+
"0x0000000000000000000000000000000000169f6324ccc291e5572f1d10e43739",
|
|
73
|
+
"0x000000000000000000000000000000a4fbd659dd633044e14759c7c0097a786f",
|
|
74
|
+
"0x00000000000000000000000000000000001462eab7b3e938a3e8d042963a2425",
|
|
75
|
+
"0x0000000000000000000000000000002d209669a17a29b4fe7244a92bd0b5c144",
|
|
76
|
+
"0x00000000000000000000000000000000001a3c108586d1b8e35c60274dd1eee0",
|
|
77
|
+
"0x000000000000000000000000000000d8850f74f9878599921a4dd9b5a871fb23",
|
|
78
|
+
"0x000000000000000000000000000000000012aed05ac660715481a25590f42077",
|
|
79
|
+
"0x0000000000000000000000000000009e148f575d0a55dc41d4dbead65078a2f3",
|
|
80
|
+
"0x00000000000000000000000000000000002ad8d2acfd264216c3da472a1d7cd3",
|
|
81
|
+
"0x000000000000000000000000000000cc7cba973375b20b23b12c2d1a9ecaceea",
|
|
82
|
+
"0x00000000000000000000000000000000001a50c51f2e61bafb9db68b8a691789",
|
|
83
|
+
"0x00000000000000000000000000000067cdc292bb8d326858f21c3f02b0d908bd",
|
|
84
|
+
"0x00000000000000000000000000000000002d28180415b08ca77e5b05d0ede25f",
|
|
85
|
+
"0x00000000000000000000000000000074e81c8df4c8f532133f0f3371bd58b649",
|
|
86
|
+
"0x00000000000000000000000000000000001e216e0ea72aef54fafd3688006d51",
|
|
87
|
+
"0x0000000000000000000000000000004c3de5572144e02959c4808b14baf839f1",
|
|
88
|
+
"0x000000000000000000000000000000000001cc3959e122ec401a071a21744860",
|
|
89
|
+
"0x000000000000000000000000000000ad073cba0f3acba8f8703b51f639966548",
|
|
90
|
+
"0x000000000000000000000000000000000024ad6ec0cf5833839b0789ffaeff5a",
|
|
91
|
+
"0x000000000000000000000000000000cd93ae6d86a5804c91c7bc57458aea5f8a",
|
|
92
|
+
"0x00000000000000000000000000000000000dc7042f730445423c5fbdac5f250a",
|
|
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
|
+
"0x000000000000000000000000000000d2bc73f5dab1180a02762a7e4de1ed377b",
|
|
114
|
+
"0x000000000000000000000000000000000013d89b4bb2b72dfef159af6f68888f",
|
|
115
|
+
"0x0000000000000000000000000000007898f10bbceb63124c4e630d3edb83efbd",
|
|
116
|
+
"0x0000000000000000000000000000000000163c39a7a061a840f30a15f430ae76"
|
|
117
117
|
]
|
|
118
118
|
}
|
|
@@ -1,93 +1,93 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000020000000000000000000019000000000000001100000000000000010ad7d8c7c736c4794943483ba77e4a2bef9ffd79c513f898b7be226a3a7872652adbac1918fc5ea6d1abf847fc4d489b7c84c19a6a0adc964a924c607bbb664f085d83856665f18b23b34365f1e8771f5a68299520c41f490fa5362a1d3b9a96182a7219bcf5058a75aca939fbf0988f84b481fbdcacb3a9a2cd9f6ff5dfaa3b1213f7d2c0341c6a0e9f9c1039681356a5830e39413fd727cb4dfbfbe5485e3a0469dd35956ac88de5160254fc0541bd6baecd8746e4070415be849b4ec7ca9b28856053b4624e25fd3a15b73523cba6b07f3c81d6325d7ef9fb2b0aeaffa7270e4d093300265e6a9cea43e5809d6c45d6f3d9a97b1f47f364b91e0acfe3303122eca78cfa4f01236320fa4ad44585649e0efef638cd72aa9e8c66747eb9321b06516bf8a0859e0613ebce577d6879600364c64f72e209ed5d99ea57fb04de6a2d514a28fc5b72fbf6faf29eff1bcc7dc1c51e60fb8ab8dc4a25f25c7b3c4be60a76e5ff708b342bac4078c59c2e7dde5ad6d5437fa2ad89c20936dd0b988f220c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc91084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851130a2cfdfcb0e0f4c3b69de2f5ee1c88ece12fc58ee3bf21bb741783b76cab8e2a5f55bd35966e656447913a7a8fd5784843acd6da729b8140e233966b9e47110f2825aa771b429a1ec00eac71705429c7c6ef5cd7b968f9bc1791d2530cc5d4299291ac5ab2581fd0803b5232ff5cf71752f0c6880c4fe7493d4022af70cecb02f95fdc9a38fc1c0db1f16bc1d716e8605f5269d5f51bd86cb5c4e4ceb014781494accf9b6033dba86c6010ae79cae575aa931d156af0fd94743bfbfa7cf5730dec7ad1aff55582269fddbbe12ad999713a2ae5712db4f4b4f33467b92be0820d4942217ec350bad2b59e8888ac8041265b456f60edc3fea240ea4e72c197bf2f21534cc373d5caef69db5248588a5a2c4135671cc44f4e45e525f89d3ff02124bcb7d4ecdfb3721b53a90b1c3b19f5b87d0a30d141d9a5c1302125eb0d67152ba1e3f38516f401b99d17d33e563e9555632f5404349db8b97fd62c76d53eca006ff274711fb1107e6271ebb0e90a1ac8d52d4285112e1ff741770e31b77c8828fa85bc017e5fba790d8cfd43390e81fee45d088ffc4e0edc22fa6dad7ddbb2222e4b865225737e92fb44cdbe8c5ddd87f8f86ee7283c6d808a416b103564df228576388b71ccfa4bd3c2fb168a62d51537af6c0a531efb723f25583d85d9a7026bee612b55342f9778c219a6a79f62da559c77e0bf4b3306be29aad76600f222c1edc91013958cb7f238b321adf39cb653b33f82c78bf576bd613c0d7daa8a023998a7d86fd915a50ab4da3bb76ccd25578bad7e127b7ca20c78bfdddde15926d828bdc943640f45ddf7736bbeae206ed47270967c7e6cf10b8c67d422be0c00441afea684bdef5cbbfd0498eec4006249e9ee0d4bfdc120375825a88f42752ef40d11ac56d2ed8e03d31dc521f078f5e866cbde645f9eb678dfcd120662032019d7eb7fa2879ca7fc0c2319f8b4bc70b1ed31afe502744cf60aeb12f2349118eb9555275923fa7cc3a81375b61b42f7a3926f6578ec658b69bf401fca021722e5b72ce43640eec1ee08579b19b91ada1f87b9778e9b870ea3a98c6c79f0c010e810f71b5f83ffe9b5307026b3ba3733de54a3c95957e558ed66028c32a139185198d898c3e0db1ccf50ca9bdb467dcbe2424fcaf0f1a72dce1446d260cb6c07b76b964b515ad4f0800bd4a9c4d6c752fccb6c48324322c1593fc387a88ab70271cb1e74de6ff3b23e8050962297d37a4fdea9b3b3eb8560776eb1090313a10450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc46810005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb20c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b187b9371870f579be414054241d418f5689db2f6cbfabe968378fd68e9b280c00964ab30f99cb72cc59d0f621604926cfebfcff535f724f619bb0e7a4853dbdb132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd5875264866282c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020e65125738a0d2558d62fd9facb705bae323a4e2936b098a1114e842246637ef076de57c973ec9b9d5a46b63be972750c24628c1c58228e14349ffda833a7173",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000002000000",
|
|
5
5
|
"0x0000000000000000000000000000000000000000000000000000000000000011",
|
|
6
6
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
7
|
-
"
|
|
8
|
-
"
|
|
9
|
-
"
|
|
10
|
-
"
|
|
11
|
-
"
|
|
12
|
-
"
|
|
13
|
-
"
|
|
14
|
-
"
|
|
15
|
-
"
|
|
16
|
-
"
|
|
17
|
-
"
|
|
18
|
-
"
|
|
19
|
-
"
|
|
20
|
-
"
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
7
|
+
"0x0000000000000000000000000000002bef9ffd79c513f898b7be226a3a787265",
|
|
8
|
+
"0x00000000000000000000000000000000000ad7d8c7c736c4794943483ba77e4a",
|
|
9
|
+
"0x0000000000000000000000000000009b7c84c19a6a0adc964a924c607bbb664f",
|
|
10
|
+
"0x00000000000000000000000000000000002adbac1918fc5ea6d1abf847fc4d48",
|
|
11
|
+
"0x0000000000000000000000000000001f5a68299520c41f490fa5362a1d3b9a96",
|
|
12
|
+
"0x0000000000000000000000000000000000085d83856665f18b23b34365f1e877",
|
|
13
|
+
"0x0000000000000000000000000000008f84b481fbdcacb3a9a2cd9f6ff5dfaa3b",
|
|
14
|
+
"0x0000000000000000000000000000000000182a7219bcf5058a75aca939fbf098",
|
|
15
|
+
"0x00000000000000000000000000000056a5830e39413fd727cb4dfbfbe5485e3a",
|
|
16
|
+
"0x00000000000000000000000000000000001213f7d2c0341c6a0e9f9c10396813",
|
|
17
|
+
"0x000000000000000000000000000000bd6baecd8746e4070415be849b4ec7ca9b",
|
|
18
|
+
"0x00000000000000000000000000000000000469dd35956ac88de5160254fc0541",
|
|
19
|
+
"0x000000000000000000000000000000a6b07f3c81d6325d7ef9fb2b0aeaffa727",
|
|
20
|
+
"0x000000000000000000000000000000000028856053b4624e25fd3a15b73523cb",
|
|
21
|
+
"0x00000000000000000000000000000045d6f3d9a97b1f47f364b91e0acfe33031",
|
|
22
|
+
"0x00000000000000000000000000000000000e4d093300265e6a9cea43e5809d6c",
|
|
23
|
+
"0x000000000000000000000000000000649e0efef638cd72aa9e8c66747eb9321b",
|
|
24
|
+
"0x000000000000000000000000000000000022eca78cfa4f01236320fa4ad44585",
|
|
25
|
+
"0x000000000000000000000000000000600364c64f72e209ed5d99ea57fb04de6a",
|
|
26
|
+
"0x000000000000000000000000000000000006516bf8a0859e0613ebce577d6879",
|
|
27
|
+
"0x0000000000000000000000000000007dc1c51e60fb8ab8dc4a25f25c7b3c4be6",
|
|
28
|
+
"0x00000000000000000000000000000000002d514a28fc5b72fbf6faf29eff1bcc",
|
|
29
|
+
"0x000000000000000000000000000000de5ad6d5437fa2ad89c20936dd0b988f22",
|
|
30
|
+
"0x00000000000000000000000000000000000a76e5ff708b342bac4078c59c2e7d",
|
|
31
31
|
"0x000000000000000000000000000000bc3661650d53f9b24d923d8f404cb0bbc9",
|
|
32
32
|
"0x00000000000000000000000000000000000c4032c3079594eb75a8449d3d5ce8",
|
|
33
33
|
"0x00000000000000000000000000000054eb5fe796a0ca89441369b7c24301f851",
|
|
34
34
|
"0x00000000000000000000000000000000001084d709650356d40f0158fd6da81f",
|
|
35
|
-
"
|
|
36
|
-
"
|
|
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
|
-
"
|
|
35
|
+
"0x00000000000000000000000000000088ece12fc58ee3bf21bb741783b76cab8e",
|
|
36
|
+
"0x0000000000000000000000000000000000130a2cfdfcb0e0f4c3b69de2f5ee1c",
|
|
37
|
+
"0x000000000000000000000000000000784843acd6da729b8140e233966b9e4711",
|
|
38
|
+
"0x00000000000000000000000000000000002a5f55bd35966e656447913a7a8fd5",
|
|
39
|
+
"0x00000000000000000000000000000029c7c6ef5cd7b968f9bc1791d2530cc5d4",
|
|
40
|
+
"0x00000000000000000000000000000000000f2825aa771b429a1ec00eac717054",
|
|
41
|
+
"0x000000000000000000000000000000f71752f0c6880c4fe7493d4022af70cecb",
|
|
42
|
+
"0x0000000000000000000000000000000000299291ac5ab2581fd0803b5232ff5c",
|
|
43
|
+
"0x000000000000000000000000000000e8605f5269d5f51bd86cb5c4e4ceb01478",
|
|
44
|
+
"0x000000000000000000000000000000000002f95fdc9a38fc1c0db1f16bc1d716",
|
|
45
|
+
"0x000000000000000000000000000000e575aa931d156af0fd94743bfbfa7cf573",
|
|
46
|
+
"0x00000000000000000000000000000000001494accf9b6033dba86c6010ae79ca",
|
|
47
|
+
"0x00000000000000000000000000000099713a2ae5712db4f4b4f33467b92be082",
|
|
48
|
+
"0x00000000000000000000000000000000000dec7ad1aff55582269fddbbe12ad9",
|
|
49
|
+
"0x00000000000000000000000000000041265b456f60edc3fea240ea4e72c197bf",
|
|
50
|
+
"0x00000000000000000000000000000000000d4942217ec350bad2b59e8888ac80",
|
|
51
|
+
"0x0000000000000000000000000000005a2c4135671cc44f4e45e525f89d3ff021",
|
|
52
|
+
"0x00000000000000000000000000000000002f21534cc373d5caef69db5248588a",
|
|
53
|
+
"0x000000000000000000000000000000f5b87d0a30d141d9a5c1302125eb0d6715",
|
|
54
|
+
"0x000000000000000000000000000000000024bcb7d4ecdfb3721b53a90b1c3b19",
|
|
55
|
+
"0x0000000000000000000000000000009555632f5404349db8b97fd62c76d53eca",
|
|
56
|
+
"0x00000000000000000000000000000000002ba1e3f38516f401b99d17d33e563e",
|
|
57
|
+
"0x0000000000000000000000000000001ac8d52d4285112e1ff741770e31b77c88",
|
|
58
|
+
"0x0000000000000000000000000000000000006ff274711fb1107e6271ebb0e90a",
|
|
59
|
+
"0x00000000000000000000000000000081fee45d088ffc4e0edc22fa6dad7ddbb2",
|
|
60
|
+
"0x000000000000000000000000000000000028fa85bc017e5fba790d8cfd43390e",
|
|
61
|
+
"0x000000000000000000000000000000dd87f8f86ee7283c6d808a416b103564df",
|
|
62
|
+
"0x0000000000000000000000000000000000222e4b865225737e92fb44cdbe8c5d",
|
|
63
|
+
"0x000000000000000000000000000000d51537af6c0a531efb723f25583d85d9a7",
|
|
64
|
+
"0x0000000000000000000000000000000000228576388b71ccfa4bd3c2fb168a62",
|
|
65
|
+
"0x00000000000000000000000000000062da559c77e0bf4b3306be29aad76600f2",
|
|
66
|
+
"0x0000000000000000000000000000000000026bee612b55342f9778c219a6a79f",
|
|
67
|
+
"0x0000000000000000000000000000009cb653b33f82c78bf576bd613c0d7daa8a",
|
|
68
|
+
"0x000000000000000000000000000000000022c1edc91013958cb7f238b321adf3",
|
|
69
|
+
"0x000000000000000000000000000000cd25578bad7e127b7ca20c78bfdddde159",
|
|
70
|
+
"0x0000000000000000000000000000000000023998a7d86fd915a50ab4da3bb76c",
|
|
71
|
+
"0x000000000000000000000000000000206ed47270967c7e6cf10b8c67d422be0c",
|
|
72
|
+
"0x000000000000000000000000000000000026d828bdc943640f45ddf7736bbeae",
|
|
73
|
+
"0x000000000000000000000000000000006249e9ee0d4bfdc120375825a88f4275",
|
|
74
|
+
"0x000000000000000000000000000000000000441afea684bdef5cbbfd0498eec4",
|
|
75
|
+
"0x00000000000000000000000000000078f5e866cbde645f9eb678dfcd12066203",
|
|
76
|
+
"0x00000000000000000000000000000000002ef40d11ac56d2ed8e03d31dc521f0",
|
|
77
|
+
"0x000000000000000000000000000000bc70b1ed31afe502744cf60aeb12f23491",
|
|
78
|
+
"0x00000000000000000000000000000000002019d7eb7fa2879ca7fc0c2319f8b4",
|
|
79
|
+
"0x00000000000000000000000000000042f7a3926f6578ec658b69bf401fca0217",
|
|
80
|
+
"0x000000000000000000000000000000000018eb9555275923fa7cc3a81375b61b",
|
|
81
|
+
"0x0000000000000000000000000000001ada1f87b9778e9b870ea3a98c6c79f0c0",
|
|
82
|
+
"0x000000000000000000000000000000000022e5b72ce43640eec1ee08579b19b9",
|
|
83
|
+
"0x0000000000000000000000000000003733de54a3c95957e558ed66028c32a139",
|
|
84
|
+
"0x000000000000000000000000000000000010e810f71b5f83ffe9b5307026b3ba",
|
|
85
|
+
"0x0000000000000000000000000000007dcbe2424fcaf0f1a72dce1446d260cb6c",
|
|
86
|
+
"0x0000000000000000000000000000000000185198d898c3e0db1ccf50ca9bdb46",
|
|
87
|
+
"0x000000000000000000000000000000c752fccb6c48324322c1593fc387a88ab7",
|
|
88
|
+
"0x000000000000000000000000000000000007b76b964b515ad4f0800bd4a9c4d6",
|
|
89
|
+
"0x000000000000000000000000000000d37a4fdea9b3b3eb8560776eb1090313a1",
|
|
90
|
+
"0x00000000000000000000000000000000000271cb1e74de6ff3b23e8050962297",
|
|
91
91
|
"0x0000000000000000000000000000002b1c1c2637db3f8fecd9d8bb38442cc468",
|
|
92
92
|
"0x00000000000000000000000000000000000450f8716810dff987300c3bc10a89",
|
|
93
93
|
"0x0000000000000000000000000000005db2bf83f8a194086a4cca39916b578faf",
|
|
@@ -108,9 +108,9 @@
|
|
|
108
108
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
109
109
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
110
110
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
111
|
-
"
|
|
112
|
-
"
|
|
113
|
-
"
|
|
114
|
-
"
|
|
111
|
+
"0x000000000000000000000000000000bae323a4e2936b098a1114e842246637ef",
|
|
112
|
+
"0x00000000000000000000000000000000000e65125738a0d2558d62fd9facb705",
|
|
113
|
+
"0x00000000000000000000000000000050c24628c1c58228e14349ffda833a7173",
|
|
114
|
+
"0x0000000000000000000000000000000000076de57c973ec9b9d5a46b63be9727"
|
|
115
115
|
]
|
|
116
116
|
}
|
|
@@ -12,72 +12,72 @@ library HonkVerificationKey {
|
|
|
12
12
|
logCircuitSize: uint256(25),
|
|
13
13
|
publicInputsSize: uint256(17),
|
|
14
14
|
ql: Honk.G1Point({
|
|
15
|
-
x: uint256(
|
|
16
|
-
y: uint256(
|
|
15
|
+
x: uint256(0x1213f7d2c0341c6a0e9f9c1039681356a5830e39413fd727cb4dfbfbe5485e3a),
|
|
16
|
+
y: uint256(0x0469dd35956ac88de5160254fc0541bd6baecd8746e4070415be849b4ec7ca9b)
|
|
17
17
|
}),
|
|
18
18
|
qr: Honk.G1Point({
|
|
19
|
-
x: uint256(
|
|
20
|
-
y: uint256(
|
|
19
|
+
x: uint256(0x28856053b4624e25fd3a15b73523cba6b07f3c81d6325d7ef9fb2b0aeaffa727),
|
|
20
|
+
y: uint256(0x0e4d093300265e6a9cea43e5809d6c45d6f3d9a97b1f47f364b91e0acfe33031)
|
|
21
21
|
}),
|
|
22
22
|
qo: Honk.G1Point({
|
|
23
|
-
x: uint256(
|
|
24
|
-
y: uint256(
|
|
23
|
+
x: uint256(0x22eca78cfa4f01236320fa4ad44585649e0efef638cd72aa9e8c66747eb9321b),
|
|
24
|
+
y: uint256(0x06516bf8a0859e0613ebce577d6879600364c64f72e209ed5d99ea57fb04de6a)
|
|
25
25
|
}),
|
|
26
26
|
q4: Honk.G1Point({
|
|
27
|
-
x: uint256(
|
|
28
|
-
y: uint256(
|
|
27
|
+
x: uint256(0x2d514a28fc5b72fbf6faf29eff1bcc7dc1c51e60fb8ab8dc4a25f25c7b3c4be6),
|
|
28
|
+
y: uint256(0x0a76e5ff708b342bac4078c59c2e7dde5ad6d5437fa2ad89c20936dd0b988f22)
|
|
29
29
|
}),
|
|
30
30
|
qm: Honk.G1Point({
|
|
31
|
-
x: uint256(
|
|
32
|
-
y: uint256(
|
|
31
|
+
x: uint256(0x0ad7d8c7c736c4794943483ba77e4a2bef9ffd79c513f898b7be226a3a787265),
|
|
32
|
+
y: uint256(0x2adbac1918fc5ea6d1abf847fc4d489b7c84c19a6a0adc964a924c607bbb664f)
|
|
33
33
|
}),
|
|
34
34
|
qc: Honk.G1Point({
|
|
35
|
-
x: uint256(
|
|
36
|
-
y: uint256(
|
|
35
|
+
x: uint256(0x085d83856665f18b23b34365f1e8771f5a68299520c41f490fa5362a1d3b9a96),
|
|
36
|
+
y: uint256(0x182a7219bcf5058a75aca939fbf0988f84b481fbdcacb3a9a2cd9f6ff5dfaa3b)
|
|
37
37
|
}),
|
|
38
38
|
qArith: Honk.G1Point({
|
|
39
|
-
x: uint256(
|
|
40
|
-
y: uint256(
|
|
39
|
+
x: uint256(0x130a2cfdfcb0e0f4c3b69de2f5ee1c88ece12fc58ee3bf21bb741783b76cab8e),
|
|
40
|
+
y: uint256(0x2a5f55bd35966e656447913a7a8fd5784843acd6da729b8140e233966b9e4711)
|
|
41
41
|
}),
|
|
42
42
|
qDeltaRange: Honk.G1Point({
|
|
43
|
-
x: uint256(
|
|
44
|
-
y: uint256(
|
|
43
|
+
x: uint256(0x0f2825aa771b429a1ec00eac71705429c7c6ef5cd7b968f9bc1791d2530cc5d4),
|
|
44
|
+
y: uint256(0x299291ac5ab2581fd0803b5232ff5cf71752f0c6880c4fe7493d4022af70cecb)
|
|
45
45
|
}),
|
|
46
46
|
qElliptic: Honk.G1Point({
|
|
47
|
-
x: uint256(
|
|
48
|
-
y: uint256(
|
|
47
|
+
x: uint256(0x02f95fdc9a38fc1c0db1f16bc1d716e8605f5269d5f51bd86cb5c4e4ceb01478),
|
|
48
|
+
y: uint256(0x1494accf9b6033dba86c6010ae79cae575aa931d156af0fd94743bfbfa7cf573)
|
|
49
49
|
}),
|
|
50
50
|
qAux: Honk.G1Point({
|
|
51
|
-
x: uint256(
|
|
52
|
-
y: uint256(
|
|
51
|
+
x: uint256(0x0dec7ad1aff55582269fddbbe12ad999713a2ae5712db4f4b4f33467b92be082),
|
|
52
|
+
y: uint256(0x0d4942217ec350bad2b59e8888ac8041265b456f60edc3fea240ea4e72c197bf)
|
|
53
53
|
}),
|
|
54
54
|
qLookup: Honk.G1Point({
|
|
55
55
|
x: uint256(0x0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc9),
|
|
56
56
|
y: uint256(0x1084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f851)
|
|
57
57
|
}),
|
|
58
58
|
qPoseidon2External: Honk.G1Point({
|
|
59
|
-
x: uint256(
|
|
60
|
-
y: uint256(
|
|
59
|
+
x: uint256(0x2f21534cc373d5caef69db5248588a5a2c4135671cc44f4e45e525f89d3ff021),
|
|
60
|
+
y: uint256(0x24bcb7d4ecdfb3721b53a90b1c3b19f5b87d0a30d141d9a5c1302125eb0d6715)
|
|
61
61
|
}),
|
|
62
62
|
qPoseidon2Internal: Honk.G1Point({
|
|
63
|
-
x: uint256(
|
|
64
|
-
y: uint256(
|
|
63
|
+
x: uint256(0x2ba1e3f38516f401b99d17d33e563e9555632f5404349db8b97fd62c76d53eca),
|
|
64
|
+
y: uint256(0x006ff274711fb1107e6271ebb0e90a1ac8d52d4285112e1ff741770e31b77c88)
|
|
65
65
|
}),
|
|
66
66
|
s1: Honk.G1Point({
|
|
67
|
-
x: uint256(
|
|
68
|
-
y: uint256(
|
|
67
|
+
x: uint256(0x28fa85bc017e5fba790d8cfd43390e81fee45d088ffc4e0edc22fa6dad7ddbb2),
|
|
68
|
+
y: uint256(0x222e4b865225737e92fb44cdbe8c5ddd87f8f86ee7283c6d808a416b103564df)
|
|
69
69
|
}),
|
|
70
70
|
s2: Honk.G1Point({
|
|
71
|
-
x: uint256(
|
|
72
|
-
y: uint256(
|
|
71
|
+
x: uint256(0x228576388b71ccfa4bd3c2fb168a62d51537af6c0a531efb723f25583d85d9a7),
|
|
72
|
+
y: uint256(0x026bee612b55342f9778c219a6a79f62da559c77e0bf4b3306be29aad76600f2)
|
|
73
73
|
}),
|
|
74
74
|
s3: Honk.G1Point({
|
|
75
|
-
x: uint256(
|
|
76
|
-
y: uint256(
|
|
75
|
+
x: uint256(0x22c1edc91013958cb7f238b321adf39cb653b33f82c78bf576bd613c0d7daa8a),
|
|
76
|
+
y: uint256(0x023998a7d86fd915a50ab4da3bb76ccd25578bad7e127b7ca20c78bfdddde159)
|
|
77
77
|
}),
|
|
78
78
|
s4: Honk.G1Point({
|
|
79
|
-
x: uint256(
|
|
80
|
-
y: uint256(
|
|
79
|
+
x: uint256(0x26d828bdc943640f45ddf7736bbeae206ed47270967c7e6cf10b8c67d422be0c),
|
|
80
|
+
y: uint256(0x00441afea684bdef5cbbfd0498eec4006249e9ee0d4bfdc120375825a88f4275)
|
|
81
81
|
}),
|
|
82
82
|
t1: Honk.G1Point({
|
|
83
83
|
x: uint256(0x0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc468),
|
|
@@ -96,28 +96,28 @@ library HonkVerificationKey {
|
|
|
96
96
|
y: uint256(0x2c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca39)
|
|
97
97
|
}),
|
|
98
98
|
id1: Honk.G1Point({
|
|
99
|
-
x: uint256(
|
|
100
|
-
y: uint256(
|
|
99
|
+
x: uint256(0x2ef40d11ac56d2ed8e03d31dc521f078f5e866cbde645f9eb678dfcd12066203),
|
|
100
|
+
y: uint256(0x2019d7eb7fa2879ca7fc0c2319f8b4bc70b1ed31afe502744cf60aeb12f23491)
|
|
101
101
|
}),
|
|
102
102
|
id2: Honk.G1Point({
|
|
103
|
-
x: uint256(
|
|
104
|
-
y: uint256(
|
|
103
|
+
x: uint256(0x18eb9555275923fa7cc3a81375b61b42f7a3926f6578ec658b69bf401fca0217),
|
|
104
|
+
y: uint256(0x22e5b72ce43640eec1ee08579b19b91ada1f87b9778e9b870ea3a98c6c79f0c0)
|
|
105
105
|
}),
|
|
106
106
|
id3: Honk.G1Point({
|
|
107
|
-
x: uint256(
|
|
108
|
-
y: uint256(
|
|
107
|
+
x: uint256(0x10e810f71b5f83ffe9b5307026b3ba3733de54a3c95957e558ed66028c32a139),
|
|
108
|
+
y: uint256(0x185198d898c3e0db1ccf50ca9bdb467dcbe2424fcaf0f1a72dce1446d260cb6c)
|
|
109
109
|
}),
|
|
110
110
|
id4: Honk.G1Point({
|
|
111
|
-
x: uint256(
|
|
112
|
-
y: uint256(
|
|
111
|
+
x: uint256(0x07b76b964b515ad4f0800bd4a9c4d6c752fccb6c48324322c1593fc387a88ab7),
|
|
112
|
+
y: uint256(0x0271cb1e74de6ff3b23e8050962297d37a4fdea9b3b3eb8560776eb1090313a1)
|
|
113
113
|
}),
|
|
114
114
|
lagrangeFirst: Honk.G1Point({
|
|
115
115
|
x: uint256(0x0000000000000000000000000000000000000000000000000000000000000001),
|
|
116
116
|
y: uint256(0x0000000000000000000000000000000000000000000000000000000000000002)
|
|
117
117
|
}),
|
|
118
118
|
lagrangeLast: Honk.G1Point({
|
|
119
|
-
x: uint256(
|
|
120
|
-
y: uint256(
|
|
119
|
+
x: uint256(0x0e65125738a0d2558d62fd9facb705bae323a4e2936b098a1114e842246637ef),
|
|
120
|
+
y: uint256(0x076de57c973ec9b9d5a46b63be972750c24628c1c58228e14349ffda833a7173)
|
|
121
121
|
})
|
|
122
122
|
});
|
|
123
123
|
return vk;
|
|
@@ -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),
|