darkfi_sdk/crypto/constants/fixed_bases/
value_commit_v.rs

Help
1/* This file is part of DarkFi (https://dark.fi)
2 *
3 * Copyright (C) 2020-2025 Dyne.org foundation
4 *
5 * This program is free software: you can redistribute it and/or modify
6 * it under the terms of the GNU Affero General Public License as
7 * published by the Free Software Foundation, either version 3 of the
8 * License, or (at your option) any later version.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13 * GNU Affero General Public License for more details.
14 *
15 * You should have received a copy of the GNU Affero General Public License
16 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
17 */
18
19use pasta_curves::{arithmetic::CurveAffine, group::ff::PrimeField, pallas};
20
21/// The value commitment is used to check balance between inputs and outputs. The value is
22/// placed over this generator.
23pub const GENERATOR: ([u8; 32], [u8; 32]) = (
24    [
25        103, 67, 249, 58, 110, 189, 167, 42, 140, 124, 90, 43, 127, 163, 4, 254, 50, 178, 155, 79,
26        112, 106, 168, 247, 66, 15, 61, 142, 122, 89, 112, 47,
27    ],
28    [
29        142, 242, 90, 175, 126, 196, 19, 164, 219, 227, 255, 167, 102, 167, 158, 29, 66, 108, 109,
30        19, 99, 127, 145, 30, 175, 25, 25, 49, 105, 81, 14, 45,
31    ],
32);
33
34/// Short signed z-values for GENERATOR
35pub const Z_SHORT: [u64; super::NUM_WINDOWS_SHORT] = [
36    163547, 76040, 88852, 128479, 54088, 89871, 39598, 144309, 43471, 102492, 741, 55288, 33756,
37    77312, 12095, 48253, 45718, 202901, 33132, 71081, 152108, 169712,
38];
39
40/// Short signed u-values for GENERATOR
41pub const U_SHORT: [[[u8; 32]; super::H]; super::NUM_WINDOWS_SHORT] = [
42    [
43        [
44            16, 88, 158, 52, 92, 165, 59, 177, 224, 70, 108, 93, 144, 51, 8, 133, 114, 192, 151,
45            40, 85, 33, 52, 118, 147, 163, 220, 193, 171, 43, 73, 27,
46        ],
47        [
48            201, 84, 190, 165, 219, 228, 63, 155, 182, 74, 179, 74, 230, 96, 89, 168, 110, 162, 83,
49            218, 185, 137, 194, 92, 244, 85, 1, 60, 59, 16, 119, 14,
50        ],
51        [
52            113, 146, 25, 32, 206, 37, 173, 225, 58, 41, 184, 214, 177, 123, 211, 55, 42, 208, 214,
53            45, 149, 99, 31, 171, 172, 226, 219, 171, 246, 85, 116, 59,
54        ],
55        [
56            10, 79, 89, 241, 37, 161, 115, 213, 183, 43, 68, 233, 219, 249, 131, 137, 41, 119, 153,
57            24, 92, 87, 138, 167, 93, 46, 32, 97, 102, 164, 164, 53,
58        ],
59        [
60            50, 252, 2, 254, 234, 133, 190, 34, 244, 192, 31, 96, 156, 152, 150, 88, 154, 224, 223,
61            144, 223, 113, 203, 226, 214, 44, 69, 198, 171, 60, 26, 45,
62        ],
63        [
64            151, 65, 173, 0, 249, 13, 78, 201, 84, 58, 255, 120, 124, 169, 98, 242, 239, 132, 149,
65            204, 146, 244, 55, 176, 56, 26, 19, 148, 125, 42, 26, 32,
66        ],
67        [
68            6, 29, 196, 176, 135, 157, 248, 239, 196, 9, 100, 82, 220, 41, 203, 49, 35, 108, 76,
69            59, 222, 47, 82, 39, 35, 23, 88, 136, 61, 90, 23, 57,
70        ],
71        [
72            169, 203, 101, 116, 220, 68, 34, 248, 199, 107, 202, 59, 111, 171, 90, 121, 119, 80,
73            146, 214, 191, 197, 220, 212, 125, 139, 12, 140, 198, 191, 110, 31,
74        ],
75    ],
76    [
77        [
78            16, 171, 139, 236, 248, 28, 27, 145, 109, 161, 63, 121, 19, 190, 106, 193, 13, 122,
79            108, 54, 95, 202, 195, 184, 118, 60, 72, 213, 154, 240, 52, 34,
80        ],
81        [
82            131, 218, 16, 142, 97, 153, 190, 249, 118, 171, 187, 254, 21, 17, 202, 48, 107, 23,
83            103, 72, 159, 238, 228, 38, 183, 166, 74, 136, 77, 51, 85, 18,
84        ],
85        [
86            137, 78, 204, 243, 154, 87, 148, 200, 11, 98, 58, 33, 89, 170, 198, 87, 29, 187, 167,
87            122, 157, 151, 5, 148, 254, 216, 113, 12, 158, 243, 102, 63,
88        ],
89        [
90            16, 187, 216, 98, 244, 19, 70, 209, 217, 133, 240, 226, 111, 219, 247, 74, 4, 231, 183,
91            216, 35, 174, 192, 96, 129, 159, 39, 96, 200, 174, 126, 1,
92        ],
93        [
94            185, 2, 174, 129, 110, 163, 212, 152, 214, 139, 105, 150, 23, 209, 185, 245, 71, 8,
95            171, 142, 43, 57, 167, 172, 233, 77, 194, 166, 118, 232, 127, 35,
96        ],
97        [
98            57, 28, 236, 33, 234, 0, 214, 131, 161, 209, 42, 25, 194, 150, 82, 126, 216, 23, 81,
99            85, 90, 47, 95, 46, 119, 108, 253, 12, 92, 29, 13, 25,
100        ],
101        [
102            100, 162, 156, 175, 254, 203, 69, 171, 182, 190, 85, 161, 94, 117, 225, 0, 95, 121,
103            190, 235, 79, 7, 147, 134, 48, 156, 113, 55, 114, 229, 174, 25,
104        ],
105        [
106            243, 93, 223, 98, 132, 0, 171, 125, 135, 53, 111, 49, 49, 173, 69, 211, 62, 106, 168,
107            221, 115, 208, 2, 20, 14, 150, 124, 130, 189, 48, 16, 15,
108        ],
109    ],
110    [
111        [
112            43, 238, 4, 240, 186, 135, 47, 128, 185, 51, 70, 196, 3, 137, 22, 254, 29, 247, 161,
113            233, 187, 255, 239, 183, 150, 179, 8, 64, 90, 33, 17, 54,
114        ],
115        [
116            20, 226, 19, 60, 92, 195, 1, 255, 100, 188, 89, 54, 98, 225, 138, 133, 26, 140, 202,
117            76, 107, 199, 46, 54, 167, 23, 119, 80, 19, 25, 34, 5,
118        ],
119        [
120            145, 109, 10, 159, 200, 145, 32, 253, 32, 93, 187, 12, 66, 161, 44, 217, 16, 100, 225,
121            37, 139, 125, 169, 119, 83, 34, 96, 130, 234, 255, 138, 38,
122        ],
123        [
124            148, 127, 71, 227, 195, 244, 12, 49, 83, 78, 218, 9, 176, 158, 12, 5, 194, 54, 44, 157,
125            252, 228, 175, 170, 54, 91, 49, 254, 83, 228, 180, 61,
126        ],
127        [
128            36, 96, 238, 61, 227, 144, 153, 81, 121, 197, 74, 190, 35, 216, 255, 92, 70, 7, 168,
129            219, 130, 255, 172, 71, 200, 31, 142, 232, 255, 117, 96, 15,
130        ],
131        [
132            50, 152, 255, 238, 188, 127, 140, 240, 203, 33, 246, 193, 228, 179, 25, 1, 227, 194,
133            79, 70, 41, 160, 83, 243, 148, 1, 95, 86, 63, 22, 55, 40,
134        ],
135        [
136            99, 228, 147, 46, 232, 157, 225, 210, 45, 159, 169, 42, 184, 90, 3, 165, 62, 4, 93,
137            181, 74, 187, 112, 156, 26, 103, 199, 84, 132, 148, 14, 24,
138        ],
139        [
140            120, 163, 182, 125, 197, 141, 122, 21, 166, 103, 203, 57, 160, 228, 242, 192, 203, 40,
141            233, 179, 8, 173, 199, 21, 213, 215, 222, 129, 23, 153, 25, 29,
142        ],
143    ],
144    [
145        [
146            189, 6, 27, 46, 68, 6, 124, 69, 159, 212, 18, 104, 218, 16, 66, 183, 250, 92, 69, 5,
147            218, 234, 31, 198, 123, 100, 216, 103, 106, 113, 192, 43,
148        ],
149        [
150            226, 152, 83, 159, 143, 155, 164, 90, 171, 100, 22, 240, 187, 26, 55, 172, 170, 133,
151            128, 192, 29, 33, 35, 8, 59, 142, 20, 204, 151, 172, 29, 28,
152        ],
153        [
154            196, 57, 232, 112, 46, 200, 26, 93, 224, 191, 117, 154, 9, 47, 228, 145, 122, 137, 238,
155            236, 70, 14, 112, 163, 96, 140, 239, 122, 75, 200, 206, 12,
156        ],
157        [
158            91, 66, 65, 159, 86, 50, 113, 39, 30, 12, 213, 235, 15, 70, 163, 119, 112, 27, 22, 170,
159            151, 20, 71, 172, 65, 251, 224, 76, 26, 189, 118, 42,
160        ],
161        [
162            195, 200, 87, 207, 125, 122, 254, 50, 24, 40, 189, 169, 237, 228, 134, 66, 37, 220, 23,
163            98, 202, 193, 152, 184, 171, 63, 105, 11, 70, 94, 154, 58,
164        ],
165        [
166            4, 0, 82, 125, 41, 130, 11, 238, 112, 201, 95, 30, 144, 31, 31, 233, 86, 121, 145, 200,
167            204, 89, 182, 51, 151, 169, 58, 206, 184, 219, 181, 46,
168        ],
169        [
170            36, 240, 60, 205, 120, 239, 9, 98, 61, 228, 247, 9, 145, 71, 67, 10, 164, 160, 186,
171            104, 25, 225, 210, 37, 31, 42, 58, 208, 44, 19, 30, 29,
172        ],
173        [
174            163, 214, 140, 64, 48, 239, 54, 175, 108, 32, 187, 248, 142, 77, 244, 117, 10, 236, 39,
175            80, 158, 44, 98, 44, 248, 24, 208, 60, 173, 247, 115, 28,
176        ],
177    ],
178    [
179        [
180            230, 166, 7, 118, 178, 55, 26, 250, 91, 159, 230, 158, 34, 135, 91, 49, 166, 244, 124,
181            175, 86, 228, 159, 119, 231, 15, 19, 199, 219, 85, 233, 19,
182        ],
183        [
184            65, 240, 77, 9, 197, 255, 96, 35, 239, 161, 177, 115, 83, 114, 180, 179, 118, 158, 220,
185            61, 177, 3, 175, 70, 132, 51, 87, 79, 36, 104, 129, 15,
186        ],
187        [
188            245, 9, 141, 218, 228, 57, 204, 250, 83, 156, 160, 158, 146, 157, 206, 198, 16, 94, 80,
189            59, 31, 242, 163, 30, 80, 99, 32, 142, 193, 101, 172, 22,
190        ],
191        [
192            22, 68, 73, 27, 236, 149, 225, 78, 69, 83, 174, 202, 98, 113, 148, 167, 43, 132, 118,
193            49, 153, 96, 186, 134, 20, 103, 123, 48, 75, 104, 207, 6,
194        ],
195        [
196            186, 5, 66, 183, 166, 255, 222, 14, 34, 0, 105, 167, 36, 11, 210, 228, 91, 103, 65,
197            248, 3, 48, 117, 240, 180, 214, 201, 222, 5, 202, 103, 42,
198        ],
199        [
200            231, 31, 19, 122, 240, 72, 34, 93, 204, 125, 90, 215, 124, 174, 124, 28, 145, 103, 126,
201            178, 1, 9, 152, 240, 251, 118, 14, 195, 197, 167, 136, 22,
202        ],
203        [
204            121, 57, 39, 104, 26, 135, 98, 221, 85, 199, 94, 230, 223, 129, 28, 191, 185, 0, 46,
205            200, 72, 116, 202, 255, 80, 180, 13, 98, 229, 217, 238, 17,
206        ],
207        [
208            228, 158, 59, 241, 50, 224, 177, 78, 8, 121, 211, 157, 95, 196, 88, 59, 85, 141, 134,
209            50, 123, 168, 175, 115, 240, 153, 223, 61, 71, 229, 77, 10,
210        ],
211    ],
212    [
213        [
214            196, 151, 212, 168, 230, 19, 214, 179, 118, 17, 196, 50, 76, 231, 114, 80, 178, 137,
215            232, 241, 60, 2, 0, 124, 25, 239, 98, 131, 220, 159, 221, 51,
216        ],
217        [
218            207, 216, 50, 53, 106, 200, 85, 166, 137, 33, 29, 239, 97, 46, 104, 218, 177, 150, 178,
219            64, 232, 238, 208, 98, 103, 58, 233, 97, 1, 243, 73, 5,
220        ],
221        [
222            174, 215, 22, 124, 193, 136, 79, 91, 111, 146, 51, 128, 249, 129, 203, 168, 157, 164,
223            252, 144, 206, 10, 63, 253, 250, 113, 251, 65, 218, 23, 12, 25,
224        ],
225        [
226            186, 92, 109, 134, 176, 198, 214, 156, 148, 7, 106, 121, 226, 70, 250, 192, 180, 164,
227            16, 29, 245, 196, 155, 183, 214, 26, 3, 26, 249, 134, 153, 38,
228        ],
229        [
230            244, 56, 170, 227, 236, 145, 153, 150, 166, 77, 201, 48, 100, 130, 204, 194, 108, 207,
231            3, 243, 227, 41, 45, 8, 136, 106, 58, 70, 126, 3, 132, 59,
232        ],
233        [
234            215, 169, 24, 118, 5, 192, 171, 217, 47, 86, 212, 249, 228, 92, 248, 103, 242, 222, 17,
235            206, 36, 157, 126, 224, 105, 113, 239, 102, 54, 25, 151, 14,
236        ],
237        [
238            129, 213, 202, 163, 74, 201, 249, 43, 200, 62, 4, 232, 68, 211, 44, 153, 25, 71, 155,
239            5, 93, 19, 117, 195, 201, 179, 158, 207, 252, 213, 166, 62,
240        ],
241        [
242            86, 75, 236, 222, 217, 118, 49, 0, 141, 130, 201, 248, 34, 225, 69, 91, 186, 90, 246,
243            36, 141, 152, 166, 216, 118, 7, 38, 133, 147, 190, 79, 3,
244        ],
245    ],
246    [
247        [
248            226, 55, 121, 73, 104, 77, 129, 202, 168, 123, 192, 163, 28, 9, 195, 37, 116, 207, 125,
249            198, 203, 244, 121, 236, 232, 91, 168, 14, 142, 241, 250, 60,
250        ],
251        [
252            222, 86, 183, 37, 132, 107, 210, 125, 127, 46, 94, 81, 18, 91, 72, 160, 16, 193, 239,
253            114, 238, 186, 186, 203, 96, 169, 87, 155, 108, 36, 97, 6,
254        ],
255        [
256            110, 110, 99, 98, 167, 78, 75, 128, 33, 138, 18, 19, 194, 192, 219, 184, 74, 196, 82,
257            115, 241, 102, 30, 197, 199, 194, 154, 120, 49, 10, 95, 37,
258        ],
259        [
260            212, 206, 154, 98, 20, 33, 185, 182, 138, 207, 65, 197, 246, 19, 132, 52, 173, 186, 42,
261            243, 88, 20, 51, 11, 206, 25, 216, 48, 162, 138, 124, 13,
262        ],
263        [
264            32, 161, 64, 72, 1, 32, 243, 175, 251, 37, 86, 248, 136, 187, 181, 55, 39, 255, 98,
265            228, 189, 235, 194, 2, 228, 39, 92, 104, 245, 17, 117, 7,
266        ],
267        [
268            207, 205, 116, 251, 54, 21, 8, 82, 173, 45, 205, 38, 245, 155, 16, 56, 198, 232, 173,
269            88, 97, 22, 234, 26, 139, 206, 108, 254, 123, 87, 181, 26,
270        ],
271        [
272            38, 147, 223, 169, 68, 76, 49, 169, 137, 141, 72, 63, 166, 88, 34, 220, 163, 91, 167,
273            251, 29, 160, 254, 199, 205, 74, 158, 105, 252, 182, 158, 21,
274        ],
275        [
276            221, 44, 183, 72, 226, 191, 226, 165, 162, 153, 186, 190, 97, 53, 19, 115, 215, 71,
277            155, 33, 79, 120, 197, 228, 216, 212, 249, 15, 179, 11, 216, 32,
278        ],
279    ],
280    [
281        [
282            248, 136, 25, 30, 234, 18, 242, 209, 97, 211, 74, 228, 236, 199, 101, 200, 206, 52,
283            146, 207, 72, 125, 28, 3, 60, 86, 34, 195, 250, 251, 204, 0,
284        ],
285        [
286            204, 182, 197, 171, 247, 159, 161, 27, 18, 146, 249, 99, 198, 138, 25, 61, 119, 232,
287            160, 152, 18, 149, 7, 67, 125, 231, 237, 3, 68, 190, 137, 0,
288        ],
289        [
290            141, 245, 108, 181, 49, 171, 106, 247, 202, 169, 106, 39, 93, 40, 122, 2, 236, 255,
291            198, 215, 122, 254, 242, 192, 49, 250, 243, 35, 7, 219, 21, 22,
292        ],
293        [
294            239, 85, 174, 15, 207, 84, 128, 92, 87, 80, 129, 20, 21, 225, 233, 158, 193, 136, 141,
295            114, 66, 146, 29, 193, 223, 250, 27, 56, 195, 15, 135, 17,
296        ],
297        [
298            231, 242, 76, 43, 57, 10, 41, 166, 32, 254, 129, 47, 147, 118, 189, 200, 44, 102, 204,
299            116, 96, 82, 186, 150, 106, 27, 30, 73, 237, 94, 36, 44,
300        ],
301        [
302            240, 139, 69, 197, 199, 228, 206, 96, 255, 229, 189, 207, 65, 97, 93, 211, 161, 190,
303            228, 249, 50, 82, 223, 251, 13, 173, 241, 221, 78, 243, 105, 19,
304        ],
305        [
306            44, 224, 170, 161, 50, 93, 212, 80, 100, 243, 51, 74, 51, 165, 60, 208, 244, 18, 158,
307            30, 158, 81, 111, 213, 136, 95, 125, 173, 143, 108, 106, 4,
308        ],
309        [
310            134, 244, 131, 92, 152, 118, 30, 139, 153, 128, 62, 115, 88, 25, 58, 29, 205, 101, 47,
311            208, 93, 89, 222, 17, 122, 112, 71, 56, 147, 68, 92, 22,
312        ],
313    ],
314    [
315        [
316            59, 157, 112, 130, 217, 2, 102, 228, 79, 211, 152, 82, 183, 186, 47, 151, 125, 13, 97,
317            121, 115, 253, 17, 121, 227, 250, 99, 14, 84, 249, 18, 30,
318        ],
319        [
320            80, 180, 155, 59, 6, 182, 136, 39, 134, 168, 238, 138, 129, 174, 195, 206, 210, 167,
321            214, 167, 35, 139, 130, 27, 21, 59, 7, 200, 165, 37, 91, 29,
322        ],
323        [
324            220, 228, 189, 172, 68, 102, 135, 236, 7, 70, 152, 244, 120, 217, 67, 44, 43, 74, 155,
325            179, 2, 148, 106, 238, 232, 186, 181, 130, 141, 114, 60, 1,
326        ],
327        [
328            68, 132, 80, 55, 28, 52, 222, 165, 156, 6, 214, 236, 207, 37, 223, 118, 42, 55, 40,
329            123, 208, 181, 240, 56, 14, 142, 58, 72, 193, 71, 120, 58,
330        ],
331        [
332            93, 114, 68, 232, 179, 37, 202, 74, 41, 64, 245, 112, 233, 162, 231, 19, 223, 207, 232,
333            213, 178, 60, 106, 26, 35, 191, 108, 19, 243, 220, 40, 41,
334        ],
335        [
336            166, 223, 96, 196, 120, 210, 67, 47, 249, 123, 164, 213, 148, 138, 7, 155, 96, 222,
337            176, 166, 88, 85, 95, 71, 221, 237, 138, 181, 198, 165, 163, 0,
338        ],
339        [
340            241, 254, 24, 83, 47, 65, 146, 151, 5, 182, 233, 205, 182, 13, 75, 173, 10, 14, 48,
341            223, 227, 201, 141, 212, 114, 205, 196, 92, 137, 253, 127, 60,
342        ],
343        [
344            20, 41, 204, 77, 168, 230, 68, 202, 73, 251, 254, 88, 95, 80, 130, 216, 122, 75, 173,
345            105, 236, 192, 177, 209, 26, 66, 205, 127, 154, 188, 245, 17,
346        ],
347    ],
348    [
349        [
350            239, 194, 214, 218, 225, 244, 0, 110, 12, 75, 130, 236, 76, 102, 205, 64, 104, 144,
351            198, 188, 183, 46, 119, 96, 230, 68, 210, 161, 253, 91, 8, 20,
352        ],
353        [
354            84, 32, 226, 77, 213, 16, 207, 156, 234, 224, 147, 173, 186, 249, 186, 155, 90, 255,
355            34, 55, 48, 108, 76, 214, 254, 66, 95, 200, 174, 191, 52, 43,
356        ],
357        [
358            37, 103, 206, 174, 250, 172, 136, 87, 30, 68, 89, 230, 110, 190, 148, 71, 5, 249, 217,
359            112, 54, 182, 127, 54, 173, 89, 6, 63, 230, 69, 32, 35,
360        ],
361        [
362            160, 186, 242, 212, 179, 197, 16, 239, 56, 24, 91, 241, 68, 7, 138, 200, 93, 194, 45,
363            155, 210, 60, 30, 4, 167, 246, 82, 244, 71, 217, 31, 20,
364        ],
365        [
366            182, 132, 62, 134, 4, 186, 95, 160, 230, 255, 125, 156, 5, 134, 66, 99, 83, 182, 156,
367            207, 98, 84, 197, 48, 160, 47, 126, 2, 253, 64, 69, 25,
368        ],
369        [
370            135, 241, 60, 121, 32, 218, 195, 61, 68, 66, 190, 195, 208, 2, 201, 111, 158, 101, 108,
371            228, 145, 141, 82, 80, 36, 16, 157, 212, 65, 213, 188, 61,
372        ],
373        [
374            190, 186, 202, 30, 121, 177, 200, 82, 245, 162, 14, 253, 114, 50, 43, 134, 246, 12,
375            100, 222, 149, 242, 117, 174, 136, 192, 117, 132, 228, 144, 238, 39,
376        ],
377        [
378            160, 120, 19, 13, 34, 38, 71, 236, 116, 162, 150, 254, 247, 252, 222, 198, 196, 59, 98,
379            165, 54, 33, 22, 120, 58, 73, 225, 42, 37, 211, 88, 21,
380        ],
381    ],
382    [
383        [
384            252, 1, 229, 131, 50, 189, 111, 31, 191, 210, 177, 219, 234, 21, 100, 182, 115, 212,
385            154, 111, 130, 59, 237, 32, 142, 202, 110, 96, 166, 120, 188, 1,
386        ],
387        [
388            247, 244, 137, 120, 38, 62, 94, 38, 17, 38, 102, 240, 225, 129, 15, 214, 213, 142, 79,
389            176, 156, 118, 85, 80, 167, 47, 122, 152, 206, 19, 67, 40,
390        ],
391        [
392            27, 159, 102, 201, 17, 4, 75, 28, 159, 5, 194, 6, 63, 104, 157, 219, 53, 38, 84, 216,
393            73, 181, 11, 118, 29, 177, 147, 135, 150, 5, 58, 10,
394        ],
395        [
396            97, 168, 102, 245, 40, 187, 155, 99, 147, 65, 114, 119, 191, 225, 196, 34, 117, 134,
397            116, 162, 73, 69, 158, 103, 144, 16, 22, 216, 146, 38, 10, 41,
398        ],
399        [
400            149, 231, 10, 10, 17, 16, 88, 231, 24, 215, 115, 237, 123, 68, 9, 209, 24, 141, 150,
401            207, 109, 56, 107, 192, 252, 112, 156, 0, 65, 234, 86, 10,
402        ],
403        [
404            201, 24, 6, 113, 122, 123, 58, 3, 233, 141, 78, 228, 137, 112, 71, 121, 200, 171, 158,
405            233, 87, 171, 121, 118, 205, 98, 38, 24, 176, 153, 170, 25,
406        ],
407        [
408            6, 114, 137, 241, 204, 203, 173, 160, 14, 124, 220, 164, 166, 224, 0, 253, 255, 68, 40,
409            182, 248, 135, 226, 25, 213, 247, 45, 116, 94, 147, 107, 3,
410        ],
411        [
412            73, 103, 138, 222, 168, 203, 85, 216, 242, 63, 127, 158, 153, 60, 168, 180, 234, 71,
413            27, 10, 38, 161, 207, 26, 81, 150, 195, 37, 91, 228, 57, 46,
414        ],
415    ],
416    [
417        [
418            188, 220, 107, 162, 250, 116, 137, 134, 75, 73, 102, 28, 11, 158, 166, 162, 77, 99,
419            159, 21, 166, 195, 208, 99, 28, 0, 51, 64, 126, 222, 203, 28,
420        ],
421        [
422            115, 93, 10, 209, 3, 81, 82, 191, 158, 74, 26, 242, 145, 24, 85, 106, 28, 36, 54, 17,
423            216, 109, 58, 102, 221, 11, 10, 157, 226, 90, 53, 3,
424        ],
425        [
426            197, 172, 174, 245, 150, 142, 92, 221, 45, 118, 174, 8, 83, 195, 45, 83, 221, 212, 122,
427            239, 218, 103, 89, 56, 184, 102, 73, 70, 1, 40, 246, 54,
428        ],
429        [
430            131, 77, 239, 236, 59, 58, 35, 163, 25, 57, 251, 93, 224, 202, 225, 84, 189, 195, 1,
431            234, 156, 138, 3, 2, 102, 170, 173, 235, 97, 41, 224, 0,
432        ],
433        [
434            251, 165, 141, 221, 2, 154, 174, 224, 120, 187, 163, 188, 37, 146, 49, 193, 150, 241,
435            183, 33, 12, 228, 96, 92, 105, 198, 238, 59, 247, 172, 247, 54,
436        ],
437        [
438            31, 84, 10, 130, 68, 107, 203, 153, 201, 34, 69, 151, 1, 180, 37, 198, 113, 64, 82,
439            116, 116, 142, 251, 62, 22, 122, 138, 130, 200, 159, 145, 2,
440        ],
441        [
442            229, 126, 102, 192, 242, 5, 109, 247, 248, 70, 34, 78, 35, 23, 81, 67, 34, 226, 133,
443            119, 200, 242, 142, 111, 223, 102, 159, 61, 162, 226, 222, 11,
444        ],
445        [
446            171, 0, 253, 102, 188, 223, 208, 250, 186, 183, 127, 172, 10, 41, 201, 173, 242, 156,
447            106, 219, 236, 139, 76, 115, 200, 123, 176, 228, 181, 248, 121, 38,
448        ],
449    ],
450    [
451        [
452            187, 71, 125, 130, 250, 45, 125, 44, 56, 31, 103, 55, 71, 87, 166, 228, 184, 12, 252,
453            79, 26, 221, 65, 188, 62, 254, 222, 87, 189, 71, 43, 0,
454        ],
455        [
456            248, 127, 55, 175, 11, 237, 134, 201, 211, 212, 93, 115, 63, 118, 15, 121, 71, 55, 176,
457            74, 3, 75, 20, 100, 177, 194, 39, 92, 67, 109, 243, 38,
458        ],
459        [
460            147, 188, 248, 11, 127, 3, 176, 153, 109, 5, 65, 101, 2, 46, 70, 203, 246, 245, 254,
461            67, 193, 214, 156, 21, 116, 165, 60, 79, 219, 45, 180, 47,
462        ],
463        [
464            78, 126, 47, 15, 17, 83, 240, 144, 40, 174, 95, 250, 144, 43, 132, 67, 241, 189, 140,
465            244, 41, 221, 164, 186, 104, 156, 223, 233, 160, 99, 190, 39,
466        ],
467        [
468            29, 119, 16, 42, 190, 69, 200, 191, 3, 160, 164, 28, 189, 135, 85, 63, 59, 121, 213,
469            143, 9, 96, 150, 14, 21, 93, 132, 57, 4, 165, 174, 12,
470        ],
471        [
472            54, 200, 34, 46, 89, 210, 152, 121, 245, 147, 150, 48, 193, 246, 108, 154, 243, 12, 10,
473            10, 97, 83, 225, 116, 187, 177, 176, 80, 248, 185, 5, 38,
474        ],
475        [
476            245, 84, 103, 49, 77, 27, 84, 143, 30, 40, 54, 249, 178, 71, 191, 135, 199, 72, 204,
477            162, 75, 110, 203, 246, 193, 61, 70, 158, 74, 154, 13, 45,
478        ],
479        [
480            123, 98, 28, 217, 129, 160, 71, 205, 19, 41, 168, 124, 76, 145, 108, 71, 57, 60, 26,
481            154, 163, 64, 250, 13, 52, 179, 197, 193, 54, 184, 29, 32,
482        ],
483    ],
484    [
485        [
486            103, 140, 102, 88, 162, 193, 224, 59, 243, 31, 145, 100, 116, 71, 36, 129, 94, 248, 33,
487            0, 102, 46, 146, 206, 22, 255, 216, 58, 61, 118, 226, 47,
488        ],
489        [
490            21, 127, 228, 231, 155, 190, 28, 145, 48, 160, 35, 104, 47, 120, 243, 107, 145, 118,
491            199, 126, 138, 164, 246, 143, 153, 59, 153, 209, 81, 118, 167, 9,
492        ],
493        [
494            4, 84, 44, 30, 90, 253, 226, 166, 218, 12, 39, 214, 231, 241, 223, 87, 87, 82, 93, 220,
495            65, 132, 166, 75, 221, 33, 236, 113, 198, 43, 210, 39,
496        ],
497        [
498            243, 54, 41, 143, 244, 171, 75, 158, 218, 230, 55, 35, 236, 18, 40, 55, 157, 139, 180,
499            29, 58, 159, 88, 208, 214, 87, 168, 227, 93, 211, 194, 17,
500        ],
501        [
502            97, 131, 219, 190, 19, 178, 244, 173, 141, 143, 113, 3, 27, 63, 35, 185, 170, 43, 75,
503            64, 75, 38, 5, 13, 123, 39, 147, 243, 141, 122, 217, 39,
504        ],
505        [
506            3, 24, 126, 200, 122, 92, 125, 221, 95, 205, 139, 145, 231, 77, 223, 96, 84, 39, 33,
507            66, 139, 41, 82, 182, 22, 102, 95, 173, 66, 125, 77, 21,
508        ],
509        [
510            27, 50, 52, 183, 190, 198, 236, 248, 71, 251, 120, 132, 192, 227, 113, 36, 155, 81,
511            225, 48, 72, 17, 246, 99, 208, 242, 236, 93, 2, 19, 53, 31,
512        ],
513        [
514            99, 18, 31, 165, 229, 52, 216, 52, 162, 62, 66, 1, 190, 22, 69, 133, 11, 126, 106, 165,
515            131, 180, 218, 253, 238, 124, 3, 16, 42, 196, 148, 57,
516        ],
517    ],
518    [
519        [
520            0, 209, 105, 72, 69, 130, 81, 154, 136, 174, 169, 182, 42, 150, 112, 115, 234, 136, 47,
521            170, 158, 213, 211, 65, 178, 62, 18, 172, 135, 59, 253, 19,
522        ],
523        [
524            145, 192, 219, 168, 214, 190, 54, 248, 68, 248, 196, 148, 4, 254, 61, 193, 67, 218,
525            131, 110, 235, 60, 159, 101, 200, 218, 208, 195, 30, 249, 163, 32,
526        ],
527        [
528            21, 246, 3, 74, 137, 246, 202, 207, 71, 59, 198, 73, 117, 224, 124, 57, 2, 82, 110, 6,
529            190, 80, 143, 143, 113, 62, 127, 122, 164, 202, 6, 54,
530        ],
531        [
532            252, 245, 11, 63, 63, 70, 60, 82, 15, 154, 188, 35, 211, 222, 252, 180, 109, 109, 98,
533            69, 197, 240, 137, 46, 189, 8, 167, 87, 15, 179, 18, 12,
534        ],
535        [
536            125, 206, 204, 128, 43, 62, 39, 36, 246, 164, 44, 6, 250, 83, 14, 207, 53, 201, 166,
537            231, 175, 110, 140, 200, 48, 239, 20, 171, 46, 80, 115, 54,
538        ],
539        [
540            167, 7, 74, 225, 61, 229, 21, 154, 196, 11, 247, 27, 158, 112, 217, 238, 57, 53, 63,
541            251, 162, 91, 168, 86, 37, 203, 207, 119, 68, 135, 205, 9,
542        ],
543        [
544            84, 187, 71, 200, 46, 254, 136, 13, 25, 137, 121, 128, 232, 221, 40, 0, 175, 232, 153,
545            227, 181, 162, 29, 67, 225, 234, 249, 102, 82, 171, 226, 1,
546        ],
547        [
548            24, 185, 170, 6, 35, 57, 108, 85, 245, 134, 216, 239, 33, 12, 223, 38, 227, 73, 145,
549            100, 25, 14, 244, 177, 84, 38, 101, 67, 21, 96, 249, 61,
550        ],
551    ],
552    [
553        [
554            57, 9, 82, 174, 160, 195, 27, 106, 241, 225, 207, 16, 11, 131, 29, 63, 187, 187, 5, 76,
555            34, 39, 136, 124, 56, 25, 58, 99, 70, 116, 170, 19,
556        ],
557        [
558            143, 6, 32, 114, 74, 44, 29, 53, 226, 34, 62, 232, 111, 63, 201, 203, 46, 115, 209,
559            118, 31, 27, 1, 120, 254, 70, 252, 80, 5, 111, 123, 55,
560        ],
561        [
562            62, 18, 214, 41, 0, 12, 4, 12, 145, 201, 12, 6, 179, 4, 20, 84, 36, 155, 8, 99, 181,
563            18, 150, 144, 203, 228, 172, 135, 166, 152, 214, 8,
564        ],
565        [
566            49, 93, 249, 139, 121, 113, 205, 158, 145, 118, 40, 96, 206, 154, 71, 190, 146, 65,
567            233, 104, 83, 91, 25, 118, 176, 14, 149, 115, 137, 27, 223, 41,
568        ],
569        [
570            116, 160, 29, 244, 254, 193, 228, 122, 194, 168, 126, 1, 222, 247, 90, 191, 253, 101,
571            123, 197, 178, 127, 30, 113, 38, 73, 48, 240, 82, 52, 161, 12,
572        ],
573        [
574            156, 145, 203, 40, 113, 83, 199, 161, 230, 196, 203, 227, 217, 212, 254, 139, 37, 215,
575            39, 230, 190, 141, 119, 120, 87, 23, 61, 21, 3, 209, 179, 47,
576        ],
577        [
578            179, 114, 238, 159, 43, 22, 64, 61, 207, 56, 101, 90, 62, 245, 27, 21, 165, 0, 205, 34,
579            104, 32, 170, 75, 215, 255, 83, 74, 123, 73, 159, 19,
580        ],
581        [
582            14, 208, 162, 223, 209, 5, 175, 15, 1, 78, 222, 82, 21, 113, 25, 129, 103, 64, 139, 21,
583            226, 245, 199, 114, 252, 69, 133, 254, 128, 63, 61, 13,
584        ],
585    ],
586    [
587        [
588            255, 187, 20, 3, 51, 61, 230, 80, 83, 233, 71, 190, 94, 131, 225, 143, 139, 246, 196,
589            161, 165, 85, 92, 167, 71, 198, 83, 10, 164, 120, 89, 26,
590        ],
591        [
592            250, 108, 167, 151, 249, 92, 38, 36, 21, 96, 210, 31, 41, 91, 113, 183, 104, 192, 3,
593            45, 165, 253, 37, 75, 239, 245, 28, 148, 5, 255, 134, 60,
594        ],
595        [
596            59, 154, 220, 255, 37, 98, 169, 60, 50, 196, 202, 240, 225, 57, 165, 129, 255, 66, 169,
597            162, 7, 30, 198, 27, 160, 208, 193, 106, 29, 119, 104, 48,
598        ],
599        [
600            137, 180, 21, 151, 27, 173, 213, 11, 238, 163, 104, 192, 171, 59, 79, 249, 123, 55,
601            183, 8, 94, 117, 32, 48, 41, 141, 231, 207, 61, 135, 104, 2,
602        ],
603        [
604            242, 254, 15, 0, 58, 49, 204, 28, 27, 56, 2, 67, 248, 104, 160, 32, 214, 242, 10, 206,
605            233, 61, 23, 103, 180, 53, 179, 198, 56, 254, 65, 6,
606        ],
607        [
608            136, 214, 253, 248, 156, 140, 42, 172, 221, 187, 160, 233, 86, 213, 239, 5, 110, 252,
609            70, 18, 193, 29, 156, 156, 136, 70, 167, 59, 98, 223, 7, 30,
610        ],
611        [
612            84, 25, 227, 152, 61, 51, 53, 59, 135, 229, 159, 248, 6, 39, 151, 139, 121, 149, 226,
613            142, 126, 136, 248, 196, 93, 176, 131, 254, 221, 204, 179, 36,
614        ],
615        [
616            198, 74, 99, 58, 59, 34, 82, 94, 95, 64, 17, 241, 173, 114, 211, 57, 124, 181, 140,
617            102, 105, 79, 13, 1, 60, 121, 143, 88, 192, 253, 159, 47,
618        ],
619    ],
620    [
621        [
622            90, 115, 165, 218, 163, 197, 210, 143, 213, 125, 1, 77, 74, 165, 200, 244, 80, 39, 20,
623            247, 86, 120, 109, 109, 93, 7, 209, 199, 109, 12, 144, 46,
624        ],
625        [
626            231, 44, 48, 128, 109, 202, 114, 192, 218, 67, 233, 141, 64, 251, 104, 41, 58, 212, 60,
627            65, 93, 58, 34, 149, 128, 90, 30, 197, 191, 244, 8, 37,
628        ],
629        [
630            56, 47, 18, 80, 195, 143, 175, 35, 183, 225, 201, 236, 138, 29, 26, 229, 194, 202, 13,
631            43, 71, 188, 3, 204, 12, 15, 218, 207, 15, 83, 219, 39,
632        ],
633        [
634            50, 71, 182, 171, 33, 129, 211, 168, 40, 85, 193, 218, 165, 54, 220, 203, 164, 124, 8,
635            37, 19, 210, 8, 253, 120, 158, 239, 239, 28, 195, 253, 37,
636        ],
637        [
638            245, 191, 155, 103, 118, 221, 209, 204, 89, 48, 249, 160, 180, 1, 114, 3, 254, 220, 94,
639            244, 221, 122, 224, 55, 184, 106, 99, 11, 236, 89, 211, 38,
640        ],
641        [
642            182, 208, 168, 152, 15, 192, 45, 31, 93, 181, 13, 203, 128, 82, 126, 145, 129, 220, 19,
643            252, 188, 247, 49, 216, 218, 198, 178, 70, 180, 209, 175, 22,
644        ],
645        [
646            72, 71, 200, 22, 21, 120, 50, 111, 112, 195, 141, 79, 49, 52, 98, 8, 37, 130, 142, 13,
647            78, 197, 15, 92, 203, 50, 108, 82, 109, 254, 158, 12,
648        ],
649        [
650            71, 44, 114, 76, 152, 26, 79, 25, 44, 244, 191, 178, 150, 102, 34, 230, 54, 251, 209,
651            155, 90, 28, 81, 49, 127, 246, 116, 238, 106, 105, 196, 29,
652        ],
653    ],
654    [
655        [
656            208, 87, 78, 186, 184, 128, 38, 190, 131, 156, 221, 119, 87, 12, 144, 4, 240, 77, 118,
657            209, 74, 131, 37, 155, 247, 155, 206, 167, 80, 71, 127, 18,
658        ],
659        [
660            190, 54, 229, 228, 15, 167, 185, 240, 161, 238, 216, 88, 210, 31, 242, 20, 81, 147, 48,
661            54, 38, 226, 251, 64, 69, 196, 67, 166, 242, 34, 118, 39,
662        ],
663        [
664            58, 171, 187, 174, 13, 247, 253, 15, 102, 171, 48, 63, 136, 157, 55, 28, 117, 130, 104,
665            23, 145, 203, 155, 105, 121, 249, 115, 106, 88, 114, 86, 11,
666        ],
667        [
668            105, 30, 100, 75, 20, 206, 29, 147, 150, 37, 48, 216, 33, 147, 61, 193, 82, 230, 205,
669            122, 142, 65, 148, 102, 47, 185, 182, 147, 185, 31, 29, 54,
670        ],
671        [
672            158, 245, 169, 236, 26, 185, 17, 174, 156, 69, 81, 196, 60, 109, 99, 91, 19, 208, 93,
673            58, 9, 109, 228, 186, 109, 127, 171, 156, 229, 215, 195, 59,
674        ],
675        [
676            23, 42, 4, 183, 91, 177, 2, 172, 168, 182, 158, 185, 157, 118, 199, 184, 237, 203, 60,
677            170, 35, 121, 162, 7, 130, 171, 121, 207, 32, 2, 227, 62,
678        ],
679        [
680            0, 139, 174, 217, 13, 116, 28, 230, 238, 117, 190, 91, 86, 105, 38, 231, 147, 100, 233,
681            187, 70, 128, 111, 82, 184, 113, 154, 136, 59, 27, 21, 10,
682        ],
683        [
684            4, 208, 53, 136, 59, 196, 102, 52, 69, 1, 231, 8, 254, 19, 67, 134, 251, 73, 157, 156,
685            30, 94, 170, 147, 185, 72, 11, 143, 226, 255, 0, 60,
686        ],
687    ],
688    [
689        [
690            214, 131, 68, 196, 131, 169, 22, 250, 29, 101, 142, 26, 106, 96, 18, 190, 18, 15, 19,
691            59, 203, 203, 119, 251, 61, 221, 198, 116, 24, 178, 61, 42,
692        ],
693        [
694            101, 161, 133, 103, 0, 112, 204, 255, 98, 240, 20, 161, 242, 253, 216, 204, 83, 96, 93,
695            228, 77, 76, 63, 70, 116, 156, 69, 253, 121, 189, 2, 36,
696        ],
697        [
698            156, 83, 226, 206, 4, 35, 12, 137, 209, 181, 109, 81, 194, 119, 188, 216, 30, 233, 135,
699            220, 213, 40, 74, 152, 49, 14, 0, 3, 223, 41, 238, 54,
700        ],
701        [
702            47, 25, 110, 4, 111, 57, 200, 91, 168, 73, 47, 175, 189, 60, 49, 243, 128, 11, 63, 17,
703            151, 123, 80, 140, 139, 202, 93, 104, 190, 32, 67, 54,
704        ],
705        [
706            90, 100, 132, 107, 167, 162, 164, 62, 239, 68, 20, 223, 157, 1, 90, 95, 248, 82, 65,
707            61, 241, 63, 238, 10, 2, 160, 230, 104, 101, 197, 60, 52,
708        ],
709        [
710            41, 144, 80, 156, 134, 224, 6, 48, 188, 57, 30, 205, 84, 135, 190, 75, 213, 94, 16, 72,
711            11, 96, 41, 117, 75, 60, 62, 133, 29, 133, 105, 15,
712        ],
713        [
714            219, 66, 247, 117, 3, 137, 38, 43, 131, 177, 137, 150, 9, 65, 160, 206, 235, 121, 121,
715            245, 205, 233, 229, 78, 72, 200, 171, 149, 240, 64, 184, 5,
716        ],
717        [
718            22, 179, 118, 116, 100, 222, 159, 96, 236, 247, 38, 23, 224, 103, 6, 5, 42, 95, 161, 4,
719            128, 2, 240, 122, 117, 247, 127, 207, 76, 205, 137, 31,
720        ],
721    ],
722    [
723        [
724            255, 68, 73, 184, 204, 219, 231, 9, 237, 101, 142, 55, 146, 252, 138, 14, 186, 62, 32,
725            108, 79, 130, 251, 188, 101, 134, 179, 162, 172, 160, 149, 22,
726        ],
727        [
728            93, 226, 69, 177, 229, 17, 78, 185, 6, 206, 195, 246, 145, 189, 141, 7, 197, 148, 166,
729            43, 203, 235, 170, 119, 102, 76, 108, 98, 216, 237, 121, 34,
730        ],
731        [
732            211, 167, 46, 90, 228, 111, 217, 129, 255, 3, 113, 207, 200, 221, 28, 48, 33, 62, 31,
733            245, 116, 175, 130, 128, 180, 252, 132, 178, 56, 58, 16, 2,
734        ],
735        [
736            159, 176, 149, 39, 220, 58, 146, 80, 175, 91, 125, 15, 166, 114, 133, 117, 52, 243,
737            219, 221, 223, 114, 140, 236, 106, 39, 65, 168, 43, 244, 140, 57,
738        ],
739        [
740            144, 68, 49, 189, 208, 94, 145, 108, 143, 62, 16, 188, 15, 110, 23, 239, 71, 48, 32,
741            238, 96, 19, 43, 91, 231, 90, 77, 162, 159, 162, 71, 15,
742        ],
743        [
744            103, 8, 114, 153, 156, 97, 188, 167, 128, 217, 58, 42, 208, 82, 234, 142, 53, 71, 10,
745            38, 177, 2, 13, 35, 8, 49, 196, 134, 215, 255, 42, 54,
746        ],
747        [
748            229, 29, 149, 199, 252, 232, 6, 148, 31, 243, 79, 192, 221, 191, 136, 186, 249, 198,
749            35, 155, 198, 198, 19, 183, 159, 123, 65, 127, 169, 3, 156, 59,
750        ],
751        [
752            2, 244, 213, 144, 80, 83, 125, 211, 252, 98, 209, 105, 104, 213, 143, 183, 164, 199,
753            103, 53, 110, 48, 230, 35, 34, 129, 221, 255, 225, 224, 42, 42,
754        ],
755    ],
756    [
757        [
758            145, 41, 77, 21, 230, 237, 146, 98, 160, 218, 242, 227, 198, 83, 11, 39, 148, 69, 31,
759            185, 143, 52, 71, 75, 157, 26, 157, 188, 179, 27, 114, 24,
760        ],
761        [
762            160, 247, 33, 120, 242, 78, 125, 237, 149, 68, 194, 190, 248, 145, 93, 23, 171, 167,
763            181, 242, 226, 41, 104, 67, 0, 116, 81, 246, 87, 82, 103, 51,
764        ],
765        [
766            84, 35, 131, 165, 134, 206, 147, 191, 7, 3, 253, 142, 49, 128, 111, 47, 53, 169, 88,
767            17, 31, 193, 20, 98, 19, 173, 111, 175, 134, 186, 166, 27,
768        ],
769        [
770            49, 150, 139, 110, 180, 138, 202, 107, 41, 238, 123, 185, 17, 161, 67, 30, 2, 2, 39,
771            91, 7, 35, 69, 121, 34, 12, 247, 78, 138, 39, 59, 8,
772        ],
773        [
774            64, 14, 249, 58, 50, 65, 122, 135, 174, 11, 102, 220, 221, 64, 29, 66, 24, 169, 57,
775            114, 140, 176, 7, 149, 78, 15, 211, 255, 101, 244, 151, 46,
776        ],
777        [
778            127, 185, 215, 42, 158, 164, 234, 37, 140, 239, 228, 75, 189, 8, 197, 4, 206, 24, 136,
779            191, 73, 206, 141, 195, 85, 123, 141, 189, 82, 250, 65, 21,
780        ],
781        [
782            49, 239, 163, 97, 219, 143, 242, 84, 53, 166, 149, 155, 243, 11, 207, 69, 250, 25, 159,
783            142, 240, 8, 72, 229, 91, 179, 218, 39, 128, 133, 201, 6,
784        ],
785        [
786            96, 144, 236, 91, 71, 246, 217, 36, 27, 102, 209, 14, 75, 249, 185, 211, 2, 97, 216,
787            204, 141, 6, 234, 251, 183, 215, 152, 151, 125, 210, 121, 14,
788        ],
789    ],
790];
791
792pub fn generator() -> pallas::Affine {
793    pallas::Affine::from_xy(
794        pallas::Base::from_repr(GENERATOR.0).unwrap(),
795        pallas::Base::from_repr(GENERATOR.1).unwrap(),
796    )
797    .unwrap()
798}
799
800#[cfg(test)]
801mod tests {
802    use super::{
803        super::{NUM_WINDOWS_SHORT, VALUE_COMMITMENT_PERSONALIZATION},
804        *,
805    };
806    use halo2_gadgets::ecc::chip::constants::{test_lagrange_coeffs, test_zs_and_us};
807    use pasta_curves::{arithmetic::CurveExt, group::Curve};
808
809    #[test]
810    fn generator() {
811        let hasher = pallas::Point::hash_to_curve(VALUE_COMMITMENT_PERSONALIZATION);
812        let point = hasher(b"v");
813        let coords = point.to_affine().coordinates().unwrap();
814
815        assert_eq!(*coords.x(), pallas::Base::from_repr(GENERATOR.0).unwrap());
816        assert_eq!(*coords.y(), pallas::Base::from_repr(GENERATOR.1).unwrap());
817    }
818
819    #[test]
820    fn lagrange_coeffs() {
821        let base = super::generator();
822        test_lagrange_coeffs(base, NUM_WINDOWS_SHORT);
823    }
824
825    #[test]
826    fn z() {
827        let base = super::generator();
828        test_zs_and_us(base, &Z_SHORT, &U_SHORT, NUM_WINDOWS_SHORT);
829    }
830}
darkfi_sdk/crypto/constants/fixed_bases/value_commit_v.rs

darkfi_sdk/crypto/constants/fixed_bases/
value_commit_v.rs
