Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: batch address circuit: added proving keys for mt height=40 #1374

Merged
merged 2 commits into from
Dec 4, 2024
Merged

feat: batch address circuit: added proving keys for mt height=40 #1374

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
70e632c
feat: batch address circuit: added proving keys {1, 10, 100, 250, 500…
sergeytimoshin Dec 4, 2024
aa786d4
Update tests to use tree height 40 for address append
sergeytimoshin Dec 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
90 changes: 45 additions & 45 deletions circuit-lib/verifier/src/verifying_keys/address_append_26_1.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,62 +4,62 @@ use groth16_solana::groth16::Groth16Verifyingkey;
pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey {
nr_pubinputs: 1usize,
vk_alpha_g1: [
1u8, 109u8, 212u8, 210u8, 30u8, 159u8, 141u8, 103u8, 78u8, 213u8, 102u8, 45u8, 98u8, 137u8,
249u8, 97u8, 38u8, 225u8, 185u8, 38u8, 61u8, 202u8, 186u8, 144u8, 16u8, 151u8, 151u8,
102u8, 109u8, 13u8, 23u8, 242u8, 15u8, 38u8, 237u8, 122u8, 207u8, 97u8, 71u8, 170u8, 67u8,
115u8, 168u8, 177u8, 222u8, 2u8, 233u8, 208u8, 206u8, 233u8, 48u8, 9u8, 187u8, 169u8,
206u8, 204u8, 68u8, 42u8, 122u8, 54u8, 153u8, 68u8, 200u8, 131u8,
6u8, 11u8, 13u8, 147u8, 169u8, 154u8, 25u8, 26u8, 169u8, 97u8, 199u8, 74u8, 47u8, 169u8,
168u8, 176u8, 198u8, 109u8, 216u8, 248u8, 208u8, 21u8, 44u8, 131u8, 119u8, 133u8, 97u8,
225u8, 87u8, 21u8, 104u8, 96u8, 29u8, 169u8, 99u8, 31u8, 69u8, 166u8, 27u8, 47u8, 69u8,
96u8, 72u8, 78u8, 232u8, 204u8, 189u8, 114u8, 182u8, 21u8, 143u8, 202u8, 120u8, 54u8, 84u8,
34u8, 92u8, 244u8, 98u8, 94u8, 222u8, 236u8, 106u8, 214u8,
],
vk_beta_g2: [
40u8, 16u8, 15u8, 9u8, 144u8, 237u8, 186u8, 190u8, 248u8, 77u8, 78u8, 71u8, 163u8, 74u8,
194u8, 216u8, 200u8, 28u8, 130u8, 219u8, 98u8, 201u8, 212u8, 218u8, 247u8, 177u8, 177u8,
77u8, 14u8, 103u8, 175u8, 144u8, 29u8, 45u8, 106u8, 65u8, 245u8, 74u8, 70u8, 205u8, 161u8,
188u8, 11u8, 224u8, 52u8, 188u8, 181u8, 255u8, 61u8, 189u8, 14u8, 131u8, 170u8, 152u8,
139u8, 58u8, 16u8, 151u8, 253u8, 156u8, 194u8, 164u8, 74u8, 38u8, 45u8, 190u8, 200u8,
152u8, 81u8, 216u8, 251u8, 107u8, 252u8, 41u8, 171u8, 157u8, 68u8, 246u8, 178u8, 84u8,
103u8, 108u8, 22u8, 36u8, 169u8, 39u8, 178u8, 191u8, 139u8, 225u8, 11u8, 78u8, 221u8,
197u8, 192u8, 75u8, 8u8, 11u8, 70u8, 40u8, 178u8, 32u8, 151u8, 90u8, 113u8, 99u8, 190u8,
0u8, 231u8, 69u8, 129u8, 204u8, 39u8, 195u8, 88u8, 61u8, 27u8, 79u8, 224u8, 158u8, 2u8,
213u8, 95u8, 100u8, 212u8, 38u8, 73u8, 160u8,
19u8, 96u8, 125u8, 156u8, 68u8, 219u8, 220u8, 138u8, 249u8, 236u8, 56u8, 181u8, 204u8,
102u8, 232u8, 36u8, 97u8, 174u8, 238u8, 246u8, 219u8, 40u8, 255u8, 246u8, 214u8, 133u8,
117u8, 111u8, 233u8, 140u8, 200u8, 7u8, 40u8, 242u8, 215u8, 111u8, 229u8, 12u8, 236u8,
113u8, 9u8, 192u8, 106u8, 64u8, 170u8, 122u8, 136u8, 215u8, 80u8, 27u8, 125u8, 250u8,
101u8, 126u8, 47u8, 75u8, 244u8, 248u8, 153u8, 129u8, 82u8, 181u8, 176u8, 56u8, 35u8,
136u8, 36u8, 174u8, 13u8, 67u8, 176u8, 115u8, 50u8, 24u8, 30u8, 156u8, 123u8, 169u8, 63u8,
208u8, 194u8, 121u8, 61u8, 20u8, 120u8, 123u8, 148u8, 30u8, 104u8, 241u8, 37u8, 178u8,
114u8, 9u8, 217u8, 223u8, 44u8, 117u8, 53u8, 61u8, 148u8, 201u8, 176u8, 15u8, 136u8, 196u8,
204u8, 29u8, 243u8, 202u8, 34u8, 164u8, 121u8, 154u8, 174u8, 18u8, 98u8, 94u8, 179u8,
255u8, 169u8, 27u8, 203u8, 184u8, 185u8, 107u8, 72u8, 198u8,
],
vk_gamme_g2: [
23u8, 241u8, 232u8, 91u8, 160u8, 16u8, 50u8, 56u8, 222u8, 74u8, 130u8, 235u8, 172u8, 226u8,
65u8, 249u8, 60u8, 80u8, 20u8, 45u8, 74u8, 138u8, 177u8, 28u8, 7u8, 213u8, 145u8, 153u8,
176u8, 35u8, 197u8, 98u8, 24u8, 172u8, 225u8, 162u8, 115u8, 188u8, 89u8, 122u8, 93u8,
195u8, 21u8, 188u8, 48u8, 72u8, 146u8, 226u8, 112u8, 141u8, 157u8, 163u8, 32u8, 152u8,
194u8, 222u8, 118u8, 183u8, 135u8, 2u8, 18u8, 164u8, 45u8, 124u8, 31u8, 164u8, 28u8, 78u8,
179u8, 33u8, 12u8, 242u8, 121u8, 73u8, 82u8, 151u8, 229u8, 200u8, 34u8, 91u8, 60u8, 193u8,
111u8, 70u8, 198u8, 227u8, 202u8, 6u8, 243u8, 79u8, 169u8, 64u8, 211u8, 250u8, 143u8, 91u8,
14u8, 79u8, 161u8, 198u8, 135u8, 186u8, 177u8, 74u8, 59u8, 252u8, 120u8, 223u8, 177u8,
107u8, 70u8, 240u8, 59u8, 68u8, 28u8, 41u8, 139u8, 153u8, 142u8, 238u8, 169u8, 29u8, 35u8,
151u8, 61u8, 198u8, 229u8, 39u8,
29u8, 87u8, 152u8, 38u8, 120u8, 30u8, 152u8, 25u8, 184u8, 80u8, 234u8, 56u8, 96u8, 235u8,
95u8, 206u8, 63u8, 134u8, 38u8, 44u8, 66u8, 76u8, 100u8, 26u8, 47u8, 101u8, 200u8, 63u8,
59u8, 146u8, 119u8, 209u8, 42u8, 78u8, 203u8, 135u8, 13u8, 72u8, 20u8, 200u8, 151u8, 183u8,
112u8, 21u8, 6u8, 107u8, 100u8, 127u8, 59u8, 64u8, 56u8, 76u8, 40u8, 219u8, 193u8, 68u8,
144u8, 87u8, 149u8, 17u8, 53u8, 233u8, 161u8, 203u8, 10u8, 98u8, 68u8, 125u8, 22u8, 21u8,
97u8, 22u8, 129u8, 183u8, 118u8, 128u8, 177u8, 203u8, 165u8, 45u8, 97u8, 100u8, 222u8,
131u8, 1u8, 72u8, 96u8, 152u8, 157u8, 45u8, 127u8, 232u8, 21u8, 109u8, 132u8, 55u8, 18u8,
26u8, 215u8, 5u8, 197u8, 76u8, 125u8, 218u8, 162u8, 235u8, 182u8, 149u8, 97u8, 142u8,
238u8, 213u8, 121u8, 211u8, 19u8, 230u8, 72u8, 43u8, 23u8, 12u8, 59u8, 52u8, 255u8, 53u8,
179u8, 30u8, 46u8, 120u8,
],
vk_delta_g2: [
46u8, 175u8, 138u8, 101u8, 158u8, 114u8, 6u8, 69u8, 18u8, 116u8, 70u8, 149u8, 91u8, 98u8,
125u8, 77u8, 99u8, 96u8, 230u8, 207u8, 234u8, 72u8, 134u8, 118u8, 200u8, 223u8, 251u8,
208u8, 63u8, 215u8, 43u8, 156u8, 31u8, 212u8, 78u8, 138u8, 29u8, 100u8, 63u8, 113u8, 175u8,
130u8, 212u8, 100u8, 0u8, 129u8, 29u8, 9u8, 59u8, 134u8, 132u8, 139u8, 245u8, 221u8, 25u8,
194u8, 84u8, 4u8, 33u8, 156u8, 55u8, 246u8, 3u8, 129u8, 6u8, 98u8, 74u8, 46u8, 159u8,
106u8, 69u8, 82u8, 173u8, 47u8, 30u8, 68u8, 218u8, 61u8, 240u8, 218u8, 66u8, 75u8, 136u8,
18u8, 89u8, 133u8, 216u8, 83u8, 137u8, 141u8, 162u8, 152u8, 180u8, 60u8, 236u8, 80u8, 31u8,
252u8, 206u8, 42u8, 93u8, 54u8, 201u8, 9u8, 150u8, 33u8, 43u8, 234u8, 92u8, 215u8, 189u8,
12u8, 119u8, 81u8, 68u8, 208u8, 246u8, 187u8, 129u8, 56u8, 227u8, 22u8, 203u8, 210u8,
236u8, 77u8, 251u8, 184u8,
13u8, 137u8, 193u8, 187u8, 249u8, 206u8, 34u8, 204u8, 224u8, 126u8, 161u8, 1u8, 253u8,
90u8, 32u8, 170u8, 115u8, 41u8, 194u8, 173u8, 72u8, 174u8, 180u8, 236u8, 155u8, 14u8,
236u8, 42u8, 186u8, 117u8, 83u8, 13u8, 36u8, 227u8, 248u8, 176u8, 223u8, 174u8, 69u8,
118u8, 102u8, 224u8, 154u8, 5u8, 103u8, 172u8, 110u8, 227u8, 227u8, 103u8, 13u8, 170u8,
130u8, 36u8, 70u8, 254u8, 99u8, 69u8, 102u8, 26u8, 63u8, 179u8, 125u8, 207u8, 33u8, 127u8,
179u8, 133u8, 104u8, 0u8, 236u8, 49u8, 92u8, 51u8, 149u8, 193u8, 87u8, 62u8, 214u8, 206u8,
45u8, 242u8, 191u8, 35u8, 209u8, 32u8, 131u8, 150u8, 105u8, 194u8, 187u8, 138u8, 92u8,
228u8, 23u8, 162u8, 30u8, 225u8, 66u8, 110u8, 53u8, 199u8, 225u8, 254u8, 33u8, 25u8, 18u8,
184u8, 97u8, 82u8, 96u8, 25u8, 57u8, 79u8, 104u8, 3u8, 32u8, 103u8, 82u8, 35u8, 98u8,
191u8, 173u8, 152u8, 28u8, 5u8, 91u8, 230u8,
],
vk_ic: &[
[
44u8, 7u8, 42u8, 137u8, 236u8, 27u8, 38u8, 225u8, 30u8, 158u8, 209u8, 101u8, 9u8, 82u8,
41u8, 168u8, 208u8, 96u8, 147u8, 229u8, 18u8, 106u8, 228u8, 79u8, 14u8, 100u8, 76u8,
147u8, 17u8, 22u8, 62u8, 163u8, 47u8, 100u8, 184u8, 156u8, 19u8, 14u8, 23u8, 78u8,
88u8, 216u8, 132u8, 207u8, 152u8, 164u8, 225u8, 168u8, 11u8, 22u8, 176u8, 126u8, 46u8,
194u8, 77u8, 198u8, 106u8, 202u8, 209u8, 79u8, 13u8, 48u8, 97u8, 117u8,
2u8, 86u8, 48u8, 197u8, 63u8, 189u8, 160u8, 216u8, 183u8, 53u8, 8u8, 119u8, 93u8,
147u8, 124u8, 162u8, 166u8, 59u8, 175u8, 146u8, 87u8, 210u8, 234u8, 111u8, 52u8, 210u8,
245u8, 0u8, 106u8, 90u8, 9u8, 144u8, 30u8, 36u8, 234u8, 77u8, 221u8, 162u8, 86u8,
141u8, 62u8, 250u8, 236u8, 39u8, 57u8, 201u8, 238u8, 135u8, 94u8, 18u8, 95u8, 234u8,
126u8, 168u8, 172u8, 233u8, 81u8, 131u8, 133u8, 214u8, 48u8, 174u8, 82u8, 163u8,
],
[
45u8, 190u8, 185u8, 107u8, 154u8, 161u8, 199u8, 23u8, 204u8, 43u8, 215u8, 168u8, 139u8,
10u8, 166u8, 181u8, 124u8, 34u8, 182u8, 156u8, 158u8, 168u8, 158u8, 221u8, 55u8, 249u8,
138u8, 133u8, 51u8, 137u8, 165u8, 96u8, 21u8, 165u8, 229u8, 244u8, 150u8, 53u8, 218u8,
90u8, 190u8, 31u8, 153u8, 75u8, 180u8, 136u8, 143u8, 135u8, 45u8, 110u8, 212u8, 219u8,
45u8, 74u8, 137u8, 15u8, 135u8, 64u8, 240u8, 157u8, 190u8, 192u8, 162u8, 45u8,
10u8, 57u8, 105u8, 46u8, 216u8, 140u8, 24u8, 3u8, 193u8, 168u8, 201u8, 63u8, 29u8,
169u8, 124u8, 28u8, 247u8, 242u8, 187u8, 211u8, 146u8, 64u8, 2u8, 141u8, 182u8, 109u8,
87u8, 127u8, 139u8, 184u8, 182u8, 140u8, 7u8, 204u8, 12u8, 144u8, 8u8, 242u8, 95u8,
193u8, 230u8, 105u8, 95u8, 178u8, 43u8, 3u8, 197u8, 128u8, 133u8, 235u8, 240u8, 243u8,
170u8, 81u8, 22u8, 251u8, 168u8, 251u8, 7u8, 162u8, 42u8, 106u8, 235u8, 125u8,
],
],
};
90 changes: 45 additions & 45 deletions circuit-lib/verifier/src/verifying_keys/address_append_26_10.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,62 +4,62 @@ use groth16_solana::groth16::Groth16Verifyingkey;
pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey {
nr_pubinputs: 1usize,
vk_alpha_g1: [
30u8, 189u8, 171u8, 83u8, 24u8, 254u8, 163u8, 245u8, 168u8, 82u8, 236u8, 255u8, 191u8,
115u8, 85u8, 251u8, 172u8, 127u8, 246u8, 239u8, 57u8, 188u8, 82u8, 6u8, 60u8, 81u8, 0u8,
150u8, 96u8, 186u8, 233u8, 117u8, 39u8, 129u8, 110u8, 3u8, 180u8, 76u8, 198u8, 50u8, 62u8,
93u8, 224u8, 99u8, 175u8, 214u8, 141u8, 165u8, 164u8, 106u8, 181u8, 202u8, 245u8, 15u8,
218u8, 72u8, 209u8, 189u8, 84u8, 114u8, 170u8, 136u8, 51u8, 106u8,
15u8, 125u8, 211u8, 223u8, 93u8, 144u8, 94u8, 232u8, 7u8, 113u8, 172u8, 156u8, 72u8, 61u8,
35u8, 20u8, 109u8, 222u8, 218u8, 125u8, 213u8, 11u8, 231u8, 252u8, 141u8, 12u8, 184u8,
106u8, 81u8, 125u8, 95u8, 13u8, 40u8, 125u8, 245u8, 185u8, 108u8, 19u8, 74u8, 109u8, 238u8,
73u8, 203u8, 169u8, 251u8, 109u8, 220u8, 148u8, 46u8, 17u8, 91u8, 5u8, 119u8, 113u8, 206u8,
201u8, 63u8, 124u8, 138u8, 131u8, 181u8, 193u8, 186u8, 241u8,
],
vk_beta_g2: [
7u8, 248u8, 63u8, 143u8, 82u8, 32u8, 116u8, 25u8, 107u8, 152u8, 49u8, 144u8, 224u8, 150u8,
157u8, 228u8, 175u8, 183u8, 13u8, 215u8, 149u8, 208u8, 18u8, 185u8, 191u8, 168u8, 107u8,
108u8, 37u8, 28u8, 130u8, 4u8, 3u8, 136u8, 116u8, 71u8, 102u8, 131u8, 58u8, 11u8, 139u8,
95u8, 86u8, 170u8, 213u8, 186u8, 187u8, 157u8, 239u8, 109u8, 239u8, 96u8, 114u8, 248u8,
123u8, 219u8, 247u8, 239u8, 31u8, 236u8, 229u8, 227u8, 218u8, 99u8, 29u8, 213u8, 2u8, 5u8,
159u8, 94u8, 136u8, 120u8, 24u8, 131u8, 10u8, 186u8, 142u8, 214u8, 127u8, 147u8, 206u8,
95u8, 206u8, 84u8, 177u8, 69u8, 114u8, 82u8, 39u8, 190u8, 57u8, 160u8, 27u8, 199u8, 243u8,
171u8, 26u8, 240u8, 100u8, 240u8, 212u8, 200u8, 116u8, 235u8, 7u8, 141u8, 63u8, 139u8,
61u8, 238u8, 139u8, 105u8, 252u8, 250u8, 106u8, 229u8, 168u8, 202u8, 242u8, 7u8, 124u8,
123u8, 12u8, 57u8, 11u8, 37u8, 74u8, 11u8,
36u8, 241u8, 16u8, 247u8, 213u8, 126u8, 158u8, 41u8, 52u8, 255u8, 98u8, 106u8, 33u8, 150u8,
29u8, 182u8, 171u8, 130u8, 226u8, 50u8, 117u8, 26u8, 100u8, 199u8, 229u8, 162u8, 34u8,
31u8, 102u8, 37u8, 35u8, 104u8, 48u8, 15u8, 106u8, 114u8, 53u8, 28u8, 30u8, 220u8, 248u8,
127u8, 77u8, 137u8, 176u8, 12u8, 11u8, 159u8, 0u8, 50u8, 216u8, 246u8, 224u8, 34u8, 90u8,
218u8, 82u8, 235u8, 6u8, 115u8, 69u8, 176u8, 207u8, 243u8, 44u8, 0u8, 29u8, 63u8, 217u8,
89u8, 231u8, 194u8, 30u8, 253u8, 61u8, 53u8, 219u8, 109u8, 3u8, 223u8, 195u8, 131u8, 238u8,
79u8, 194u8, 228u8, 25u8, 250u8, 109u8, 117u8, 17u8, 33u8, 146u8, 78u8, 68u8, 254u8, 19u8,
253u8, 117u8, 109u8, 138u8, 184u8, 177u8, 243u8, 147u8, 84u8, 69u8, 37u8, 114u8, 51u8,
189u8, 115u8, 68u8, 50u8, 252u8, 94u8, 175u8, 57u8, 10u8, 121u8, 136u8, 35u8, 43u8, 5u8,
137u8, 66u8, 92u8, 231u8,
],
vk_gamme_g2: [
34u8, 93u8, 34u8, 166u8, 61u8, 143u8, 213u8, 90u8, 39u8, 178u8, 162u8, 76u8, 13u8, 166u8,
211u8, 87u8, 219u8, 20u8, 48u8, 117u8, 236u8, 28u8, 119u8, 236u8, 153u8, 84u8, 90u8, 168u8,
137u8, 160u8, 161u8, 18u8, 39u8, 216u8, 44u8, 97u8, 48u8, 2u8, 101u8, 179u8, 102u8, 4u8,
37u8, 99u8, 130u8, 138u8, 135u8, 218u8, 15u8, 91u8, 208u8, 20u8, 90u8, 172u8, 22u8, 117u8,
139u8, 237u8, 193u8, 141u8, 232u8, 213u8, 195u8, 68u8, 4u8, 80u8, 242u8, 211u8, 116u8,
125u8, 64u8, 236u8, 18u8, 79u8, 62u8, 108u8, 69u8, 80u8, 131u8, 217u8, 37u8, 224u8, 129u8,
179u8, 12u8, 158u8, 173u8, 24u8, 51u8, 183u8, 135u8, 14u8, 238u8, 210u8, 63u8, 141u8, 3u8,
119u8, 44u8, 90u8, 250u8, 62u8, 2u8, 204u8, 15u8, 97u8, 206u8, 244u8, 65u8, 56u8, 168u8,
206u8, 146u8, 88u8, 15u8, 232u8, 97u8, 43u8, 65u8, 74u8, 43u8, 3u8, 198u8, 116u8, 224u8,
239u8, 128u8, 79u8,
12u8, 121u8, 75u8, 4u8, 166u8, 201u8, 74u8, 175u8, 222u8, 234u8, 157u8, 16u8, 128u8, 153u8,
119u8, 137u8, 156u8, 229u8, 56u8, 138u8, 135u8, 148u8, 112u8, 80u8, 118u8, 239u8, 13u8,
25u8, 200u8, 170u8, 227u8, 148u8, 9u8, 66u8, 180u8, 99u8, 246u8, 56u8, 159u8, 169u8, 202u8,
232u8, 13u8, 158u8, 120u8, 36u8, 92u8, 158u8, 103u8, 211u8, 45u8, 38u8, 210u8, 250u8,
221u8, 227u8, 108u8, 207u8, 198u8, 114u8, 232u8, 25u8, 98u8, 218u8, 45u8, 26u8, 21u8, 30u8,
114u8, 135u8, 64u8, 41u8, 134u8, 12u8, 191u8, 33u8, 50u8, 181u8, 65u8, 171u8, 169u8, 75u8,
127u8, 246u8, 42u8, 94u8, 238u8, 185u8, 40u8, 199u8, 228u8, 229u8, 175u8, 236u8, 129u8,
28u8, 11u8, 75u8, 244u8, 149u8, 255u8, 19u8, 33u8, 149u8, 132u8, 39u8, 95u8, 25u8, 78u8,
177u8, 20u8, 164u8, 96u8, 66u8, 109u8, 142u8, 77u8, 149u8, 42u8, 149u8, 150u8, 207u8,
127u8, 81u8, 148u8, 85u8, 137u8, 27u8,
],
vk_delta_g2: [
18u8, 150u8, 128u8, 239u8, 15u8, 180u8, 225u8, 199u8, 80u8, 202u8, 52u8, 20u8, 5u8, 214u8,
55u8, 194u8, 74u8, 187u8, 236u8, 5u8, 255u8, 161u8, 170u8, 204u8, 197u8, 33u8, 39u8, 244u8,
175u8, 211u8, 61u8, 217u8, 13u8, 166u8, 105u8, 22u8, 197u8, 196u8, 202u8, 57u8, 105u8,
193u8, 53u8, 13u8, 220u8, 18u8, 136u8, 194u8, 172u8, 246u8, 231u8, 197u8, 61u8, 20u8,
228u8, 12u8, 22u8, 26u8, 88u8, 192u8, 248u8, 158u8, 135u8, 74u8, 8u8, 69u8, 37u8, 70u8,
251u8, 80u8, 161u8, 144u8, 150u8, 71u8, 37u8, 185u8, 121u8, 120u8, 174u8, 195u8, 244u8,
104u8, 177u8, 143u8, 16u8, 150u8, 176u8, 4u8, 5u8, 52u8, 145u8, 66u8, 79u8, 193u8, 79u8,
40u8, 5u8, 52u8, 212u8, 57u8, 4u8, 99u8, 20u8, 21u8, 21u8, 222u8, 228u8, 40u8, 97u8, 83u8,
156u8, 0u8, 148u8, 159u8, 145u8, 11u8, 127u8, 125u8, 118u8, 53u8, 79u8, 124u8, 88u8, 103u8,
31u8, 73u8, 144u8, 89u8,
14u8, 143u8, 91u8, 15u8, 0u8, 121u8, 105u8, 6u8, 161u8, 85u8, 20u8, 69u8, 21u8, 205u8,
135u8, 98u8, 27u8, 74u8, 99u8, 121u8, 190u8, 50u8, 254u8, 183u8, 162u8, 202u8, 94u8, 232u8,
248u8, 33u8, 5u8, 65u8, 5u8, 255u8, 215u8, 132u8, 248u8, 36u8, 18u8, 50u8, 140u8, 131u8,
176u8, 221u8, 165u8, 200u8, 203u8, 175u8, 137u8, 191u8, 148u8, 188u8, 91u8, 117u8, 244u8,
84u8, 154u8, 84u8, 145u8, 227u8, 17u8, 0u8, 195u8, 222u8, 33u8, 166u8, 177u8, 194u8, 184u8,
247u8, 30u8, 144u8, 147u8, 174u8, 79u8, 8u8, 42u8, 19u8, 107u8, 51u8, 26u8, 174u8, 183u8,
96u8, 29u8, 43u8, 232u8, 88u8, 121u8, 121u8, 10u8, 221u8, 113u8, 147u8, 93u8, 117u8, 5u8,
43u8, 157u8, 103u8, 213u8, 210u8, 33u8, 255u8, 97u8, 217u8, 111u8, 154u8, 55u8, 51u8,
210u8, 51u8, 255u8, 89u8, 4u8, 62u8, 255u8, 66u8, 74u8, 115u8, 220u8, 228u8, 36u8, 224u8,
219u8, 228u8, 39u8, 145u8,
],
vk_ic: &[
[
45u8, 21u8, 240u8, 125u8, 18u8, 209u8, 44u8, 30u8, 43u8, 181u8, 168u8, 197u8, 242u8,
0u8, 235u8, 161u8, 242u8, 83u8, 120u8, 225u8, 22u8, 62u8, 68u8, 223u8, 205u8, 32u8,
70u8, 222u8, 221u8, 211u8, 21u8, 0u8, 0u8, 43u8, 250u8, 7u8, 201u8, 54u8, 55u8, 112u8,
205u8, 234u8, 96u8, 245u8, 2u8, 37u8, 172u8, 65u8, 69u8, 199u8, 79u8, 164u8, 14u8,
112u8, 6u8, 220u8, 128u8, 237u8, 64u8, 201u8, 223u8, 194u8, 11u8, 6u8,
22u8, 39u8, 95u8, 109u8, 205u8, 152u8, 195u8, 139u8, 20u8, 183u8, 73u8, 174u8, 152u8,
40u8, 112u8, 14u8, 160u8, 102u8, 102u8, 41u8, 95u8, 163u8, 6u8, 193u8, 31u8, 250u8,
131u8, 39u8, 129u8, 52u8, 224u8, 145u8, 3u8, 183u8, 44u8, 160u8, 32u8, 207u8, 247u8,
93u8, 147u8, 62u8, 18u8, 91u8, 220u8, 115u8, 49u8, 29u8, 237u8, 93u8, 18u8, 183u8,
13u8, 126u8, 107u8, 175u8, 160u8, 23u8, 200u8, 98u8, 111u8, 130u8, 72u8, 245u8,
],
[
0u8, 130u8, 213u8, 184u8, 145u8, 156u8, 21u8, 222u8, 218u8, 195u8, 54u8, 215u8, 146u8,
76u8, 235u8, 13u8, 54u8, 178u8, 97u8, 67u8, 84u8, 177u8, 21u8, 10u8, 118u8, 247u8,
242u8, 55u8, 217u8, 102u8, 117u8, 48u8, 36u8, 15u8, 128u8, 5u8, 80u8, 23u8, 115u8,
253u8, 199u8, 214u8, 43u8, 184u8, 152u8, 1u8, 67u8, 113u8, 44u8, 95u8, 240u8, 136u8,
129u8, 8u8, 20u8, 160u8, 233u8, 2u8, 8u8, 218u8, 244u8, 79u8, 250u8, 53u8,
17u8, 125u8, 92u8, 0u8, 128u8, 124u8, 49u8, 56u8, 151u8, 158u8, 105u8, 164u8, 102u8,
67u8, 203u8, 111u8, 47u8, 196u8, 155u8, 142u8, 128u8, 61u8, 43u8, 32u8, 84u8, 129u8,
116u8, 7u8, 143u8, 21u8, 117u8, 173u8, 33u8, 198u8, 188u8, 133u8, 176u8, 50u8, 125u8,
202u8, 246u8, 222u8, 118u8, 39u8, 235u8, 252u8, 232u8, 85u8, 24u8, 168u8, 247u8, 32u8,
223u8, 197u8, 252u8, 79u8, 78u8, 227u8, 75u8, 98u8, 149u8, 156u8, 170u8, 94u8,
],
],
};
Loading
Loading