@aztec/ivc-integration 0.87.2 → 0.87.3-nightly.20250528
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_inner.vk.data.json +9 -9
- 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 +42 -42
- 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 -1
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +13 -9
- package/dest/serve.js +5 -5
- package/dest/types/index.d.ts +14 -0
- package/dest/types/index.d.ts.map +1 -1
- package/package.json +16 -18
- package/src/prove_native.ts +18 -10
- package/src/serve.ts +5 -5
- package/src/types/index.ts +16 -0
|
@@ -1,95 +1,95 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000002000000000000000000015000000000000001b000000000000000100000001000000110382fa2f9be2a6a530c02f31a5a7aba3ee84317a1104c68533d118c3014870240d3a88fc0221a4da8601a31291cacc20465b2046ed2e84bb41b5d127c64b92bf29c0ec73bced3ea002f7a1c1da2274b5d7e94eb68e147fa2008f40d020adf62d210d02f7b303a573e48ece88f02d2e8fe9ffb484a7a30124684f9771ecc1a7dc06c2ce01e9d2daf184a47bec08935363d2b2f824e15b3c8f049da2c9650bec89222cd6d1125aee385dfa1cfd438398da1d514810dec3aca15a53f1da8ba5f4822d0d12f93b3ecbcf46533ab6965cb50261ea32a73f60d5f11e1e4decf209eb7c012e45d8a5bf20d24536e91d7e5e4a94faa39950a37e14dc83fa237d4df484fd29dfa6905d01ed6d7a0431e1d018693e77629b22b7912e4fb1bc4b5685a15e32005c1cdad532248a862ab9bfafb05955baf916f101f733b625845833b4aeb9a11ad0bffc42b74edbb45e1297405ce817f7ad1a8a6d4ce7c1ef8676a5a11c601c1ec0ffaae2631e1b349f553d496ca6c44c727f911a941c5be1bd3bc99414263125043141e7a515687c6d80d0853b76d9ad8b5943ead2741efdeb311b8305c9db0d8d5f85133d06d56249c6463ac0233447e05ab4400999c9704862944ef03bb32025320690f4b6e6c4227f1da351e5b7f5265b1aaf1c3d6a9d6de8225834c4682758042383152021534c6898305ba9649264a4ae09fdb912878fae7580735ec519251d8bf4ee2e21a47d020967c91a5733da1791cc095b22d15e318aee3e6805185fcf4796082d13e1ffcdcb68842654c5b573f5c10ecd6217702aa9edc15b2d1d869069a0d94e5a5874f1749f996a7e00fb7550d5276b31901d5d830f20c574086bd1fec745679115561be4d161864cbead8be61e3a75962996fa623546213b2adac71bcf1cd111f36ad6f15a5193d524014b8eed86f9876453688a3098286b28ba7c1954353fa7abd8a2678bfaa2fdd738758c82649803e03b3fd5648feade23ede2f50610e8b5f18802057eab224268e45b3d1e6398c6a4ed95128f069cca07cd1fa1068cc005418d094b5253e2b984387f291458753a571069a3739f08281879d552f7aae55ecc9dd2c019eeb203bdaabb9a5df8cc411aee7bbffe1824b711bd33e17c99b99b8cf12eff62d64bd222978c6bcff231f5b16dcd02d6ca76ff248cdc5d63fb1b1a11b5dd8dc93b99a28acd04aa8abe4e4b82bb1ecfcb070e2a05a03fa904bb455ac350531cf2d485c64c1d2b687ca604441c828d24a44efea01ac3f89cd5fcc041b662fde07f87ba71e1eaddaa521018494588ce46d375672319a6dfe208ca48dc42f77cff0ca4d487fb7716c310db923fc7e32cbd2adade9b286cae31a87c53e79a962b2a6c2c0fc40bab97924310ee7fd338622aa4e1848c16a7ed0b1d0a573bf5b11f4ffeb454aa440b82ac668057f95d5b05fddf3a04030ed9a0ce5c29416df1b0d7d127bbcff1f8444c585e2a169ba1262b171ecf08d10eaee41417b0b80fba8c1ef9a9b1dfa5267633b28321683a87927fb069776c7a2428e59d31ef39d4b3d2d1e2a0fa054e23ca412836fad42ac9175c3903a18962209a01dbe17f22e892718110f07e574984638ea24f1e29afe7a3bf1bf71fe4401ea062759b11379db741528e4ae9bf9615e8377cbdaac2e09b3da9f6ee377f6403be1341ffc675de268804471d7034610c6cbac47989256442244695bc0a90f00f7525c9fecaeee263d12f153208511aa436186c8a9aec3a2a4c3cef43e846ca086418eee2cb0183213aece2d18d1949890a9ba77a912472ba657d6b6fd86d9f17c467451313f616eed9b8bfb9616b3c3340151ca3f7bbab6691bb3197146652247b3cc917ba4bf7f847e15abefdc7ea7ae2e4758531d8b9c8a6ac7efaee184f217f0ffe90bea51c49a1b331adae9c2b80d6b55199d55c762fbaec636a525f3e09c45c61155d314160b50b20e35c940ed2d8303f6f9c83d86d5c13f3fb4e99dd188a2ffed7f8cbe84c7a0f1b018cd09cf5a0abb80a3b2fe13b28fe8f315409b723cd626f5dde3ce81de0e7d4f74dc285656153a6120eebdf3a488dccad95d00d2e51457f90ac649be71c69813f8f70e014214cfc1eec34001bc0e37213a3dd9026249bcca5ce3da70630c31f07cb5cc4cab1a1d3479411afd12fa5603beef8ad1ee5d0cdde02f62e468b034f988c56cf91f0cb73295831bc93869fc19cdbad991558e16ed49142b74e4a2085b22287183a142ac675e313630847be47fe912b9100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002246ca7ffe7e074b8445a1a3c3c02c10ece0a5c9927f956e3e1d455f7b37ead950ae4652777be36d2126390fb315683f5da82dc8a8922aea88c345452381b9174",
|
|
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
|
+
"0x000000000000000000000000000000a3ee84317a1104c68533d118c301487024",
|
|
10
|
+
"0x00000000000000000000000000000000000382fa2f9be2a6a530c02f31a5a7ab",
|
|
11
|
+
"0x00000000000000000000000000000020465b2046ed2e84bb41b5d127c64b92bf",
|
|
12
|
+
"0x00000000000000000000000000000000000d3a88fc0221a4da8601a31291cacc",
|
|
13
|
+
"0x000000000000000000000000000000b5d7e94eb68e147fa2008f40d020adf62d",
|
|
14
|
+
"0x000000000000000000000000000000000029c0ec73bced3ea002f7a1c1da2274",
|
|
15
|
+
"0x0000000000000000000000000000008fe9ffb484a7a30124684f9771ecc1a7dc",
|
|
16
|
+
"0x0000000000000000000000000000000000210d02f7b303a573e48ece88f02d2e",
|
|
17
|
+
"0x00000000000000000000000000000063d2b2f824e15b3c8f049da2c9650bec89",
|
|
18
|
+
"0x000000000000000000000000000000000006c2ce01e9d2daf184a47bec089353",
|
|
19
|
+
"0x000000000000000000000000000000da1d514810dec3aca15a53f1da8ba5f482",
|
|
20
|
+
"0x0000000000000000000000000000000000222cd6d1125aee385dfa1cfd438398",
|
|
21
|
+
"0x0000000000000000000000000000000261ea32a73f60d5f11e1e4decf209eb7c",
|
|
22
|
+
"0x00000000000000000000000000000000002d0d12f93b3ecbcf46533ab6965cb5",
|
|
23
|
+
"0x00000000000000000000000000000094faa39950a37e14dc83fa237d4df484fd",
|
|
24
|
+
"0x0000000000000000000000000000000000012e45d8a5bf20d24536e91d7e5e4a",
|
|
25
|
+
"0x0000000000000000000000000000003e77629b22b7912e4fb1bc4b5685a15e32",
|
|
26
|
+
"0x000000000000000000000000000000000029dfa6905d01ed6d7a0431e1d01869",
|
|
27
|
+
"0x00000000000000000000000000000055baf916f101f733b625845833b4aeb9a1",
|
|
28
|
+
"0x0000000000000000000000000000000000005c1cdad532248a862ab9bfafb059",
|
|
29
|
+
"0x00000000000000000000000000000017f7ad1a8a6d4ce7c1ef8676a5a11c601c",
|
|
30
|
+
"0x00000000000000000000000000000000001ad0bffc42b74edbb45e1297405ce8",
|
|
31
|
+
"0x000000000000000000000000000000c44c727f911a941c5be1bd3bc994142631",
|
|
32
|
+
"0x00000000000000000000000000000000001ec0ffaae2631e1b349f553d496ca6",
|
|
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
|
+
"0x000000000000000000000000000000b7f5265b1aaf1c3d6a9d6de8225834c468",
|
|
38
|
+
"0x00000000000000000000000000000000002025320690f4b6e6c4227f1da351e5",
|
|
39
|
+
"0x000000000000000000000000000000649264a4ae09fdb912878fae7580735ec5",
|
|
40
|
+
"0x00000000000000000000000000000000002758042383152021534c6898305ba9",
|
|
41
|
+
"0x0000000000000000000000000000005733da1791cc095b22d15e318aee3e6805",
|
|
42
|
+
"0x000000000000000000000000000000000019251d8bf4ee2e21a47d020967c91a",
|
|
43
|
+
"0x00000000000000000000000000000054c5b573f5c10ecd6217702aa9edc15b2d",
|
|
44
|
+
"0x0000000000000000000000000000000000185fcf4796082d13e1ffcdcb688426",
|
|
45
|
+
"0x0000000000000000000000000000007e00fb7550d5276b31901d5d830f20c574",
|
|
46
|
+
"0x00000000000000000000000000000000001d869069a0d94e5a5874f1749f996a",
|
|
47
|
+
"0x0000000000000000000000000000004cbead8be61e3a75962996fa623546213b",
|
|
48
|
+
"0x0000000000000000000000000000000000086bd1fec745679115561be4d16186",
|
|
49
|
+
"0x000000000000000000000000000000d524014b8eed86f9876453688a3098286b",
|
|
50
|
+
"0x00000000000000000000000000000000002adac71bcf1cd111f36ad6f15a5193",
|
|
51
|
+
"0x000000000000000000000000000000fdd738758c82649803e03b3fd5648feade",
|
|
52
|
+
"0x000000000000000000000000000000000028ba7c1954353fa7abd8a2678bfaa2",
|
|
53
|
+
"0x0000000000000000000000000000004268e45b3d1e6398c6a4ed95128f069cca",
|
|
54
|
+
"0x000000000000000000000000000000000023ede2f50610e8b5f18802057eab22",
|
|
55
|
+
"0x000000000000000000000000000000b984387f291458753a571069a3739f0828",
|
|
56
|
+
"0x000000000000000000000000000000000007cd1fa1068cc005418d094b5253e2",
|
|
57
|
+
"0x00000000000000000000000000000003bdaabb9a5df8cc411aee7bbffe1824b7",
|
|
58
|
+
"0x00000000000000000000000000000000001879d552f7aae55ecc9dd2c019eeb2",
|
|
59
|
+
"0x000000000000000000000000000000d222978c6bcff231f5b16dcd02d6ca76ff",
|
|
60
|
+
"0x000000000000000000000000000000000011bd33e17c99b99b8cf12eff62d64b",
|
|
61
|
+
"0x000000000000000000000000000000a28acd04aa8abe4e4b82bb1ecfcb070e2a",
|
|
62
|
+
"0x0000000000000000000000000000000000248cdc5d63fb1b1a11b5dd8dc93b99",
|
|
63
|
+
"0x000000000000000000000000000000c64c1d2b687ca604441c828d24a44efea0",
|
|
64
|
+
"0x000000000000000000000000000000000005a03fa904bb455ac350531cf2d485",
|
|
65
|
+
"0x00000000000000000000000000000071e1eaddaa521018494588ce46d3756723",
|
|
66
|
+
"0x00000000000000000000000000000000001ac3f89cd5fcc041b662fde07f87ba",
|
|
67
|
+
"0x00000000000000000000000000000087fb7716c310db923fc7e32cbd2adade9b",
|
|
68
|
+
"0x000000000000000000000000000000000019a6dfe208ca48dc42f77cff0ca4d4",
|
|
69
|
+
"0x000000000000000000000000000000c40bab97924310ee7fd338622aa4e1848c",
|
|
70
|
+
"0x0000000000000000000000000000000000286cae31a87c53e79a962b2a6c2c0f",
|
|
71
|
+
"0x000000000000000000000000000000aa440b82ac668057f95d5b05fddf3a0403",
|
|
72
|
+
"0x000000000000000000000000000000000016a7ed0b1d0a573bf5b11f4ffeb454",
|
|
73
|
+
"0x000000000000000000000000000000f1f8444c585e2a169ba1262b171ecf08d1",
|
|
74
|
+
"0x00000000000000000000000000000000000ed9a0ce5c29416df1b0d7d127bbcf",
|
|
75
|
+
"0x000000000000000000000000000000a5267633b28321683a87927fb069776c7a",
|
|
76
|
+
"0x00000000000000000000000000000000000eaee41417b0b80fba8c1ef9a9b1df",
|
|
77
|
+
"0x0000000000000000000000000000004e23ca412836fad42ac9175c3903a18962",
|
|
78
|
+
"0x00000000000000000000000000000000002428e59d31ef39d4b3d2d1e2a0fa05",
|
|
79
|
+
"0x0000000000000000000000000000004984638ea24f1e29afe7a3bf1bf71fe440",
|
|
80
|
+
"0x0000000000000000000000000000000000209a01dbe17f22e892718110f07e57",
|
|
81
|
+
"0x0000000000000000000000000000009615e8377cbdaac2e09b3da9f6ee377f64",
|
|
82
|
+
"0x00000000000000000000000000000000001ea062759b11379db741528e4ae9bf",
|
|
83
|
+
"0x000000000000000000000000000000610c6cbac47989256442244695bc0a90f0",
|
|
84
|
+
"0x000000000000000000000000000000000003be1341ffc675de268804471d7034",
|
|
85
|
+
"0x0000000000000000000000000000001aa436186c8a9aec3a2a4c3cef43e846ca",
|
|
86
|
+
"0x00000000000000000000000000000000000f7525c9fecaeee263d12f15320851",
|
|
87
|
+
"0x00000000000000000000000000000049890a9ba77a912472ba657d6b6fd86d9f",
|
|
88
|
+
"0x0000000000000000000000000000000000086418eee2cb0183213aece2d18d19",
|
|
89
|
+
"0x0000000000000000000000000000003c3340151ca3f7bbab6691bb3197146652",
|
|
90
|
+
"0x000000000000000000000000000000000017c467451313f616eed9b8bfb9616b",
|
|
91
|
+
"0x000000000000000000000000000000ea7ae2e4758531d8b9c8a6ac7efaee184f",
|
|
92
|
+
"0x0000000000000000000000000000000000247b3cc917ba4bf7f847e15abefdc7",
|
|
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
|
+
"0x0000000000000000000000000000000ece0a5c9927f956e3e1d455f7b37ead95",
|
|
114
|
+
"0x0000000000000000000000000000000000246ca7ffe7e074b8445a1a3c3c02c1",
|
|
115
|
+
"0x000000000000000000000000000000f5da82dc8a8922aea88c345452381b9174",
|
|
116
|
+
"0x00000000000000000000000000000000000ae4652777be36d2126390fb315683"
|
|
117
117
|
]
|
|
118
118
|
}
|
|
@@ -1,94 +1,94 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000020000000000000000000019000000000000001100000000000000012eac758e9a1f9cc1c0939a9528ec7e0b062227b84fa209df163ecf1537ef0cfe02b99b2f9991bf9fb75442a0fa20321ac3b3cbbfa8ec870f275b6146b10d1a6c2ee7585f4873eb36d8f3447404ef8ac1768d3927cff2ca0d286e13adeb2c6c4a1802dfa9e062ffc7ea3f960b894b0d9974fef7f4f5fe01fb955afb8318a391ef1a898f522eb3a58be267baf63a037ad9e270eff71c43e924624994b11997bf560b2a3061747c38af37187f03b3bd1cfca21e064040d8929c1c6b7da01796d8d328d29112c838ec6cc5c5630fc7f8066d2a50fe07e6423737d4b546625a7c3a341ac53bb6636de9edbbb91edd152b2ea3f8f67dc5d89728a9dbe86458121e395e02ff882e3c1cd542328d171a4dba894dfaec59a053359020ba88ae4faeb5ec5622a75d1038d4811e041faf597a55035e55710c218ee427cf605e1f3846e3be520ffe8951940d25108dccd0b3222038df68fb9c91b4b15f6588ed75c32ba576432830749359934bd336287567ab18fd87028bc4e8489a2e510cb647d5c847b3300c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc91084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f8511595494626a4581fbe1c19819fa70ab335bdd18dc22e6cdd5f8d55a2c243965809d3f313878471fab30fc38fa4aa43f869872a3edc8c40b642600c6fb3f236a12cfffb772972e8a557ff548e8b3b987d5b32fbc27a989265f1a7cdcc067f2f991945890f7ab9cb27a556e68a888ecdf3c0eda39dc93ebe4a5f25e32a69333d1e2431f9e7c1beddbd24c141a09c104e39782d0e8dac59223785b9e445c4e3266a2026d14959133d2a7e42d6e9c43f01469cb041325632c3797352fcff331bfd6124b31119677d80e6af43a8d4cc0bed13dd211ed2d85b181c6a2f68117e2c3c69040d13671701f72c277df5caddf8f2c0c21fa92f53bd4f829a6daa9447d4aa981f2e904be08e16ee2e5c42424acbd562943cf28c58748ec5ca5f07ef178200cb0602da055bcce3b621fdae7412e778989c2c7cd88626ca08d4c7e1e598f616682f1e7a8a2d4da23bb8da7ecc1f51136d811d57f53eba9ccecbba2f2769af02fb0e29baeb54a49a65c3edc0d1fff53d0552eca2ec5182686a46354c5684bdbb3106b325a8a0d20b1a444ab593ca09be05e1205f1a6c2617e29f5079b3f364065c17dc21c8dd73dc792acccaf5d2a91687ecbd52ee531ba8ac8e09022b28f6d67c28eb82d64153811c4b96740e3263632cd82c7d10eb594718287c60588224cb781c2691cff3b40368c752a4280a09c62153e23c6e757a3bd2dccfd449dd36f8c70eb1f1ddf145763c57d347552dccede3da73c86f46d138e14d860740cbb109ba1ad4bb8afd79ad03732ef4beb76390f60a017d1d998a0a45afa561c92c5eb68d04ce7db99bf20d8971799801bbea5b943c459e5378685064728bd995124fe690304a333cd2cce9026254543ca7f904ac0b4f00888ffccdd01dca25259c82c3f405dd551bfde442edad3b2e7cb8ad56f8a32153e8c92eb2974429afb1d1f198390b3a8d596e0897307b990ea226c045a8d313f44876a809a8e681f3872d4035a92024e1e250e9813c79a5bca70d1ed7c33445b825c7146d16987983e5ab59f80b17b0c635d540657999fa4d1f2d39da775ce71e59d6bae3d62c4284d3ec8787642b8855b2c6b4235036526f7d81a498d619de7bc9c6065eaf976f272db9cf1c8016f5d3d5b2949f3ff23bb2eb3d042271b144dc0dc304ee55d43163d075d8fff91c54be9f959af0cde9b4af0f2d6b3d2a930a6a13593a92b011de893d340dd654138c2a80c5574addf9beb2f6664f3d356743d4d88d8b15f87d974240d8a5054c0450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc46810005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb20c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b187b9371870f579be414054241d418f5689db2f6cbfabe968378fd68e9b280c00964ab30f99cb72cc59d0f621604926cfebfcff535f724f619bb0e7a4853dbdb132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd5875264866282c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca390000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000229118108e322530d8f66e9e6c7354201b5d9036d520b4c693c6a6108cd239c07228359ccc0458dd6424a944dea3f016deb6757ae755ec4a52011a1666f39dc87",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000002000000",
|
|
5
5
|
"0x0000000000000000000000000000000000000000000000000000000000000011",
|
|
6
6
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
7
7
|
"0x00000000000000000000000000000000000000000000000000000000ffffffff",
|
|
8
|
-
"
|
|
9
|
-
"
|
|
10
|
-
"
|
|
11
|
-
"
|
|
12
|
-
"
|
|
13
|
-
"
|
|
14
|
-
"
|
|
15
|
-
"
|
|
16
|
-
"
|
|
17
|
-
"
|
|
18
|
-
"
|
|
19
|
-
"
|
|
20
|
-
"
|
|
21
|
-
"
|
|
22
|
-
"
|
|
23
|
-
"
|
|
24
|
-
"
|
|
25
|
-
"
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
"
|
|
8
|
+
"0x0000000000000000000000000000000b062227b84fa209df163ecf1537ef0cfe",
|
|
9
|
+
"0x00000000000000000000000000000000002eac758e9a1f9cc1c0939a9528ec7e",
|
|
10
|
+
"0x0000000000000000000000000000001ac3b3cbbfa8ec870f275b6146b10d1a6c",
|
|
11
|
+
"0x000000000000000000000000000000000002b99b2f9991bf9fb75442a0fa2032",
|
|
12
|
+
"0x000000000000000000000000000000c1768d3927cff2ca0d286e13adeb2c6c4a",
|
|
13
|
+
"0x00000000000000000000000000000000002ee7585f4873eb36d8f3447404ef8a",
|
|
14
|
+
"0x0000000000000000000000000000009974fef7f4f5fe01fb955afb8318a391ef",
|
|
15
|
+
"0x00000000000000000000000000000000001802dfa9e062ffc7ea3f960b894b0d",
|
|
16
|
+
"0x000000000000000000000000000000d9e270eff71c43e924624994b11997bf56",
|
|
17
|
+
"0x00000000000000000000000000000000001a898f522eb3a58be267baf63a037a",
|
|
18
|
+
"0x000000000000000000000000000000fca21e064040d8929c1c6b7da01796d8d3",
|
|
19
|
+
"0x00000000000000000000000000000000000b2a3061747c38af37187f03b3bd1c",
|
|
20
|
+
"0x0000000000000000000000000000006d2a50fe07e6423737d4b546625a7c3a34",
|
|
21
|
+
"0x000000000000000000000000000000000028d29112c838ec6cc5c5630fc7f806",
|
|
22
|
+
"0x000000000000000000000000000000a3f8f67dc5d89728a9dbe86458121e395e",
|
|
23
|
+
"0x00000000000000000000000000000000001ac53bb6636de9edbbb91edd152b2e",
|
|
24
|
+
"0x0000000000000000000000000000004dfaec59a053359020ba88ae4faeb5ec56",
|
|
25
|
+
"0x000000000000000000000000000000000002ff882e3c1cd542328d171a4dba89",
|
|
26
|
+
"0x0000000000000000000000000000005e55710c218ee427cf605e1f3846e3be52",
|
|
27
|
+
"0x000000000000000000000000000000000022a75d1038d4811e041faf597a5503",
|
|
28
|
+
"0x000000000000000000000000000000df68fb9c91b4b15f6588ed75c32ba57643",
|
|
29
|
+
"0x00000000000000000000000000000000000ffe8951940d25108dccd0b3222038",
|
|
30
|
+
"0x00000000000000000000000000000087028bc4e8489a2e510cb647d5c847b330",
|
|
31
|
+
"0x00000000000000000000000000000000002830749359934bd336287567ab18fd",
|
|
32
32
|
"0x000000000000000000000000000000bc3661650d53f9b24d923d8f404cb0bbc9",
|
|
33
33
|
"0x00000000000000000000000000000000000c4032c3079594eb75a8449d3d5ce8",
|
|
34
34
|
"0x00000000000000000000000000000054eb5fe796a0ca89441369b7c24301f851",
|
|
35
35
|
"0x00000000000000000000000000000000001084d709650356d40f0158fd6da81f",
|
|
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
|
-
"
|
|
91
|
-
"
|
|
36
|
+
"0x000000000000000000000000000000b335bdd18dc22e6cdd5f8d55a2c2439658",
|
|
37
|
+
"0x00000000000000000000000000000000001595494626a4581fbe1c19819fa70a",
|
|
38
|
+
"0x000000000000000000000000000000f869872a3edc8c40b642600c6fb3f236a1",
|
|
39
|
+
"0x000000000000000000000000000000000009d3f313878471fab30fc38fa4aa43",
|
|
40
|
+
"0x0000000000000000000000000000007d5b32fbc27a989265f1a7cdcc067f2f99",
|
|
41
|
+
"0x00000000000000000000000000000000002cfffb772972e8a557ff548e8b3b98",
|
|
42
|
+
"0x000000000000000000000000000000f3c0eda39dc93ebe4a5f25e32a69333d1e",
|
|
43
|
+
"0x00000000000000000000000000000000001945890f7ab9cb27a556e68a888ecd",
|
|
44
|
+
"0x00000000000000000000000000000039782d0e8dac59223785b9e445c4e3266a",
|
|
45
|
+
"0x00000000000000000000000000000000002431f9e7c1beddbd24c141a09c104e",
|
|
46
|
+
"0x000000000000000000000000000000469cb041325632c3797352fcff331bfd61",
|
|
47
|
+
"0x00000000000000000000000000000000002026d14959133d2a7e42d6e9c43f01",
|
|
48
|
+
"0x00000000000000000000000000000013dd211ed2d85b181c6a2f68117e2c3c69",
|
|
49
|
+
"0x000000000000000000000000000000000024b31119677d80e6af43a8d4cc0bed",
|
|
50
|
+
"0x000000000000000000000000000000c0c21fa92f53bd4f829a6daa9447d4aa98",
|
|
51
|
+
"0x0000000000000000000000000000000000040d13671701f72c277df5caddf8f2",
|
|
52
|
+
"0x00000000000000000000000000000062943cf28c58748ec5ca5f07ef178200cb",
|
|
53
|
+
"0x00000000000000000000000000000000001f2e904be08e16ee2e5c42424acbd5",
|
|
54
|
+
"0x000000000000000000000000000000989c2c7cd88626ca08d4c7e1e598f61668",
|
|
55
|
+
"0x00000000000000000000000000000000000602da055bcce3b621fdae7412e778",
|
|
56
|
+
"0x0000000000000000000000000000006d811d57f53eba9ccecbba2f2769af02fb",
|
|
57
|
+
"0x00000000000000000000000000000000002f1e7a8a2d4da23bb8da7ecc1f5113",
|
|
58
|
+
"0x0000000000000000000000000000000552eca2ec5182686a46354c5684bdbb31",
|
|
59
|
+
"0x00000000000000000000000000000000000e29baeb54a49a65c3edc0d1fff53d",
|
|
60
|
+
"0x00000000000000000000000000000005e1205f1a6c2617e29f5079b3f364065c",
|
|
61
|
+
"0x000000000000000000000000000000000006b325a8a0d20b1a444ab593ca09be",
|
|
62
|
+
"0x00000000000000000000000000000087ecbd52ee531ba8ac8e09022b28f6d67c",
|
|
63
|
+
"0x000000000000000000000000000000000017dc21c8dd73dc792acccaf5d2a916",
|
|
64
|
+
"0x0000000000000000000000000000002cd82c7d10eb594718287c60588224cb78",
|
|
65
|
+
"0x000000000000000000000000000000000028eb82d64153811c4b96740e326363",
|
|
66
|
+
"0x0000000000000000000000000000002153e23c6e757a3bd2dccfd449dd36f8c7",
|
|
67
|
+
"0x00000000000000000000000000000000001c2691cff3b40368c752a4280a09c6",
|
|
68
|
+
"0x000000000000000000000000000000e3da73c86f46d138e14d860740cbb109ba",
|
|
69
|
+
"0x00000000000000000000000000000000000eb1f1ddf145763c57d347552dcced",
|
|
70
|
+
"0x000000000000000000000000000000f60a017d1d998a0a45afa561c92c5eb68d",
|
|
71
|
+
"0x00000000000000000000000000000000001ad4bb8afd79ad03732ef4beb76390",
|
|
72
|
+
"0x000000000000000000000000000000943c459e5378685064728bd995124fe690",
|
|
73
|
+
"0x000000000000000000000000000000000004ce7db99bf20d8971799801bbea5b",
|
|
74
|
+
"0x000000000000000000000000000000ac0b4f00888ffccdd01dca25259c82c3f4",
|
|
75
|
+
"0x0000000000000000000000000000000000304a333cd2cce9026254543ca7f904",
|
|
76
|
+
"0x000000000000000000000000000000f8a32153e8c92eb2974429afb1d1f19839",
|
|
77
|
+
"0x000000000000000000000000000000000005dd551bfde442edad3b2e7cb8ad56",
|
|
78
|
+
"0x000000000000000000000000000000a8d313f44876a809a8e681f3872d4035a9",
|
|
79
|
+
"0x00000000000000000000000000000000000b3a8d596e0897307b990ea226c045",
|
|
80
|
+
"0x000000000000000000000000000000c33445b825c7146d16987983e5ab59f80b",
|
|
81
|
+
"0x00000000000000000000000000000000002024e1e250e9813c79a5bca70d1ed7",
|
|
82
|
+
"0x000000000000000000000000000000775ce71e59d6bae3d62c4284d3ec878764",
|
|
83
|
+
"0x000000000000000000000000000000000017b0c635d540657999fa4d1f2d39da",
|
|
84
|
+
"0x000000000000000000000000000000d619de7bc9c6065eaf976f272db9cf1c80",
|
|
85
|
+
"0x00000000000000000000000000000000002b8855b2c6b4235036526f7d81a498",
|
|
86
|
+
"0x00000000000000000000000000000071b144dc0dc304ee55d43163d075d8fff9",
|
|
87
|
+
"0x000000000000000000000000000000000016f5d3d5b2949f3ff23bb2eb3d0422",
|
|
88
|
+
"0x0000000000000000000000000000002a930a6a13593a92b011de893d340dd654",
|
|
89
|
+
"0x00000000000000000000000000000000001c54be9f959af0cde9b4af0f2d6b3d",
|
|
90
|
+
"0x000000000000000000000000000000356743d4d88d8b15f87d974240d8a5054c",
|
|
91
|
+
"0x0000000000000000000000000000000000138c2a80c5574addf9beb2f6664f3d",
|
|
92
92
|
"0x0000000000000000000000000000002b1c1c2637db3f8fecd9d8bb38442cc468",
|
|
93
93
|
"0x00000000000000000000000000000000000450f8716810dff987300c3bc10a89",
|
|
94
94
|
"0x0000000000000000000000000000005db2bf83f8a194086a4cca39916b578faf",
|
|
@@ -109,9 +109,9 @@
|
|
|
109
109
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
110
110
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
111
111
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
112
|
-
"
|
|
113
|
-
"
|
|
114
|
-
"
|
|
115
|
-
"
|
|
112
|
+
"0x00000000000000000000000000000001b5d9036d520b4c693c6a6108cd239c07",
|
|
113
|
+
"0x000000000000000000000000000000000029118108e322530d8f66e9e6c73542",
|
|
114
|
+
"0x0000000000000000000000000000006deb6757ae755ec4a52011a1666f39dc87",
|
|
115
|
+
"0x0000000000000000000000000000000000228359ccc0458dd6424a944dea3f01"
|
|
116
116
|
]
|
|
117
117
|
}
|
|
@@ -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(0x1a898f522eb3a58be267baf63a037ad9e270eff71c43e924624994b11997bf56),
|
|
16
|
+
y: uint256(0x0b2a3061747c38af37187f03b3bd1cfca21e064040d8929c1c6b7da01796d8d3)
|
|
17
17
|
}),
|
|
18
18
|
qr: Honk.G1Point({
|
|
19
|
-
x: uint256(
|
|
20
|
-
y: uint256(
|
|
19
|
+
x: uint256(0x28d29112c838ec6cc5c5630fc7f8066d2a50fe07e6423737d4b546625a7c3a34),
|
|
20
|
+
y: uint256(0x1ac53bb6636de9edbbb91edd152b2ea3f8f67dc5d89728a9dbe86458121e395e)
|
|
21
21
|
}),
|
|
22
22
|
qo: Honk.G1Point({
|
|
23
|
-
x: uint256(
|
|
24
|
-
y: uint256(
|
|
23
|
+
x: uint256(0x02ff882e3c1cd542328d171a4dba894dfaec59a053359020ba88ae4faeb5ec56),
|
|
24
|
+
y: uint256(0x22a75d1038d4811e041faf597a55035e55710c218ee427cf605e1f3846e3be52)
|
|
25
25
|
}),
|
|
26
26
|
q4: Honk.G1Point({
|
|
27
|
-
x: uint256(
|
|
28
|
-
y: uint256(
|
|
27
|
+
x: uint256(0x0ffe8951940d25108dccd0b3222038df68fb9c91b4b15f6588ed75c32ba57643),
|
|
28
|
+
y: uint256(0x2830749359934bd336287567ab18fd87028bc4e8489a2e510cb647d5c847b330)
|
|
29
29
|
}),
|
|
30
30
|
qm: Honk.G1Point({
|
|
31
|
-
x: uint256(
|
|
32
|
-
y: uint256(
|
|
31
|
+
x: uint256(0x2eac758e9a1f9cc1c0939a9528ec7e0b062227b84fa209df163ecf1537ef0cfe),
|
|
32
|
+
y: uint256(0x02b99b2f9991bf9fb75442a0fa20321ac3b3cbbfa8ec870f275b6146b10d1a6c)
|
|
33
33
|
}),
|
|
34
34
|
qc: Honk.G1Point({
|
|
35
|
-
x: uint256(
|
|
36
|
-
y: uint256(
|
|
35
|
+
x: uint256(0x2ee7585f4873eb36d8f3447404ef8ac1768d3927cff2ca0d286e13adeb2c6c4a),
|
|
36
|
+
y: uint256(0x1802dfa9e062ffc7ea3f960b894b0d9974fef7f4f5fe01fb955afb8318a391ef)
|
|
37
37
|
}),
|
|
38
38
|
qArith: Honk.G1Point({
|
|
39
|
-
x: uint256(
|
|
40
|
-
y: uint256(
|
|
39
|
+
x: uint256(0x1595494626a4581fbe1c19819fa70ab335bdd18dc22e6cdd5f8d55a2c2439658),
|
|
40
|
+
y: uint256(0x09d3f313878471fab30fc38fa4aa43f869872a3edc8c40b642600c6fb3f236a1)
|
|
41
41
|
}),
|
|
42
42
|
qDeltaRange: Honk.G1Point({
|
|
43
|
-
x: uint256(
|
|
44
|
-
y: uint256(
|
|
43
|
+
x: uint256(0x2cfffb772972e8a557ff548e8b3b987d5b32fbc27a989265f1a7cdcc067f2f99),
|
|
44
|
+
y: uint256(0x1945890f7ab9cb27a556e68a888ecdf3c0eda39dc93ebe4a5f25e32a69333d1e)
|
|
45
45
|
}),
|
|
46
46
|
qElliptic: Honk.G1Point({
|
|
47
|
-
x: uint256(
|
|
48
|
-
y: uint256(
|
|
47
|
+
x: uint256(0x2431f9e7c1beddbd24c141a09c104e39782d0e8dac59223785b9e445c4e3266a),
|
|
48
|
+
y: uint256(0x2026d14959133d2a7e42d6e9c43f01469cb041325632c3797352fcff331bfd61)
|
|
49
49
|
}),
|
|
50
50
|
qAux: Honk.G1Point({
|
|
51
|
-
x: uint256(
|
|
52
|
-
y: uint256(
|
|
51
|
+
x: uint256(0x24b31119677d80e6af43a8d4cc0bed13dd211ed2d85b181c6a2f68117e2c3c69),
|
|
52
|
+
y: uint256(0x040d13671701f72c277df5caddf8f2c0c21fa92f53bd4f829a6daa9447d4aa98)
|
|
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(0x1f2e904be08e16ee2e5c42424acbd562943cf28c58748ec5ca5f07ef178200cb),
|
|
60
|
+
y: uint256(0x0602da055bcce3b621fdae7412e778989c2c7cd88626ca08d4c7e1e598f61668)
|
|
61
61
|
}),
|
|
62
62
|
qPoseidon2Internal: Honk.G1Point({
|
|
63
|
-
x: uint256(
|
|
64
|
-
y: uint256(
|
|
63
|
+
x: uint256(0x2f1e7a8a2d4da23bb8da7ecc1f51136d811d57f53eba9ccecbba2f2769af02fb),
|
|
64
|
+
y: uint256(0x0e29baeb54a49a65c3edc0d1fff53d0552eca2ec5182686a46354c5684bdbb31)
|
|
65
65
|
}),
|
|
66
66
|
s1: Honk.G1Point({
|
|
67
|
-
x: uint256(
|
|
68
|
-
y: uint256(
|
|
67
|
+
x: uint256(0x06b325a8a0d20b1a444ab593ca09be05e1205f1a6c2617e29f5079b3f364065c),
|
|
68
|
+
y: uint256(0x17dc21c8dd73dc792acccaf5d2a91687ecbd52ee531ba8ac8e09022b28f6d67c)
|
|
69
69
|
}),
|
|
70
70
|
s2: Honk.G1Point({
|
|
71
|
-
x: uint256(
|
|
72
|
-
y: uint256(
|
|
71
|
+
x: uint256(0x28eb82d64153811c4b96740e3263632cd82c7d10eb594718287c60588224cb78),
|
|
72
|
+
y: uint256(0x1c2691cff3b40368c752a4280a09c62153e23c6e757a3bd2dccfd449dd36f8c7)
|
|
73
73
|
}),
|
|
74
74
|
s3: Honk.G1Point({
|
|
75
|
-
x: uint256(
|
|
76
|
-
y: uint256(
|
|
75
|
+
x: uint256(0x0eb1f1ddf145763c57d347552dccede3da73c86f46d138e14d860740cbb109ba),
|
|
76
|
+
y: uint256(0x1ad4bb8afd79ad03732ef4beb76390f60a017d1d998a0a45afa561c92c5eb68d)
|
|
77
77
|
}),
|
|
78
78
|
s4: Honk.G1Point({
|
|
79
|
-
x: uint256(
|
|
80
|
-
y: uint256(
|
|
79
|
+
x: uint256(0x04ce7db99bf20d8971799801bbea5b943c459e5378685064728bd995124fe690),
|
|
80
|
+
y: uint256(0x304a333cd2cce9026254543ca7f904ac0b4f00888ffccdd01dca25259c82c3f4)
|
|
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(0x05dd551bfde442edad3b2e7cb8ad56f8a32153e8c92eb2974429afb1d1f19839),
|
|
100
|
+
y: uint256(0x0b3a8d596e0897307b990ea226c045a8d313f44876a809a8e681f3872d4035a9)
|
|
101
101
|
}),
|
|
102
102
|
id2: Honk.G1Point({
|
|
103
|
-
x: uint256(
|
|
104
|
-
y: uint256(
|
|
103
|
+
x: uint256(0x2024e1e250e9813c79a5bca70d1ed7c33445b825c7146d16987983e5ab59f80b),
|
|
104
|
+
y: uint256(0x17b0c635d540657999fa4d1f2d39da775ce71e59d6bae3d62c4284d3ec878764)
|
|
105
105
|
}),
|
|
106
106
|
id3: Honk.G1Point({
|
|
107
|
-
x: uint256(
|
|
108
|
-
y: uint256(
|
|
107
|
+
x: uint256(0x2b8855b2c6b4235036526f7d81a498d619de7bc9c6065eaf976f272db9cf1c80),
|
|
108
|
+
y: uint256(0x16f5d3d5b2949f3ff23bb2eb3d042271b144dc0dc304ee55d43163d075d8fff9)
|
|
109
109
|
}),
|
|
110
110
|
id4: Honk.G1Point({
|
|
111
|
-
x: uint256(
|
|
112
|
-
y: uint256(
|
|
111
|
+
x: uint256(0x1c54be9f959af0cde9b4af0f2d6b3d2a930a6a13593a92b011de893d340dd654),
|
|
112
|
+
y: uint256(0x138c2a80c5574addf9beb2f6664f3d356743d4d88d8b15f87d974240d8a5054c)
|
|
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(0x29118108e322530d8f66e9e6c7354201b5d9036d520b4c693c6a6108cd239c07),
|
|
120
|
+
y: uint256(0x228359ccc0458dd6424a944dea3f016deb6757ae755ec4a52011a1666f39dc87)
|
|
121
121
|
})
|
|
122
122
|
});
|
|
123
123
|
return vk;
|