@aztec/ivc-integration 0.85.0 → 0.86.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/app_creator.vk.data.json +3 -19
- package/artifacts/keys/app_reader.vk.data.json +3 -19
- package/artifacts/keys/mock_private_kernel_init.vk.data.json +1 -17
- package/artifacts/keys/mock_private_kernel_inner.vk.data.json +1 -17
- package/artifacts/keys/mock_private_kernel_reset.vk.data.json +69 -85
- package/artifacts/keys/mock_private_kernel_tail.vk.data.json +1 -17
- package/artifacts/keys/mock_rollup_base_private.vk.data.json +85 -111
- package/artifacts/keys/mock_rollup_base_public.vk.data.json +85 -111
- package/artifacts/keys/mock_rollup_merge.vk.data.json +85 -111
- package/artifacts/keys/mock_rollup_root.vk.data.json +86 -102
- 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/bb_working_directory.d.ts +2 -0
- package/dest/bb_working_directory.d.ts.map +1 -0
- package/dest/bb_working_directory.js +10 -0
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +15 -4
- package/dest/prove_wasm.d.ts +2 -0
- package/dest/prove_wasm.d.ts.map +1 -1
- package/dest/prove_wasm.js +20 -1
- package/dest/types/index.d.ts +10 -10
- package/dest/witgen.d.ts +0 -3
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +0 -42
- package/package.json +19 -21
- package/src/bb_working_directory.ts +9 -0
- package/src/prove_native.ts +13 -8
- package/src/prove_wasm.ts +26 -1
- package/src/types/index.ts +10 -10
- package/src/witgen.ts +0 -26
|
@@ -1,121 +1,95 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "00000000002000000000000000000015000000000000001b000000000000000100000001000000111ee689edb6fc42c0f3f3d593fc8d67e1cea6f5f2383be6a581e4b393ce0b691524074b6c85daf2d0f14b08a1e8a90c2288597bd37af2c114245b33cd65a4cf7222ac5ae90410814b5f23362efde478fdf779ff0a5fe90aeb618a32631324fc6d2dd4288c1ff185889f375a0adb79f5a99677d8abba20818b5162ea29981e00af116225b34e058d10726db110c92ca7a5c38c26a0aff2d324608db0ac94c293332e624ef501ba08f2e0db535f774760ff141ec4229898257e7e8145b8ece45b6011ab15131161d1fdbc60b959ab942b51f77759547a461cea8b56ba1cc6ff0ce4118e0f13b085c6bf65f8d7568030001cbcec6b5067be8dd1cfb54e9a1114bf822aa1dd2353263fe0d6a9dd8c316bc54d59437b6cc4bdd8b11238d5d16323a4ef2e9c6f3841b2a934976c658e58890d239dc30da7b1ef6ffe229e27ea37a514311042841fd64e76d348cd5b2935bc19f861a7f32f21ca5c14ffbbed9ae89bb9652d9954c879480b86767e665ecdfa506f2500de795bf29b19543972489535397f25043141e7a515687c6d80d0853b76d9ad8b5943ead2741efdeb311b8305c9db0d8d5f85133d06d56249c6463ac0233447e05ab4400999c9704862944ef03bb32d7b3b3e543882cfeb6a5fdf7d41bc8e1696113ff7656d643e5f7977e405f3b911bbecae89426986fcf9864337556607ac58a32bfb247d17db9c4f8581c59a4a24a943add8ecbc7ae3d376ef5a68d5bfeea715bdc68c518084a92718b1207ad22332087adacead964803affa787bb48dcb5a4eeb5ea4608ee05900dc51b762c7304348d8914a7bd8ccca1c253dad9f79c134e63a4366fe10438aa09fdc1d6f380f10c5c06f39f3dec55368700bc23e46599139adb61fcc87b3d44dfee21e4f84042d95eb3e12b4ca28beeda3dd01c66a3ce5464d70f3a33fd7280e2351aafde0188bd1c444b3519f47dba10d8e7a4374c8538c6aadeddc40bdc0da709f6f858d2653d651c6fcfef3f161ecb4df78a6c94f57755933c2fb92778ccac7f26a3b500f779904e4ae141225810705d20e43b8c63bbe43b129e9b0cdafac8a9fe99c821c98540d34777be132f58ac47053961033be3ab9053e9457cb07f0541979099425c899f04832ee70bacb1443672574cf38bb8823b77ebeaf6f8dc9beac4ed4070947a15c049b868e2393dbd9022fa289785438d45000423ac8bededc62492d000f6b9d16d587c0f44dba31747cb5e0763113fecb890f8882fe65e1c96db149712993f7a8a581d9b97d4a2d28752f85c1a5ea40aff584d72122ceb42e51c1730f2275884d2d394a189775dc372038625f93c20b0ff8a9d02c0422349e6fb5e78505755675c23147b7816c6a8c8443e6b22c2e92ed6d853555545cca9a64ac7eb724c8a367ba46853e6a34c6c497e486fc052e5adc1b18d7eb08c9957d9df8551c0176473eb30e9c3ede9b3e88ec32daa793fafc09deb4e85158e1909cb5f7c7ac1e5debcd87ebb08b946cbe1ad79106be32ed94cb086b1d4021f5770100f9d6cc2bcc6599df0809ae453ec15774e44c6c9c995fe71abc71e7485fe3b629b7d4d41be36a6a4a11dceb44dae8458d64626d1ebdd8fafac720b23fcb42bad3cbdfde2197c2a7853b7bb52be07e1b3bb97d58126fe86020574f0287f765f3cb34a1f12aed50643985274bc409c377015184fa9d970baab8eedddf121121d8d106ae8c2e8fd524b555fb2fa455381691368481fa4608b917c3ebe43093fa9760ad5fa423a10dd304cfd17329051b3cf38ea90c24a01ee6e4a2e0997c14169730ae3a26011ecbd5e9a69505042b8b06eb7bf90d83a398e0e2b5f2c026d29b10b17671cb2c07981e873dc5ad973e1f706685d9fdc04c5118b9fcc64e20df534ed0393cc7217f0ffe90bea51c49a1b331adae9c2b80d6b55199d55c762fbaec636a525f3e09c45c61155d314160b50b20e35c940ed2d8303f6f9c83d86d5c13f3fb4e99dd188a2ffed7f8cbe84c7a0f1b018cd09cf5a0abb80a3b2fe13b28fe8f315409b723cd626f5dde3ce81de0e7d4f74dc285656153a6120eebdf3a488dccad95d00d2e51457f90ac649be71c69813f8f70e014214cfc1eec34001bc0e37213a3dd9026249bcca5ce3da70630c31f07cb5cc4cab1a1d3479411afd12fa5603beef8ad1ee5d0cdde02f62e468b034f988c56cf91f0cb73295831bc93869fc19cdbad991558e16ed49142b74e4a2085b22287183a142ac675e313630847be47fe912b9100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002238adbeed2165b39244b84a2efd5d9214a33354e0e3e99ba422067fb78e7067b10676f4b4e4d96211427d207f0a3c8358760db29050702fc8b8bc9370a81dad0",
|
|
3
3
|
"keyAsFields": [
|
|
4
4
|
"0x0000000000000000000000000000000000000000000000000000000000200000",
|
|
5
5
|
"0x000000000000000000000000000000000000000000000000000000000000001b",
|
|
6
6
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
7
7
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
8
|
-
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
9
|
-
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
10
|
-
"0x0000000000000000000000000000000000000000000000000000000000000003",
|
|
11
|
-
"0x0000000000000000000000000000000000000000000000000000000000000004",
|
|
12
|
-
"0x0000000000000000000000000000000000000000000000000000000000000005",
|
|
13
|
-
"0x0000000000000000000000000000000000000000000000000000000000000006",
|
|
14
|
-
"0x0000000000000000000000000000000000000000000000000000000000000007",
|
|
15
|
-
"0x0000000000000000000000000000000000000000000000000000000000000008",
|
|
16
|
-
"0x0000000000000000000000000000000000000000000000000000000000000009",
|
|
17
|
-
"0x000000000000000000000000000000000000000000000000000000000000000a",
|
|
18
|
-
"0x000000000000000000000000000000000000000000000000000000000000000b",
|
|
19
|
-
"0x000000000000000000000000000000000000000000000000000000000000000c",
|
|
20
|
-
"0x000000000000000000000000000000000000000000000000000000000000000d",
|
|
21
|
-
"0x000000000000000000000000000000000000000000000000000000000000000e",
|
|
22
|
-
"0x000000000000000000000000000000000000000000000000000000000000000f",
|
|
23
|
-
"0x0000000000000000000000000000000000000000000000000000000000000010",
|
|
24
|
-
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
25
8
|
"0x0000000000000000000000000000000000000000000000000000000000000011",
|
|
26
|
-
"
|
|
27
|
-
"
|
|
28
|
-
"
|
|
29
|
-
"
|
|
30
|
-
"
|
|
31
|
-
"
|
|
32
|
-
"
|
|
33
|
-
"
|
|
34
|
-
"
|
|
35
|
-
"
|
|
36
|
-
"
|
|
37
|
-
"
|
|
38
|
-
"
|
|
39
|
-
"
|
|
40
|
-
"
|
|
41
|
-
"
|
|
42
|
-
"
|
|
43
|
-
"
|
|
44
|
-
"
|
|
45
|
-
"
|
|
46
|
-
"
|
|
47
|
-
"
|
|
48
|
-
"
|
|
49
|
-
"
|
|
50
|
-
"0x00000000000000000000000000000000000f966a5d3b00789886a90916ee5655",
|
|
51
|
-
"0x0000000000000000000000000000003341be19d5661a2c7fd3f6dbdd56b42cda",
|
|
52
|
-
"0x00000000000000000000000000000000001b5481a74ccb6e452fe46759804eb7",
|
|
53
|
-
"0x000000000000000000000000000000afa3733a59776ec14ef4f8f16b77f3ab99",
|
|
54
|
-
"0x0000000000000000000000000000000000205ebbd918d36d49ab40f662e82095",
|
|
55
|
-
"0x00000000000000000000000000000025956051993df2bf8d4de6a6bf0e6e511e",
|
|
56
|
-
"0x00000000000000000000000000000000001338504cad88f75966931dc5ed9a11",
|
|
57
|
-
"0x0000000000000000000000000000009bde1e95312a12c5f5d30289b5e6942aa2",
|
|
58
|
-
"0x000000000000000000000000000000000003834633fa3dd6e3574c1a0bc14476",
|
|
9
|
+
"0x000000000000000000000000000000e1cea6f5f2383be6a581e4b393ce0b6915",
|
|
10
|
+
"0x00000000000000000000000000000000001ee689edb6fc42c0f3f3d593fc8d67",
|
|
11
|
+
"0x0000000000000000000000000000002288597bd37af2c114245b33cd65a4cf72",
|
|
12
|
+
"0x000000000000000000000000000000000024074b6c85daf2d0f14b08a1e8a90c",
|
|
13
|
+
"0x000000000000000000000000000000fdf779ff0a5fe90aeb618a32631324fc6d",
|
|
14
|
+
"0x000000000000000000000000000000000022ac5ae90410814b5f23362efde478",
|
|
15
|
+
"0x000000000000000000000000000000a99677d8abba20818b5162ea29981e00af",
|
|
16
|
+
"0x00000000000000000000000000000000002dd4288c1ff185889f375a0adb79f5",
|
|
17
|
+
"0x000000000000000000000000000000a5c38c26a0aff2d324608db0ac94c29333",
|
|
18
|
+
"0x0000000000000000000000000000000000116225b34e058d10726db110c92ca7",
|
|
19
|
+
"0x000000000000000000000000000000ff141ec4229898257e7e8145b8ece45b60",
|
|
20
|
+
"0x00000000000000000000000000000000002e624ef501ba08f2e0db535f774760",
|
|
21
|
+
"0x00000000000000000000000000000051f77759547a461cea8b56ba1cc6ff0ce4",
|
|
22
|
+
"0x000000000000000000000000000000000011ab15131161d1fdbc60b959ab942b",
|
|
23
|
+
"0x0000000000000000000000000000001cbcec6b5067be8dd1cfb54e9a1114bf82",
|
|
24
|
+
"0x0000000000000000000000000000000000118e0f13b085c6bf65f8d756803000",
|
|
25
|
+
"0x0000000000000000000000000000004d59437b6cc4bdd8b11238d5d16323a4ef",
|
|
26
|
+
"0x00000000000000000000000000000000002aa1dd2353263fe0d6a9dd8c316bc5",
|
|
27
|
+
"0x000000000000000000000000000000239dc30da7b1ef6ffe229e27ea37a51431",
|
|
28
|
+
"0x00000000000000000000000000000000002e9c6f3841b2a934976c658e58890d",
|
|
29
|
+
"0x000000000000000000000000000000f861a7f32f21ca5c14ffbbed9ae89bb965",
|
|
30
|
+
"0x00000000000000000000000000000000001042841fd64e76d348cd5b2935bc19",
|
|
31
|
+
"0x0000000000000000000000000000006f2500de795bf29b19543972489535397f",
|
|
32
|
+
"0x00000000000000000000000000000000002d9954c879480b86767e665ecdfa50",
|
|
59
33
|
"0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
|
|
60
34
|
"0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
|
|
61
35
|
"0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
|
|
62
36
|
"0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
|
|
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
|
-
"
|
|
93
|
-
"
|
|
94
|
-
"
|
|
95
|
-
"
|
|
96
|
-
"
|
|
97
|
-
"
|
|
98
|
-
"
|
|
99
|
-
"
|
|
100
|
-
"
|
|
101
|
-
"
|
|
102
|
-
"
|
|
103
|
-
"
|
|
104
|
-
"
|
|
105
|
-
"
|
|
106
|
-
"
|
|
107
|
-
"
|
|
108
|
-
"
|
|
109
|
-
"
|
|
110
|
-
"
|
|
111
|
-
"
|
|
112
|
-
"
|
|
113
|
-
"
|
|
114
|
-
"
|
|
115
|
-
"
|
|
116
|
-
"
|
|
117
|
-
"
|
|
118
|
-
"
|
|
37
|
+
"0x0000000000000000000000000000008e1696113ff7656d643e5f7977e405f3b9",
|
|
38
|
+
"0x00000000000000000000000000000000002d7b3b3e543882cfeb6a5fdf7d41bc",
|
|
39
|
+
"0x00000000000000000000000000000007ac58a32bfb247d17db9c4f8581c59a4a",
|
|
40
|
+
"0x000000000000000000000000000000000011bbecae89426986fcf98643375566",
|
|
41
|
+
"0x000000000000000000000000000000bfeea715bdc68c518084a92718b1207ad2",
|
|
42
|
+
"0x000000000000000000000000000000000024a943add8ecbc7ae3d376ef5a68d5",
|
|
43
|
+
"0x0000000000000000000000000000008dcb5a4eeb5ea4608ee05900dc51b762c7",
|
|
44
|
+
"0x00000000000000000000000000000000002332087adacead964803affa787bb4",
|
|
45
|
+
"0x00000000000000000000000000000079c134e63a4366fe10438aa09fdc1d6f38",
|
|
46
|
+
"0x0000000000000000000000000000000000304348d8914a7bd8ccca1c253dad9f",
|
|
47
|
+
"0x00000000000000000000000000000046599139adb61fcc87b3d44dfee21e4f84",
|
|
48
|
+
"0x00000000000000000000000000000000000f10c5c06f39f3dec55368700bc23e",
|
|
49
|
+
"0x0000000000000000000000000000006a3ce5464d70f3a33fd7280e2351aafde0",
|
|
50
|
+
"0x0000000000000000000000000000000000042d95eb3e12b4ca28beeda3dd01c6",
|
|
51
|
+
"0x00000000000000000000000000000074c8538c6aadeddc40bdc0da709f6f858d",
|
|
52
|
+
"0x0000000000000000000000000000000000188bd1c444b3519f47dba10d8e7a43",
|
|
53
|
+
"0x000000000000000000000000000000c94f57755933c2fb92778ccac7f26a3b50",
|
|
54
|
+
"0x00000000000000000000000000000000002653d651c6fcfef3f161ecb4df78a6",
|
|
55
|
+
"0x000000000000000000000000000000b8c63bbe43b129e9b0cdafac8a9fe99c82",
|
|
56
|
+
"0x00000000000000000000000000000000000f779904e4ae141225810705d20e43",
|
|
57
|
+
"0x0000000000000000000000000000001033be3ab9053e9457cb07f05419790994",
|
|
58
|
+
"0x00000000000000000000000000000000001c98540d34777be132f58ac4705396",
|
|
59
|
+
"0x000000000000000000000000000000cf38bb8823b77ebeaf6f8dc9beac4ed407",
|
|
60
|
+
"0x000000000000000000000000000000000025c899f04832ee70bacb1443672574",
|
|
61
|
+
"0x00000000000000000000000000000089785438d45000423ac8bededc62492d00",
|
|
62
|
+
"0x00000000000000000000000000000000000947a15c049b868e2393dbd9022fa2",
|
|
63
|
+
"0x000000000000000000000000000000763113fecb890f8882fe65e1c96db14971",
|
|
64
|
+
"0x00000000000000000000000000000000000f6b9d16d587c0f44dba31747cb5e0",
|
|
65
|
+
"0x000000000000000000000000000000c1a5ea40aff584d72122ceb42e51c1730f",
|
|
66
|
+
"0x00000000000000000000000000000000002993f7a8a581d9b97d4a2d28752f85",
|
|
67
|
+
"0x0000000000000000000000000000005f93c20b0ff8a9d02c0422349e6fb5e785",
|
|
68
|
+
"0x00000000000000000000000000000000002275884d2d394a189775dc37203862",
|
|
69
|
+
"0x000000000000000000000000000000b22c2e92ed6d853555545cca9a64ac7eb7",
|
|
70
|
+
"0x000000000000000000000000000000000005755675c23147b7816c6a8c8443e6",
|
|
71
|
+
"0x000000000000000000000000000000fc052e5adc1b18d7eb08c9957d9df8551c",
|
|
72
|
+
"0x000000000000000000000000000000000024c8a367ba46853e6a34c6c497e486",
|
|
73
|
+
"0x000000000000000000000000000000a793fafc09deb4e85158e1909cb5f7c7ac",
|
|
74
|
+
"0x00000000000000000000000000000000000176473eb30e9c3ede9b3e88ec32da",
|
|
75
|
+
"0x000000000000000000000000000000be32ed94cb086b1d4021f5770100f9d6cc",
|
|
76
|
+
"0x00000000000000000000000000000000001e5debcd87ebb08b946cbe1ad79106",
|
|
77
|
+
"0x0000000000000000000000000000006c9c995fe71abc71e7485fe3b629b7d4d4",
|
|
78
|
+
"0x00000000000000000000000000000000002bcc6599df0809ae453ec15774e44c",
|
|
79
|
+
"0x0000000000000000000000000000006d1ebdd8fafac720b23fcb42bad3cbdfde",
|
|
80
|
+
"0x00000000000000000000000000000000001be36a6a4a11dceb44dae8458d6462",
|
|
81
|
+
"0x00000000000000000000000000000058126fe86020574f0287f765f3cb34a1f1",
|
|
82
|
+
"0x00000000000000000000000000000000002197c2a7853b7bb52be07e1b3bb97d",
|
|
83
|
+
"0x000000000000000000000000000000fa9d970baab8eedddf121121d8d106ae8c",
|
|
84
|
+
"0x00000000000000000000000000000000002aed50643985274bc409c377015184",
|
|
85
|
+
"0x00000000000000000000000000000081fa4608b917c3ebe43093fa9760ad5fa4",
|
|
86
|
+
"0x00000000000000000000000000000000002e8fd524b555fb2fa4553816913684",
|
|
87
|
+
"0x0000000000000000000000000000000c24a01ee6e4a2e0997c14169730ae3a26",
|
|
88
|
+
"0x000000000000000000000000000000000023a10dd304cfd17329051b3cf38ea9",
|
|
89
|
+
"0x0000000000000000000000000000000d83a398e0e2b5f2c026d29b10b17671cb",
|
|
90
|
+
"0x0000000000000000000000000000000000011ecbd5e9a69505042b8b06eb7bf9",
|
|
91
|
+
"0x000000000000000000000000000000fdc04c5118b9fcc64e20df534ed0393cc7",
|
|
92
|
+
"0x00000000000000000000000000000000002c07981e873dc5ad973e1f706685d9",
|
|
119
93
|
"0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e",
|
|
120
94
|
"0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c",
|
|
121
95
|
"0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd",
|
|
@@ -136,9 +110,9 @@
|
|
|
136
110
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
137
111
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
138
112
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
139
|
-
"
|
|
140
|
-
"
|
|
141
|
-
"
|
|
142
|
-
"
|
|
113
|
+
"0x000000000000000000000000000000214a33354e0e3e99ba422067fb78e7067b",
|
|
114
|
+
"0x0000000000000000000000000000000000238adbeed2165b39244b84a2efd5d9",
|
|
115
|
+
"0x000000000000000000000000000000358760db29050702fc8b8bc9370a81dad0",
|
|
116
|
+
"0x000000000000000000000000000000000010676f4b4e4d96211427d207f0a3c8"
|
|
143
117
|
]
|
|
144
118
|
}
|
|
@@ -1,110 +1,94 @@
|
|
|
1
1
|
{
|
|
2
|
-
"keyAsBytes": "
|
|
2
|
+
"keyAsBytes": "000000000200000000000000000000190000000000000011000000000000000127a4bdb3e4826331c6872952da3d37e20e187177df2c7c80da61a7dc54f37567135f6982578d59420b45339646c1f6177b837fcf7311d5292383b4966b58f4271b1affb0d05c2edd2785f170f2017ea4ba302c8052b113fc14caebe1961ebf6314e9dc3f76760440805ad849d2e2de5cf72849664cea946b4409c225067caf4d10be1e63e9225c310e9fd59299a891244ba4aefa2a70b5fd68953471b032b6c11b6c4668ab0bd1208c80d9b8631774d908a9e9a1ddd43c01383da2a5f0ccffd32abb694de23e9855fb5e9bd3f930691dcf6de56759ff3e342766d53addf23ae516258909c9e9487de04257b5b754eb4362e0e1f7c68541995abb4696e9e73ae4259f8f16218708f570f923537eb452ea535e8a5a0a28f9ea05da9d84ac9794110601357244b2946d97d32ffa67e8f28281c0323c363c887cff349bc970e594bb1c14436788056820a333d1431c102d817674ecf55663bd680d1a30a349f5c7be0c9f2a21a8c01aef4445147644bacd61bf0fec78c037ffd99079f9fe721b9fbb0c4032c3079594eb75a8449d3d5ce8bc3661650d53f9b24d923d8f404cb0bbc91084d709650356d40f0158fd6da81f54eb5fe796a0ca89441369b7c24301f85124cbcfb1f5e75b18314bf0e5a06a21f478fe2e0e4543d69f88ed1c5a77b408f801a72faeff59094202ee4175b02d2f8346cd9fe3842c265a23f605874c18a1c41802a542b8419dae930be750c939ef0f652167c98ef9fd9ed0904a412863b6102fac1c1da61d0154ef388c3d473123d4852c47f9d260fc50691f9388bf968610273264c77806f1e68591af96a9271b9e50bdff51ff44435b7be979b435771ead14d4f652dff7144ac1d1ae3abd1406d73b58d22ae992084523c261ae58a995a500f8f58ce65433092e1f10bcf51ad2f17655c647cbecd802105ae64a7685028b1d526ca2e7f203ccdb6151b35b22ff83d876f348cd95044d02956edbe3ac32840755df5de500c53e445ad1404efa8e05163938b9f4fd4affb323dc879b1f6c342b8f8dfe9773860e0c21e3c640b85ca89b87267f3b8c2a7136c64575a88aa6d31a1beca5b2bc26d9fbb71850da352f6bec533031cad1dd40615bead695ec2838281766cf2155f846bf8c25a1f91a73af1365679b7ba91ee9546ef6206301f8bd01dfe52c03bae89ecb65def25b8029d1ad876b3635e74f565b50852ea053e4cc2b8173eee2ee806557fafb84c9351a1df76485deba5fd245d47d8d222171e84a07a012e0cd9fdf255e1252fd7a4b324e9fdebed872872b813203ee072ebec73919829fb2764239fccdedb80025d105dcc9758b26ca0e864df071e6e77d9c78a811b31e4fba796a5c9faddd1c65f4f17de89bc58337d83749be03386d9dc5a89b1dc76fd42f620383a47d2bac35ef69453b37547e79b48f23aba7a4a0db479ab1303de7dbcbb277f284ca93118c1c9d48ece1f112d5265a33317ea1ab998a5f3317146b1c304c3d21143841447c2def64c8b3e7607879d5f66c66abe3fcabb63926ef96a7c3c0e94acb40a9d33abfd659da2564b7d3009801f95b0c460aaab2ac19608f1bcd519db47776465fc67cb4f08debf05a6870a836281a78b5e3194bb40aed6ff89dec57599626d2cbdf0a93b5b675839c1b5c91359f8569dd02d5fc1f03c8b3f50ec6dde72f6ad126a9f970add4d22ad7f5a76f08ba697c55d4addee52970dd09df0da4f7cdc9eb194115bdd18780d29ee03f5cb091a2ad0fc39c0ac31251a9ba6e290f62d296b17239d03e02dbba8465210fe4022ba649ea40a334b81ba1d7bf6d2187f0b40ec4da213f7b2a25dbe54eef5b2452a86319a63c06e7ed1a08aa24350cae7f1e53cf464ba5965e3256eb5cfbc7c0c540de7911ae5f20f20450f8716810dff987300c3bc10a892b1c1c2637db3f8fecd9d8bb38442cc46810005567f9eb3d3a97098baa0d71c65db2bf83f8a194086a4cca39916b578faf103bcf2cf468d53c71d57b5c0ab31231e12e1ce3a444583203ea04c16ec69eb20c5d6e7a8b0b14d4ed8f51217ae8af4207277f4116e0af5a9268b38a5d34910b187b9371870f579be414054241d418f5689db2f6cbfabe968378fd68e9b280c00964ab30f99cb72cc59d0f621604926cfebfcff535f724f619bb0e7a4853dbdb132b76a71278e567595f3aaf837a72eb0ab515191143e5a3c8bd5875264866282c6b2a0de0a3fefdfc4fb4f3b8381d2c37ccc495848c2887f98bfbaca776ca3900000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000002093b4eb2694669b2c8c7b4c48aa8f9f27993506562126b6c513f27e101d598ff17b58c942c5b00848f24e6ddc556e0e35e94980898016048df9b89a56bef5186",
|
|
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
|
-
"
|
|
31
|
-
"
|
|
32
|
-
"0x00000000000000000000000000000007c3bb78480066338d6085969b64be6cae",
|
|
33
|
-
"0x00000000000000000000000000000000000269f3d8377e3b3f0788892a3af336",
|
|
34
|
-
"0x0000000000000000000000000000002d468f0010d2a4b16dea269917d26589e3",
|
|
35
|
-
"0x00000000000000000000000000000000002c5337034f380f5435c330625aeaf5",
|
|
36
|
-
"0x000000000000000000000000000000b41ebc41a8eba67aabde961395188c7814",
|
|
37
|
-
"0x000000000000000000000000000000000006ee3c6909dca9296960ce33650b92",
|
|
38
|
-
"0x000000000000000000000000000000501bb8cc34225485ac577851cdc38bf3d9",
|
|
39
|
-
"0x0000000000000000000000000000000000188cce7377b4a1902913009eb5cede",
|
|
40
|
-
"0x000000000000000000000000000000fec4694afe38783e4856d8dce69e1d9ee5",
|
|
41
|
-
"0x00000000000000000000000000000000000e486003ca38f33f854585e57a5255",
|
|
42
|
-
"0x000000000000000000000000000000912678c28a916dd6eee319094c3804de33",
|
|
43
|
-
"0x000000000000000000000000000000000029bd4dbaeca933626d32d9bc0f8d04",
|
|
44
|
-
"0x000000000000000000000000000000972a78aa397e02df19d13986c1a22170ef",
|
|
45
|
-
"0x000000000000000000000000000000000016daffc2f8af138710f0dd47248ee8",
|
|
46
|
-
"0x0000000000000000000000000000008ef3b86a9f9415fa9b4ed88e364464c436",
|
|
47
|
-
"0x00000000000000000000000000000000002cb5e97100e3265a36edc89a2442d4",
|
|
7
|
+
"0x00000000000000000000000000000000000000000000000000000000ffffffff",
|
|
8
|
+
"0x000000000000000000000000000000e20e187177df2c7c80da61a7dc54f37567",
|
|
9
|
+
"0x000000000000000000000000000000000027a4bdb3e4826331c6872952da3d37",
|
|
10
|
+
"0x000000000000000000000000000000177b837fcf7311d5292383b4966b58f427",
|
|
11
|
+
"0x0000000000000000000000000000000000135f6982578d59420b45339646c1f6",
|
|
12
|
+
"0x000000000000000000000000000000a4ba302c8052b113fc14caebe1961ebf63",
|
|
13
|
+
"0x00000000000000000000000000000000001b1affb0d05c2edd2785f170f2017e",
|
|
14
|
+
"0x0000000000000000000000000000005cf72849664cea946b4409c225067caf4d",
|
|
15
|
+
"0x000000000000000000000000000000000014e9dc3f76760440805ad849d2e2de",
|
|
16
|
+
"0x000000000000000000000000000000244ba4aefa2a70b5fd68953471b032b6c1",
|
|
17
|
+
"0x000000000000000000000000000000000010be1e63e9225c310e9fd59299a891",
|
|
18
|
+
"0x000000000000000000000000000000d908a9e9a1ddd43c01383da2a5f0ccffd3",
|
|
19
|
+
"0x00000000000000000000000000000000001b6c4668ab0bd1208c80d9b8631774",
|
|
20
|
+
"0x0000000000000000000000000000001dcf6de56759ff3e342766d53addf23ae5",
|
|
21
|
+
"0x00000000000000000000000000000000002abb694de23e9855fb5e9bd3f93069",
|
|
22
|
+
"0x0000000000000000000000000000004362e0e1f7c68541995abb4696e9e73ae4",
|
|
23
|
+
"0x000000000000000000000000000000000016258909c9e9487de04257b5b754eb",
|
|
24
|
+
"0x000000000000000000000000000000ea535e8a5a0a28f9ea05da9d84ac979411",
|
|
25
|
+
"0x0000000000000000000000000000000000259f8f16218708f570f923537eb452",
|
|
26
|
+
"0x0000000000000000000000000000008281c0323c363c887cff349bc970e594bb",
|
|
27
|
+
"0x00000000000000000000000000000000000601357244b2946d97d32ffa67e8f2",
|
|
28
|
+
"0x000000000000000000000000000000817674ecf55663bd680d1a30a349f5c7be",
|
|
29
|
+
"0x00000000000000000000000000000000001c14436788056820a333d1431c102d",
|
|
30
|
+
"0x00000000000000000000000000000061bf0fec78c037ffd99079f9fe721b9fbb",
|
|
31
|
+
"0x00000000000000000000000000000000000c9f2a21a8c01aef4445147644bacd",
|
|
48
32
|
"0x000000000000000000000000000000bc3661650d53f9b24d923d8f404cb0bbc9",
|
|
49
33
|
"0x00000000000000000000000000000000000c4032c3079594eb75a8449d3d5ce8",
|
|
50
34
|
"0x00000000000000000000000000000054eb5fe796a0ca89441369b7c24301f851",
|
|
51
35
|
"0x00000000000000000000000000000000001084d709650356d40f0158fd6da81f",
|
|
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
|
-
"
|
|
93
|
-
"
|
|
94
|
-
"
|
|
95
|
-
"
|
|
96
|
-
"
|
|
97
|
-
"
|
|
98
|
-
"
|
|
99
|
-
"
|
|
100
|
-
"
|
|
101
|
-
"
|
|
102
|
-
"
|
|
103
|
-
"
|
|
104
|
-
"
|
|
105
|
-
"
|
|
106
|
-
"
|
|
107
|
-
"
|
|
36
|
+
"0x000000000000000000000000000000f478fe2e0e4543d69f88ed1c5a77b408f8",
|
|
37
|
+
"0x000000000000000000000000000000000024cbcfb1f5e75b18314bf0e5a06a21",
|
|
38
|
+
"0x0000000000000000000000000000008346cd9fe3842c265a23f605874c18a1c4",
|
|
39
|
+
"0x000000000000000000000000000000000001a72faeff59094202ee4175b02d2f",
|
|
40
|
+
"0x0000000000000000000000000000000f652167c98ef9fd9ed0904a412863b610",
|
|
41
|
+
"0x00000000000000000000000000000000001802a542b8419dae930be750c939ef",
|
|
42
|
+
"0x000000000000000000000000000000d4852c47f9d260fc50691f9388bf968610",
|
|
43
|
+
"0x00000000000000000000000000000000002fac1c1da61d0154ef388c3d473123",
|
|
44
|
+
"0x0000000000000000000000000000009e50bdff51ff44435b7be979b435771ead",
|
|
45
|
+
"0x0000000000000000000000000000000000273264c77806f1e68591af96a9271b",
|
|
46
|
+
"0x000000000000000000000000000000d73b58d22ae992084523c261ae58a995a5",
|
|
47
|
+
"0x000000000000000000000000000000000014d4f652dff7144ac1d1ae3abd1406",
|
|
48
|
+
"0x000000000000000000000000000000f17655c647cbecd802105ae64a7685028b",
|
|
49
|
+
"0x000000000000000000000000000000000000f8f58ce65433092e1f10bcf51ad2",
|
|
50
|
+
"0x00000000000000000000000000000083d876f348cd95044d02956edbe3ac3284",
|
|
51
|
+
"0x00000000000000000000000000000000001d526ca2e7f203ccdb6151b35b22ff",
|
|
52
|
+
"0x00000000000000000000000000000005163938b9f4fd4affb323dc879b1f6c34",
|
|
53
|
+
"0x00000000000000000000000000000000000755df5de500c53e445ad1404efa8e",
|
|
54
|
+
"0x000000000000000000000000000000a89b87267f3b8c2a7136c64575a88aa6d3",
|
|
55
|
+
"0x00000000000000000000000000000000002b8f8dfe9773860e0c21e3c640b85c",
|
|
56
|
+
"0x0000000000000000000000000000006bec533031cad1dd40615bead695ec2838",
|
|
57
|
+
"0x00000000000000000000000000000000001a1beca5b2bc26d9fbb71850da352f",
|
|
58
|
+
"0x000000000000000000000000000000af1365679b7ba91ee9546ef6206301f8bd",
|
|
59
|
+
"0x0000000000000000000000000000000000281766cf2155f846bf8c25a1f91a73",
|
|
60
|
+
"0x000000000000000000000000000000d1ad876b3635e74f565b50852ea053e4cc",
|
|
61
|
+
"0x000000000000000000000000000000000001dfe52c03bae89ecb65def25b8029",
|
|
62
|
+
"0x0000000000000000000000000000001df76485deba5fd245d47d8d222171e84a",
|
|
63
|
+
"0x00000000000000000000000000000000002b8173eee2ee806557fafb84c9351a",
|
|
64
|
+
"0x0000000000000000000000000000004e9fdebed872872b813203ee072ebec739",
|
|
65
|
+
"0x000000000000000000000000000000000007a012e0cd9fdf255e1252fd7a4b32",
|
|
66
|
+
"0x000000000000000000000000000000dcc9758b26ca0e864df071e6e77d9c78a8",
|
|
67
|
+
"0x000000000000000000000000000000000019829fb2764239fccdedb80025d105",
|
|
68
|
+
"0x0000000000000000000000000000007de89bc58337d83749be03386d9dc5a89b",
|
|
69
|
+
"0x000000000000000000000000000000000011b31e4fba796a5c9faddd1c65f4f1",
|
|
70
|
+
"0x000000000000000000000000000000453b37547e79b48f23aba7a4a0db479ab1",
|
|
71
|
+
"0x00000000000000000000000000000000001dc76fd42f620383a47d2bac35ef69",
|
|
72
|
+
"0x00000000000000000000000000000048ece1f112d5265a33317ea1ab998a5f33",
|
|
73
|
+
"0x0000000000000000000000000000000000303de7dbcbb277f284ca93118c1c9d",
|
|
74
|
+
"0x00000000000000000000000000000064c8b3e7607879d5f66c66abe3fcabb639",
|
|
75
|
+
"0x000000000000000000000000000000000017146b1c304c3d21143841447c2def",
|
|
76
|
+
"0x00000000000000000000000000000059da2564b7d3009801f95b0c460aaab2ac",
|
|
77
|
+
"0x000000000000000000000000000000000026ef96a7c3c0e94acb40a9d33abfd6",
|
|
78
|
+
"0x000000000000000000000000000000f08debf05a6870a836281a78b5e3194bb4",
|
|
79
|
+
"0x000000000000000000000000000000000019608f1bcd519db47776465fc67cb4",
|
|
80
|
+
"0x000000000000000000000000000000b5b675839c1b5c91359f8569dd02d5fc1f",
|
|
81
|
+
"0x00000000000000000000000000000000000aed6ff89dec57599626d2cbdf0a93",
|
|
82
|
+
"0x000000000000000000000000000000add4d22ad7f5a76f08ba697c55d4addee5",
|
|
83
|
+
"0x000000000000000000000000000000000003c8b3f50ec6dde72f6ad126a9f970",
|
|
84
|
+
"0x000000000000000000000000000000d18780d29ee03f5cb091a2ad0fc39c0ac3",
|
|
85
|
+
"0x00000000000000000000000000000000002970dd09df0da4f7cdc9eb194115bd",
|
|
86
|
+
"0x00000000000000000000000000000002dbba8465210fe4022ba649ea40a334b8",
|
|
87
|
+
"0x00000000000000000000000000000000001251a9ba6e290f62d296b17239d03e",
|
|
88
|
+
"0x0000000000000000000000000000002a25dbe54eef5b2452a86319a63c06e7ed",
|
|
89
|
+
"0x00000000000000000000000000000000001ba1d7bf6d2187f0b40ec4da213f7b",
|
|
90
|
+
"0x0000000000000000000000000000005e3256eb5cfbc7c0c540de7911ae5f20f2",
|
|
91
|
+
"0x00000000000000000000000000000000001a08aa24350cae7f1e53cf464ba596",
|
|
108
92
|
"0x0000000000000000000000000000002b1c1c2637db3f8fecd9d8bb38442cc468",
|
|
109
93
|
"0x00000000000000000000000000000000000450f8716810dff987300c3bc10a89",
|
|
110
94
|
"0x0000000000000000000000000000005db2bf83f8a194086a4cca39916b578faf",
|
|
@@ -125,9 +109,9 @@
|
|
|
125
109
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
126
110
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
127
111
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
128
|
-
"
|
|
129
|
-
"
|
|
130
|
-
"
|
|
131
|
-
"
|
|
112
|
+
"0x000000000000000000000000000000f27993506562126b6c513f27e101d598ff",
|
|
113
|
+
"0x0000000000000000000000000000000000093b4eb2694669b2c8c7b4c48aa8f9",
|
|
114
|
+
"0x000000000000000000000000000000e35e94980898016048df9b89a56bef5186",
|
|
115
|
+
"0x000000000000000000000000000000000017b58c942c5b00848f24e6ddc556e0"
|
|
132
116
|
]
|
|
133
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(0x10be1e63e9225c310e9fd59299a891244ba4aefa2a70b5fd68953471b032b6c1),
|
|
16
|
+
y: uint256(0x1b6c4668ab0bd1208c80d9b8631774d908a9e9a1ddd43c01383da2a5f0ccffd3)
|
|
17
17
|
}),
|
|
18
18
|
qr: Honk.G1Point({
|
|
19
|
-
x: uint256(
|
|
20
|
-
y: uint256(
|
|
19
|
+
x: uint256(0x2abb694de23e9855fb5e9bd3f930691dcf6de56759ff3e342766d53addf23ae5),
|
|
20
|
+
y: uint256(0x16258909c9e9487de04257b5b754eb4362e0e1f7c68541995abb4696e9e73ae4)
|
|
21
21
|
}),
|
|
22
22
|
qo: Honk.G1Point({
|
|
23
|
-
x: uint256(
|
|
24
|
-
y: uint256(
|
|
23
|
+
x: uint256(0x259f8f16218708f570f923537eb452ea535e8a5a0a28f9ea05da9d84ac979411),
|
|
24
|
+
y: uint256(0x0601357244b2946d97d32ffa67e8f28281c0323c363c887cff349bc970e594bb)
|
|
25
25
|
}),
|
|
26
26
|
q4: Honk.G1Point({
|
|
27
|
-
x: uint256(
|
|
28
|
-
y: uint256(
|
|
27
|
+
x: uint256(0x1c14436788056820a333d1431c102d817674ecf55663bd680d1a30a349f5c7be),
|
|
28
|
+
y: uint256(0x0c9f2a21a8c01aef4445147644bacd61bf0fec78c037ffd99079f9fe721b9fbb)
|
|
29
29
|
}),
|
|
30
30
|
qm: Honk.G1Point({
|
|
31
|
-
x: uint256(
|
|
32
|
-
y: uint256(
|
|
31
|
+
x: uint256(0x27a4bdb3e4826331c6872952da3d37e20e187177df2c7c80da61a7dc54f37567),
|
|
32
|
+
y: uint256(0x135f6982578d59420b45339646c1f6177b837fcf7311d5292383b4966b58f427)
|
|
33
33
|
}),
|
|
34
34
|
qc: Honk.G1Point({
|
|
35
|
-
x: uint256(
|
|
36
|
-
y: uint256(
|
|
35
|
+
x: uint256(0x1b1affb0d05c2edd2785f170f2017ea4ba302c8052b113fc14caebe1961ebf63),
|
|
36
|
+
y: uint256(0x14e9dc3f76760440805ad849d2e2de5cf72849664cea946b4409c225067caf4d)
|
|
37
37
|
}),
|
|
38
38
|
qArith: Honk.G1Point({
|
|
39
|
-
x: uint256(
|
|
40
|
-
y: uint256(
|
|
39
|
+
x: uint256(0x24cbcfb1f5e75b18314bf0e5a06a21f478fe2e0e4543d69f88ed1c5a77b408f8),
|
|
40
|
+
y: uint256(0x01a72faeff59094202ee4175b02d2f8346cd9fe3842c265a23f605874c18a1c4)
|
|
41
41
|
}),
|
|
42
42
|
qDeltaRange: Honk.G1Point({
|
|
43
|
-
x: uint256(
|
|
44
|
-
y: uint256(
|
|
43
|
+
x: uint256(0x1802a542b8419dae930be750c939ef0f652167c98ef9fd9ed0904a412863b610),
|
|
44
|
+
y: uint256(0x2fac1c1da61d0154ef388c3d473123d4852c47f9d260fc50691f9388bf968610)
|
|
45
45
|
}),
|
|
46
46
|
qElliptic: Honk.G1Point({
|
|
47
|
-
x: uint256(
|
|
48
|
-
y: uint256(
|
|
47
|
+
x: uint256(0x273264c77806f1e68591af96a9271b9e50bdff51ff44435b7be979b435771ead),
|
|
48
|
+
y: uint256(0x14d4f652dff7144ac1d1ae3abd1406d73b58d22ae992084523c261ae58a995a5)
|
|
49
49
|
}),
|
|
50
50
|
qAux: Honk.G1Point({
|
|
51
|
-
x: uint256(
|
|
52
|
-
y: uint256(
|
|
51
|
+
x: uint256(0x00f8f58ce65433092e1f10bcf51ad2f17655c647cbecd802105ae64a7685028b),
|
|
52
|
+
y: uint256(0x1d526ca2e7f203ccdb6151b35b22ff83d876f348cd95044d02956edbe3ac3284)
|
|
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(0x0755df5de500c53e445ad1404efa8e05163938b9f4fd4affb323dc879b1f6c34),
|
|
60
|
+
y: uint256(0x2b8f8dfe9773860e0c21e3c640b85ca89b87267f3b8c2a7136c64575a88aa6d3)
|
|
61
61
|
}),
|
|
62
62
|
qPoseidon2Internal: Honk.G1Point({
|
|
63
|
-
x: uint256(
|
|
64
|
-
y: uint256(
|
|
63
|
+
x: uint256(0x1a1beca5b2bc26d9fbb71850da352f6bec533031cad1dd40615bead695ec2838),
|
|
64
|
+
y: uint256(0x281766cf2155f846bf8c25a1f91a73af1365679b7ba91ee9546ef6206301f8bd)
|
|
65
65
|
}),
|
|
66
66
|
s1: Honk.G1Point({
|
|
67
|
-
x: uint256(
|
|
68
|
-
y: uint256(
|
|
67
|
+
x: uint256(0x01dfe52c03bae89ecb65def25b8029d1ad876b3635e74f565b50852ea053e4cc),
|
|
68
|
+
y: uint256(0x2b8173eee2ee806557fafb84c9351a1df76485deba5fd245d47d8d222171e84a)
|
|
69
69
|
}),
|
|
70
70
|
s2: Honk.G1Point({
|
|
71
|
-
x: uint256(
|
|
72
|
-
y: uint256(
|
|
71
|
+
x: uint256(0x07a012e0cd9fdf255e1252fd7a4b324e9fdebed872872b813203ee072ebec739),
|
|
72
|
+
y: uint256(0x19829fb2764239fccdedb80025d105dcc9758b26ca0e864df071e6e77d9c78a8)
|
|
73
73
|
}),
|
|
74
74
|
s3: Honk.G1Point({
|
|
75
|
-
x: uint256(
|
|
76
|
-
y: uint256(
|
|
75
|
+
x: uint256(0x11b31e4fba796a5c9faddd1c65f4f17de89bc58337d83749be03386d9dc5a89b),
|
|
76
|
+
y: uint256(0x1dc76fd42f620383a47d2bac35ef69453b37547e79b48f23aba7a4a0db479ab1)
|
|
77
77
|
}),
|
|
78
78
|
s4: Honk.G1Point({
|
|
79
|
-
x: uint256(
|
|
80
|
-
y: uint256(
|
|
79
|
+
x: uint256(0x303de7dbcbb277f284ca93118c1c9d48ece1f112d5265a33317ea1ab998a5f33),
|
|
80
|
+
y: uint256(0x17146b1c304c3d21143841447c2def64c8b3e7607879d5f66c66abe3fcabb639)
|
|
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(0x26ef96a7c3c0e94acb40a9d33abfd659da2564b7d3009801f95b0c460aaab2ac),
|
|
100
|
+
y: uint256(0x19608f1bcd519db47776465fc67cb4f08debf05a6870a836281a78b5e3194bb4)
|
|
101
101
|
}),
|
|
102
102
|
id2: Honk.G1Point({
|
|
103
|
-
x: uint256(
|
|
104
|
-
y: uint256(
|
|
103
|
+
x: uint256(0x0aed6ff89dec57599626d2cbdf0a93b5b675839c1b5c91359f8569dd02d5fc1f),
|
|
104
|
+
y: uint256(0x03c8b3f50ec6dde72f6ad126a9f970add4d22ad7f5a76f08ba697c55d4addee5)
|
|
105
105
|
}),
|
|
106
106
|
id3: Honk.G1Point({
|
|
107
|
-
x: uint256(
|
|
108
|
-
y: uint256(
|
|
107
|
+
x: uint256(0x2970dd09df0da4f7cdc9eb194115bdd18780d29ee03f5cb091a2ad0fc39c0ac3),
|
|
108
|
+
y: uint256(0x1251a9ba6e290f62d296b17239d03e02dbba8465210fe4022ba649ea40a334b8)
|
|
109
109
|
}),
|
|
110
110
|
id4: Honk.G1Point({
|
|
111
|
-
x: uint256(
|
|
112
|
-
y: uint256(
|
|
111
|
+
x: uint256(0x1ba1d7bf6d2187f0b40ec4da213f7b2a25dbe54eef5b2452a86319a63c06e7ed),
|
|
112
|
+
y: uint256(0x1a08aa24350cae7f1e53cf464ba5965e3256eb5cfbc7c0c540de7911ae5f20f2)
|
|
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(0x093b4eb2694669b2c8c7b4c48aa8f9f27993506562126b6c513f27e101d598ff),
|
|
120
|
+
y: uint256(0x17b58c942c5b00848f24e6ddc556e0e35e94980898016048df9b89a56bef5186)
|
|
121
121
|
})
|
|
122
122
|
});
|
|
123
123
|
return vk;
|