From 42645674d00020701477135e422bae5dcb38a625 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Sat, 14 Dec 2024 11:03:54 +0000 Subject: [PATCH] batch update 32, append-with-proofs 32 --- .../verifying_keys/append_with_proofs_32_1.rs | 66 +++++++++++++++ .../append_with_proofs_32_10.rs | 65 ++++++++++++++ .../append_with_proofs_32_100.rs | 65 ++++++++++++++ .../append_with_proofs_32_1000.rs | 65 ++++++++++++++ .../append_with_proofs_32_250.rs | 66 +++++++++++++++ .../append_with_proofs_32_500.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_1.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_10.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_100.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_1000.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_250.rs | 65 ++++++++++++++ .../src/verifying_keys/update_32_500.rs | 65 ++++++++++++++ light-prover/integration_test.go | 84 ++++++++++++++----- light-prover/prover/proving_keys_utils.go | 37 ++++---- light-prover/scripts/generate_keys.sh | 67 ++++++++------- 15 files changed, 900 insertions(+), 70 deletions(-) create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_10.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_100.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1000.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_250.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_500.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_1.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_10.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_100.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_1000.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_250.rs create mode 100644 circuit-lib/verifier/src/verifying_keys/update_32_500.rs diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs new file mode 100644 index 000000000..0f50f3eac --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1.rs @@ -0,0 +1,66 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 38u8, 90u8, 61u8, 106u8, 70u8, 240u8, 234u8, 192u8, 163u8, 238u8, 6u8, 8u8, 76u8, 99u8, + 244u8, 52u8, 244u8, 120u8, 7u8, 109u8, 100u8, 66u8, 130u8, 115u8, 129u8, 171u8, 67u8, 45u8, + 92u8, 86u8, 194u8, 111u8, 19u8, 144u8, 95u8, 189u8, 96u8, 71u8, 126u8, 97u8, 254u8, 60u8, + 181u8, 28u8, 177u8, 205u8, 234u8, 181u8, 31u8, 73u8, 215u8, 246u8, 21u8, 224u8, 178u8, + 191u8, 133u8, 187u8, 0u8, 76u8, 185u8, 94u8, 235u8, 149u8, + ], + vk_beta_g2: [ + 18u8, 130u8, 162u8, 10u8, 47u8, 3u8, 150u8, 72u8, 52u8, 126u8, 86u8, 117u8, 220u8, 80u8, + 216u8, 230u8, 176u8, 127u8, 84u8, 248u8, 252u8, 164u8, 15u8, 109u8, 196u8, 69u8, 124u8, + 73u8, 123u8, 184u8, 3u8, 243u8, 40u8, 111u8, 164u8, 90u8, 202u8, 204u8, 250u8, 239u8, + 185u8, 28u8, 181u8, 209u8, 218u8, 120u8, 192u8, 252u8, 14u8, 235u8, 171u8, 81u8, 135u8, + 228u8, 70u8, 231u8, 5u8, 219u8, 171u8, 68u8, 164u8, 250u8, 121u8, 53u8, 43u8, 139u8, 157u8, + 156u8, 20u8, 11u8, 17u8, 150u8, 182u8, 216u8, 66u8, 177u8, 31u8, 40u8, 70u8, 187u8, 158u8, + 54u8, 55u8, 141u8, 61u8, 184u8, 112u8, 64u8, 219u8, 208u8, 108u8, 61u8, 48u8, 240u8, 205u8, + 172u8, 42u8, 42u8, 99u8, 50u8, 83u8, 232u8, 162u8, 27u8, 198u8, 159u8, 149u8, 72u8, 13u8, + 40u8, 11u8, 180u8, 198u8, 220u8, 33u8, 239u8, 113u8, 0u8, 55u8, 95u8, 108u8, 225u8, 148u8, + 159u8, 137u8, 217u8, 206u8, 165u8, + ], + vk_gamme_g2: [ + 32u8, 71u8, 212u8, 228u8, 199u8, 0u8, 224u8, 209u8, 254u8, 64u8, 49u8, 92u8, 168u8, 97u8, + 237u8, 136u8, 221u8, 60u8, 10u8, 203u8, 13u8, 100u8, 22u8, 244u8, 170u8, 221u8, 222u8, + 180u8, 1u8, 191u8, 210u8, 139u8, 6u8, 166u8, 79u8, 145u8, 30u8, 168u8, 96u8, 158u8, 30u8, + 15u8, 19u8, 231u8, 76u8, 66u8, 117u8, 58u8, 222u8, 88u8, 217u8, 57u8, 251u8, 196u8, 144u8, + 247u8, 107u8, 32u8, 126u8, 161u8, 90u8, 115u8, 115u8, 13u8, 11u8, 79u8, 190u8, 115u8, 80u8, + 123u8, 192u8, 4u8, 78u8, 188u8, 111u8, 78u8, 166u8, 109u8, 175u8, 197u8, 53u8, 19u8, 196u8, + 173u8, 32u8, 83u8, 53u8, 249u8, 82u8, 100u8, 195u8, 3u8, 68u8, 196u8, 137u8, 65u8, 16u8, + 31u8, 71u8, 149u8, 104u8, 26u8, 85u8, 54u8, 134u8, 120u8, 178u8, 0u8, 235u8, 218u8, 191u8, + 93u8, 252u8, 182u8, 150u8, 9u8, 89u8, 211u8, 110u8, 225u8, 51u8, 210u8, 69u8, 246u8, 130u8, + 175u8, 174u8, 44u8, + ], + vk_delta_g2: [ + 7u8, 142u8, 132u8, 242u8, 228u8, 224u8, 26u8, 0u8, 195u8, 196u8, 196u8, 11u8, 245u8, 194u8, + 181u8, 218u8, 128u8, 182u8, 7u8, 160u8, 155u8, 162u8, 254u8, 63u8, 110u8, 121u8, 147u8, + 247u8, 80u8, 226u8, 149u8, 253u8, 23u8, 109u8, 61u8, 121u8, 52u8, 208u8, 253u8, 41u8, + 104u8, 94u8, 253u8, 232u8, 25u8, 20u8, 234u8, 84u8, 59u8, 135u8, 105u8, 62u8, 237u8, 65u8, + 179u8, 80u8, 110u8, 104u8, 5u8, 211u8, 31u8, 255u8, 35u8, 17u8, 42u8, 216u8, 200u8, 97u8, + 111u8, 81u8, 118u8, 3u8, 48u8, 231u8, 49u8, 84u8, 156u8, 240u8, 250u8, 61u8, 220u8, 54u8, + 238u8, 113u8, 95u8, 35u8, 199u8, 164u8, 28u8, 124u8, 152u8, 93u8, 158u8, 154u8, 8u8, 141u8, + 10u8, 7u8, 152u8, 162u8, 86u8, 238u8, 162u8, 62u8, 33u8, 68u8, 218u8, 173u8, 53u8, 129u8, + 118u8, 64u8, 184u8, 198u8, 133u8, 136u8, 139u8, 159u8, 146u8, 251u8, 5u8, 210u8, 29u8, + 86u8, 177u8, 138u8, 115u8, 93u8, + ], + vk_ic: &[ + [ + 20u8, 245u8, 43u8, 214u8, 14u8, 162u8, 130u8, 145u8, 32u8, 195u8, 183u8, 69u8, 207u8, + 249u8, 124u8, 175u8, 84u8, 146u8, 134u8, 241u8, 153u8, 166u8, 253u8, 229u8, 190u8, + 10u8, 188u8, 189u8, 152u8, 88u8, 124u8, 56u8, 13u8, 61u8, 124u8, 26u8, 90u8, 115u8, + 166u8, 197u8, 193u8, 67u8, 244u8, 179u8, 125u8, 166u8, 55u8, 109u8, 224u8, 224u8, + 164u8, 92u8, 211u8, 169u8, 19u8, 76u8, 147u8, 219u8, 167u8, 161u8, 25u8, 130u8, 193u8, + 180u8, + ], + [ + 8u8, 136u8, 196u8, 27u8, 167u8, 4u8, 97u8, 158u8, 121u8, 121u8, 168u8, 85u8, 160u8, + 217u8, 179u8, 21u8, 200u8, 244u8, 188u8, 147u8, 206u8, 81u8, 135u8, 120u8, 135u8, + 100u8, 179u8, 155u8, 74u8, 117u8, 181u8, 215u8, 5u8, 250u8, 216u8, 206u8, 69u8, 169u8, + 241u8, 150u8, 196u8, 232u8, 121u8, 99u8, 214u8, 157u8, 30u8, 50u8, 187u8, 80u8, 255u8, + 88u8, 86u8, 75u8, 192u8, 143u8, 216u8, 152u8, 245u8, 165u8, 183u8, 207u8, 112u8, 4u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_10.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_10.rs new file mode 100644 index 000000000..6ad8917c2 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_10.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 25u8, 71u8, 29u8, 166u8, 88u8, 19u8, 2u8, 156u8, 255u8, 189u8, 43u8, 195u8, 230u8, 126u8, + 189u8, 255u8, 52u8, 46u8, 132u8, 173u8, 42u8, 213u8, 104u8, 82u8, 87u8, 154u8, 43u8, 206u8, + 126u8, 64u8, 253u8, 120u8, 18u8, 96u8, 145u8, 170u8, 56u8, 179u8, 39u8, 102u8, 58u8, 1u8, + 205u8, 125u8, 251u8, 35u8, 30u8, 62u8, 122u8, 225u8, 253u8, 136u8, 189u8, 0u8, 25u8, 245u8, + 204u8, 84u8, 76u8, 174u8, 114u8, 25u8, 154u8, 126u8, + ], + vk_beta_g2: [ + 29u8, 190u8, 126u8, 132u8, 142u8, 118u8, 13u8, 72u8, 180u8, 178u8, 6u8, 59u8, 148u8, 128u8, + 160u8, 201u8, 178u8, 127u8, 9u8, 189u8, 35u8, 35u8, 237u8, 174u8, 220u8, 206u8, 38u8, + 226u8, 157u8, 215u8, 219u8, 246u8, 18u8, 133u8, 55u8, 46u8, 233u8, 161u8, 179u8, 149u8, + 68u8, 212u8, 43u8, 242u8, 47u8, 44u8, 240u8, 102u8, 70u8, 56u8, 138u8, 162u8, 105u8, 242u8, + 62u8, 179u8, 45u8, 208u8, 156u8, 112u8, 209u8, 179u8, 60u8, 121u8, 29u8, 131u8, 137u8, + 160u8, 138u8, 105u8, 106u8, 31u8, 176u8, 242u8, 70u8, 63u8, 35u8, 233u8, 110u8, 159u8, + 218u8, 9u8, 5u8, 237u8, 0u8, 252u8, 166u8, 19u8, 207u8, 8u8, 94u8, 122u8, 195u8, 109u8, + 248u8, 54u8, 10u8, 158u8, 67u8, 70u8, 210u8, 45u8, 245u8, 114u8, 166u8, 228u8, 181u8, 94u8, + 132u8, 100u8, 21u8, 120u8, 103u8, 90u8, 88u8, 84u8, 148u8, 178u8, 86u8, 0u8, 114u8, 31u8, + 118u8, 201u8, 98u8, 222u8, 115u8, 58u8, + ], + vk_gamme_g2: [ + 30u8, 115u8, 168u8, 179u8, 137u8, 62u8, 152u8, 120u8, 105u8, 80u8, 0u8, 244u8, 115u8, 92u8, + 10u8, 237u8, 44u8, 124u8, 208u8, 194u8, 40u8, 42u8, 128u8, 185u8, 159u8, 239u8, 68u8, + 163u8, 190u8, 250u8, 246u8, 14u8, 9u8, 43u8, 35u8, 127u8, 144u8, 204u8, 252u8, 19u8, 197u8, + 190u8, 54u8, 59u8, 10u8, 133u8, 115u8, 67u8, 166u8, 14u8, 57u8, 119u8, 50u8, 144u8, 8u8, + 35u8, 49u8, 20u8, 32u8, 52u8, 161u8, 209u8, 127u8, 166u8, 33u8, 150u8, 242u8, 161u8, 132u8, + 80u8, 241u8, 6u8, 14u8, 109u8, 188u8, 59u8, 84u8, 67u8, 231u8, 122u8, 213u8, 66u8, 164u8, + 20u8, 229u8, 150u8, 205u8, 151u8, 33u8, 110u8, 116u8, 152u8, 181u8, 162u8, 104u8, 26u8, + 34u8, 65u8, 182u8, 25u8, 104u8, 177u8, 136u8, 96u8, 9u8, 29u8, 28u8, 241u8, 33u8, 33u8, + 208u8, 176u8, 151u8, 179u8, 154u8, 169u8, 184u8, 204u8, 254u8, 135u8, 221u8, 14u8, 214u8, + 33u8, 180u8, 237u8, 122u8, 11u8, + ], + vk_delta_g2: [ + 13u8, 56u8, 234u8, 231u8, 222u8, 222u8, 188u8, 110u8, 15u8, 77u8, 213u8, 13u8, 131u8, + 182u8, 86u8, 76u8, 61u8, 251u8, 80u8, 71u8, 89u8, 62u8, 247u8, 214u8, 151u8, 208u8, 159u8, + 38u8, 139u8, 61u8, 152u8, 38u8, 40u8, 168u8, 181u8, 224u8, 106u8, 49u8, 123u8, 189u8, 55u8, + 30u8, 232u8, 147u8, 235u8, 177u8, 114u8, 232u8, 127u8, 94u8, 223u8, 137u8, 6u8, 67u8, 90u8, + 44u8, 196u8, 7u8, 60u8, 255u8, 9u8, 247u8, 199u8, 5u8, 10u8, 19u8, 113u8, 61u8, 28u8, 41u8, + 228u8, 207u8, 148u8, 47u8, 177u8, 185u8, 66u8, 231u8, 36u8, 157u8, 60u8, 154u8, 186u8, + 214u8, 223u8, 80u8, 202u8, 46u8, 76u8, 211u8, 79u8, 84u8, 76u8, 99u8, 78u8, 158u8, 2u8, + 142u8, 166u8, 17u8, 51u8, 220u8, 81u8, 79u8, 89u8, 184u8, 46u8, 46u8, 2u8, 142u8, 195u8, + 38u8, 132u8, 218u8, 80u8, 227u8, 140u8, 211u8, 12u8, 122u8, 189u8, 80u8, 143u8, 247u8, + 90u8, 162u8, 166u8, 187u8, + ], + vk_ic: &[ + [ + 45u8, 84u8, 148u8, 14u8, 193u8, 6u8, 133u8, 64u8, 217u8, 168u8, 93u8, 92u8, 67u8, + 201u8, 62u8, 253u8, 89u8, 223u8, 189u8, 162u8, 125u8, 208u8, 177u8, 32u8, 226u8, 148u8, + 10u8, 16u8, 25u8, 213u8, 33u8, 84u8, 12u8, 247u8, 129u8, 255u8, 0u8, 32u8, 166u8, + 116u8, 36u8, 185u8, 255u8, 6u8, 183u8, 38u8, 21u8, 146u8, 21u8, 88u8, 37u8, 58u8, + 212u8, 22u8, 116u8, 5u8, 59u8, 8u8, 117u8, 222u8, 43u8, 149u8, 47u8, 160u8, + ], + [ + 36u8, 135u8, 176u8, 61u8, 230u8, 235u8, 20u8, 64u8, 16u8, 108u8, 211u8, 99u8, 194u8, + 139u8, 2u8, 232u8, 185u8, 198u8, 119u8, 163u8, 120u8, 50u8, 141u8, 185u8, 54u8, 107u8, + 49u8, 94u8, 169u8, 56u8, 168u8, 188u8, 18u8, 105u8, 189u8, 248u8, 116u8, 176u8, 241u8, + 253u8, 236u8, 2u8, 149u8, 53u8, 37u8, 246u8, 119u8, 49u8, 32u8, 96u8, 117u8, 164u8, + 220u8, 239u8, 204u8, 27u8, 69u8, 250u8, 137u8, 17u8, 170u8, 226u8, 180u8, 218u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_100.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_100.rs new file mode 100644 index 000000000..6f8324f38 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_100.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 17u8, 180u8, 179u8, 68u8, 150u8, 148u8, 214u8, 195u8, 199u8, 213u8, 9u8, 93u8, 63u8, 36u8, + 115u8, 226u8, 39u8, 78u8, 193u8, 242u8, 231u8, 184u8, 167u8, 242u8, 145u8, 183u8, 96u8, + 45u8, 132u8, 22u8, 126u8, 99u8, 9u8, 183u8, 156u8, 15u8, 44u8, 182u8, 106u8, 222u8, 106u8, + 210u8, 38u8, 65u8, 156u8, 255u8, 62u8, 106u8, 59u8, 25u8, 182u8, 12u8, 138u8, 12u8, 162u8, + 19u8, 178u8, 108u8, 169u8, 73u8, 129u8, 36u8, 249u8, 97u8, + ], + vk_beta_g2: [ + 34u8, 92u8, 65u8, 73u8, 231u8, 70u8, 78u8, 80u8, 82u8, 100u8, 62u8, 38u8, 13u8, 186u8, + 86u8, 224u8, 100u8, 248u8, 166u8, 201u8, 134u8, 6u8, 159u8, 109u8, 81u8, 118u8, 254u8, + 209u8, 202u8, 60u8, 74u8, 52u8, 12u8, 153u8, 120u8, 249u8, 116u8, 200u8, 245u8, 242u8, + 161u8, 179u8, 138u8, 68u8, 90u8, 135u8, 212u8, 225u8, 253u8, 205u8, 124u8, 25u8, 90u8, + 121u8, 41u8, 200u8, 180u8, 130u8, 174u8, 113u8, 27u8, 249u8, 106u8, 130u8, 18u8, 84u8, + 232u8, 25u8, 48u8, 86u8, 54u8, 126u8, 119u8, 246u8, 210u8, 155u8, 45u8, 250u8, 153u8, 94u8, + 189u8, 194u8, 75u8, 158u8, 117u8, 24u8, 193u8, 42u8, 101u8, 99u8, 86u8, 126u8, 112u8, 51u8, + 32u8, 190u8, 4u8, 179u8, 36u8, 13u8, 79u8, 171u8, 65u8, 226u8, 234u8, 101u8, 191u8, 241u8, + 41u8, 152u8, 250u8, 146u8, 236u8, 197u8, 242u8, 85u8, 74u8, 12u8, 203u8, 179u8, 161u8, + 76u8, 97u8, 220u8, 175u8, 115u8, 132u8, 222u8, + ], + vk_gamme_g2: [ + 35u8, 251u8, 192u8, 213u8, 149u8, 158u8, 246u8, 71u8, 45u8, 205u8, 203u8, 31u8, 21u8, 83u8, + 74u8, 73u8, 252u8, 165u8, 242u8, 124u8, 200u8, 5u8, 157u8, 159u8, 66u8, 40u8, 52u8, 136u8, + 135u8, 43u8, 162u8, 201u8, 48u8, 66u8, 145u8, 168u8, 37u8, 95u8, 177u8, 101u8, 70u8, 199u8, + 142u8, 204u8, 120u8, 204u8, 130u8, 131u8, 203u8, 175u8, 232u8, 112u8, 174u8, 89u8, 47u8, + 65u8, 134u8, 101u8, 194u8, 195u8, 162u8, 245u8, 162u8, 214u8, 18u8, 131u8, 150u8, 60u8, + 202u8, 160u8, 226u8, 19u8, 113u8, 89u8, 199u8, 51u8, 171u8, 158u8, 156u8, 248u8, 128u8, + 50u8, 233u8, 152u8, 223u8, 73u8, 243u8, 72u8, 16u8, 177u8, 15u8, 210u8, 130u8, 113u8, 53u8, + 211u8, 30u8, 21u8, 228u8, 65u8, 179u8, 24u8, 217u8, 53u8, 173u8, 80u8, 199u8, 139u8, 244u8, + 40u8, 210u8, 193u8, 50u8, 202u8, 132u8, 43u8, 49u8, 89u8, 220u8, 20u8, 250u8, 160u8, 198u8, + 100u8, 196u8, 40u8, 194u8, 79u8, + ], + vk_delta_g2: [ + 10u8, 77u8, 206u8, 9u8, 144u8, 147u8, 50u8, 226u8, 101u8, 153u8, 79u8, 171u8, 20u8, 198u8, + 64u8, 233u8, 254u8, 248u8, 89u8, 184u8, 18u8, 247u8, 20u8, 230u8, 32u8, 47u8, 109u8, 249u8, + 132u8, 201u8, 34u8, 254u8, 2u8, 92u8, 79u8, 32u8, 12u8, 27u8, 87u8, 177u8, 152u8, 193u8, + 111u8, 175u8, 4u8, 194u8, 79u8, 97u8, 90u8, 57u8, 114u8, 29u8, 198u8, 113u8, 131u8, 189u8, + 222u8, 36u8, 148u8, 133u8, 58u8, 160u8, 213u8, 9u8, 37u8, 240u8, 33u8, 190u8, 190u8, 185u8, + 252u8, 32u8, 68u8, 120u8, 82u8, 88u8, 201u8, 74u8, 228u8, 21u8, 225u8, 228u8, 205u8, 27u8, + 11u8, 128u8, 16u8, 216u8, 0u8, 125u8, 149u8, 122u8, 171u8, 255u8, 231u8, 234u8, 45u8, 23u8, + 72u8, 226u8, 186u8, 72u8, 39u8, 90u8, 146u8, 81u8, 21u8, 197u8, 3u8, 169u8, 2u8, 83u8, + 173u8, 85u8, 118u8, 53u8, 210u8, 230u8, 181u8, 54u8, 104u8, 207u8, 104u8, 210u8, 165u8, + 229u8, 117u8, 67u8, + ], + vk_ic: &[ + [ + 29u8, 15u8, 72u8, 227u8, 147u8, 50u8, 226u8, 54u8, 16u8, 232u8, 52u8, 35u8, 98u8, + 201u8, 22u8, 9u8, 114u8, 76u8, 136u8, 184u8, 158u8, 33u8, 216u8, 203u8, 236u8, 171u8, + 237u8, 64u8, 10u8, 191u8, 158u8, 90u8, 44u8, 23u8, 140u8, 92u8, 172u8, 177u8, 39u8, + 70u8, 123u8, 98u8, 185u8, 235u8, 113u8, 199u8, 44u8, 252u8, 177u8, 48u8, 45u8, 64u8, + 229u8, 149u8, 14u8, 20u8, 82u8, 89u8, 18u8, 141u8, 171u8, 116u8, 232u8, 19u8, + ], + [ + 3u8, 119u8, 221u8, 46u8, 96u8, 13u8, 226u8, 100u8, 15u8, 4u8, 163u8, 255u8, 247u8, + 91u8, 29u8, 131u8, 148u8, 108u8, 102u8, 44u8, 98u8, 184u8, 211u8, 191u8, 103u8, 10u8, + 16u8, 245u8, 111u8, 108u8, 243u8, 151u8, 5u8, 175u8, 56u8, 111u8, 202u8, 90u8, 198u8, + 100u8, 69u8, 5u8, 180u8, 250u8, 34u8, 153u8, 254u8, 52u8, 96u8, 69u8, 198u8, 250u8, + 114u8, 208u8, 91u8, 247u8, 139u8, 69u8, 8u8, 40u8, 73u8, 142u8, 143u8, 45u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1000.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1000.rs new file mode 100644 index 000000000..e2a755055 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_1000.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 36u8, 197u8, 56u8, 131u8, 63u8, 3u8, 242u8, 70u8, 67u8, 60u8, 114u8, 59u8, 150u8, 239u8, + 56u8, 236u8, 229u8, 248u8, 126u8, 153u8, 211u8, 242u8, 43u8, 133u8, 74u8, 172u8, 162u8, + 105u8, 45u8, 117u8, 203u8, 138u8, 44u8, 252u8, 102u8, 73u8, 62u8, 94u8, 171u8, 209u8, 97u8, + 61u8, 144u8, 114u8, 86u8, 147u8, 146u8, 242u8, 183u8, 103u8, 195u8, 192u8, 231u8, 241u8, + 140u8, 134u8, 11u8, 102u8, 51u8, 224u8, 165u8, 167u8, 109u8, 149u8, + ], + vk_beta_g2: [ + 16u8, 230u8, 155u8, 10u8, 78u8, 133u8, 15u8, 195u8, 224u8, 79u8, 135u8, 45u8, 93u8, 94u8, + 227u8, 216u8, 205u8, 50u8, 245u8, 147u8, 51u8, 194u8, 20u8, 113u8, 0u8, 239u8, 75u8, 177u8, + 52u8, 102u8, 100u8, 167u8, 42u8, 11u8, 65u8, 222u8, 81u8, 184u8, 95u8, 149u8, 192u8, 188u8, + 217u8, 145u8, 80u8, 220u8, 252u8, 149u8, 228u8, 161u8, 28u8, 52u8, 171u8, 76u8, 135u8, 1u8, + 48u8, 166u8, 69u8, 234u8, 45u8, 141u8, 215u8, 242u8, 21u8, 138u8, 88u8, 137u8, 51u8, 62u8, + 192u8, 96u8, 72u8, 231u8, 54u8, 129u8, 211u8, 172u8, 105u8, 19u8, 26u8, 213u8, 248u8, 7u8, + 30u8, 88u8, 40u8, 93u8, 125u8, 244u8, 190u8, 111u8, 240u8, 68u8, 212u8, 191u8, 35u8, 53u8, + 41u8, 75u8, 38u8, 84u8, 21u8, 236u8, 17u8, 90u8, 131u8, 166u8, 88u8, 94u8, 53u8, 118u8, + 59u8, 172u8, 146u8, 203u8, 124u8, 195u8, 29u8, 56u8, 134u8, 90u8, 120u8, 87u8, 3u8, 94u8, + 42u8, 120u8, + ], + vk_gamme_g2: [ + 3u8, 213u8, 194u8, 35u8, 55u8, 119u8, 85u8, 128u8, 183u8, 38u8, 67u8, 217u8, 13u8, 45u8, + 229u8, 105u8, 207u8, 137u8, 4u8, 137u8, 45u8, 213u8, 77u8, 235u8, 4u8, 194u8, 2u8, 115u8, + 124u8, 176u8, 174u8, 26u8, 31u8, 194u8, 218u8, 36u8, 222u8, 151u8, 18u8, 179u8, 77u8, + 179u8, 152u8, 66u8, 216u8, 47u8, 7u8, 7u8, 92u8, 98u8, 201u8, 97u8, 164u8, 208u8, 24u8, + 138u8, 106u8, 180u8, 97u8, 81u8, 24u8, 105u8, 202u8, 105u8, 15u8, 66u8, 227u8, 15u8, 115u8, + 23u8, 179u8, 48u8, 98u8, 250u8, 152u8, 168u8, 67u8, 6u8, 107u8, 231u8, 246u8, 66u8, 120u8, + 196u8, 227u8, 135u8, 21u8, 15u8, 92u8, 230u8, 78u8, 88u8, 56u8, 130u8, 30u8, 53u8, 29u8, + 219u8, 198u8, 47u8, 221u8, 82u8, 39u8, 75u8, 168u8, 254u8, 206u8, 193u8, 213u8, 250u8, + 44u8, 5u8, 133u8, 156u8, 77u8, 93u8, 126u8, 48u8, 15u8, 101u8, 236u8, 70u8, 163u8, 19u8, + 117u8, 62u8, 121u8, 194u8, + ], + vk_delta_g2: [ + 0u8, 164u8, 255u8, 57u8, 195u8, 125u8, 60u8, 4u8, 12u8, 65u8, 38u8, 37u8, 166u8, 112u8, + 200u8, 56u8, 119u8, 101u8, 131u8, 5u8, 164u8, 204u8, 125u8, 46u8, 16u8, 67u8, 24u8, 63u8, + 166u8, 61u8, 86u8, 244u8, 25u8, 105u8, 253u8, 142u8, 243u8, 164u8, 222u8, 165u8, 130u8, + 166u8, 18u8, 206u8, 195u8, 193u8, 17u8, 129u8, 247u8, 182u8, 161u8, 196u8, 51u8, 218u8, + 88u8, 116u8, 83u8, 81u8, 39u8, 183u8, 160u8, 226u8, 230u8, 165u8, 21u8, 208u8, 28u8, 198u8, + 93u8, 186u8, 218u8, 19u8, 235u8, 189u8, 46u8, 116u8, 79u8, 22u8, 11u8, 69u8, 28u8, 157u8, + 177u8, 239u8, 232u8, 224u8, 57u8, 164u8, 140u8, 232u8, 36u8, 174u8, 215u8, 175u8, 151u8, + 136u8, 37u8, 32u8, 65u8, 65u8, 150u8, 202u8, 247u8, 105u8, 100u8, 245u8, 127u8, 187u8, + 34u8, 186u8, 177u8, 35u8, 102u8, 28u8, 126u8, 86u8, 111u8, 77u8, 80u8, 25u8, 160u8, 222u8, + 51u8, 141u8, 106u8, 182u8, 160u8, 23u8, + ], + vk_ic: &[ + [ + 15u8, 30u8, 111u8, 131u8, 106u8, 73u8, 204u8, 232u8, 224u8, 102u8, 133u8, 56u8, 164u8, + 105u8, 229u8, 114u8, 27u8, 193u8, 110u8, 165u8, 206u8, 100u8, 105u8, 219u8, 71u8, 61u8, + 147u8, 85u8, 138u8, 240u8, 159u8, 180u8, 43u8, 14u8, 30u8, 130u8, 9u8, 72u8, 220u8, + 239u8, 23u8, 137u8, 220u8, 203u8, 127u8, 82u8, 105u8, 180u8, 89u8, 171u8, 194u8, 255u8, + 58u8, 140u8, 165u8, 225u8, 176u8, 247u8, 225u8, 246u8, 200u8, 226u8, 215u8, 225u8, + ], + [ + 4u8, 54u8, 71u8, 240u8, 161u8, 158u8, 174u8, 132u8, 15u8, 167u8, 37u8, 178u8, 109u8, + 39u8, 8u8, 53u8, 18u8, 128u8, 166u8, 122u8, 14u8, 177u8, 251u8, 167u8, 168u8, 10u8, + 60u8, 131u8, 206u8, 225u8, 166u8, 163u8, 40u8, 36u8, 128u8, 211u8, 59u8, 242u8, 28u8, + 12u8, 51u8, 180u8, 104u8, 68u8, 177u8, 199u8, 235u8, 40u8, 56u8, 74u8, 188u8, 76u8, + 38u8, 88u8, 143u8, 105u8, 150u8, 239u8, 205u8, 44u8, 118u8, 140u8, 36u8, 8u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_250.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_250.rs new file mode 100644 index 000000000..025cc4f25 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_250.rs @@ -0,0 +1,66 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 42u8, 241u8, 146u8, 120u8, 80u8, 95u8, 128u8, 210u8, 219u8, 34u8, 228u8, 167u8, 151u8, + 110u8, 221u8, 150u8, 141u8, 143u8, 37u8, 211u8, 64u8, 80u8, 130u8, 163u8, 64u8, 248u8, + 182u8, 59u8, 71u8, 167u8, 101u8, 216u8, 27u8, 146u8, 9u8, 35u8, 39u8, 80u8, 219u8, 21u8, + 213u8, 244u8, 7u8, 10u8, 161u8, 197u8, 74u8, 113u8, 18u8, 118u8, 218u8, 172u8, 39u8, 203u8, + 71u8, 120u8, 70u8, 5u8, 82u8, 231u8, 250u8, 17u8, 49u8, 114u8, + ], + vk_beta_g2: [ + 48u8, 61u8, 98u8, 228u8, 191u8, 38u8, 57u8, 111u8, 1u8, 231u8, 1u8, 146u8, 64u8, 119u8, + 96u8, 174u8, 138u8, 150u8, 77u8, 26u8, 58u8, 226u8, 201u8, 198u8, 195u8, 173u8, 183u8, + 233u8, 75u8, 253u8, 235u8, 7u8, 42u8, 96u8, 247u8, 57u8, 145u8, 130u8, 198u8, 87u8, 245u8, + 38u8, 194u8, 191u8, 113u8, 225u8, 244u8, 51u8, 184u8, 46u8, 218u8, 104u8, 228u8, 187u8, + 229u8, 84u8, 202u8, 151u8, 161u8, 198u8, 130u8, 92u8, 120u8, 191u8, 37u8, 116u8, 85u8, + 120u8, 172u8, 252u8, 201u8, 255u8, 129u8, 190u8, 142u8, 239u8, 218u8, 192u8, 12u8, 153u8, + 233u8, 40u8, 63u8, 158u8, 195u8, 227u8, 53u8, 58u8, 71u8, 121u8, 223u8, 32u8, 4u8, 49u8, + 177u8, 66u8, 11u8, 156u8, 217u8, 145u8, 32u8, 226u8, 152u8, 99u8, 104u8, 88u8, 223u8, 31u8, + 229u8, 11u8, 228u8, 156u8, 96u8, 102u8, 147u8, 205u8, 242u8, 136u8, 83u8, 123u8, 64u8, + 15u8, 12u8, 124u8, 15u8, 206u8, 243u8, 108u8, + ], + vk_gamme_g2: [ + 45u8, 46u8, 168u8, 61u8, 54u8, 15u8, 241u8, 249u8, 181u8, 123u8, 48u8, 14u8, 164u8, 20u8, + 161u8, 152u8, 193u8, 212u8, 18u8, 250u8, 105u8, 5u8, 101u8, 143u8, 41u8, 68u8, 105u8, 23u8, + 25u8, 0u8, 5u8, 141u8, 24u8, 7u8, 169u8, 101u8, 37u8, 63u8, 101u8, 215u8, 111u8, 181u8, + 56u8, 63u8, 215u8, 72u8, 174u8, 25u8, 228u8, 46u8, 7u8, 182u8, 90u8, 171u8, 216u8, 46u8, + 78u8, 151u8, 79u8, 245u8, 105u8, 71u8, 96u8, 136u8, 2u8, 95u8, 135u8, 25u8, 205u8, 51u8, + 242u8, 195u8, 164u8, 165u8, 244u8, 133u8, 136u8, 21u8, 79u8, 43u8, 154u8, 127u8, 147u8, + 23u8, 184u8, 100u8, 16u8, 80u8, 4u8, 222u8, 22u8, 75u8, 229u8, 95u8, 131u8, 203u8, 10u8, + 9u8, 145u8, 223u8, 141u8, 35u8, 66u8, 202u8, 19u8, 141u8, 46u8, 102u8, 238u8, 131u8, 3u8, + 251u8, 113u8, 8u8, 21u8, 236u8, 201u8, 85u8, 211u8, 200u8, 191u8, 225u8, 11u8, 46u8, 235u8, + 230u8, 211u8, 146u8, + ], + vk_delta_g2: [ + 8u8, 113u8, 186u8, 94u8, 145u8, 130u8, 114u8, 144u8, 82u8, 235u8, 132u8, 99u8, 79u8, 188u8, + 230u8, 135u8, 26u8, 26u8, 35u8, 50u8, 237u8, 58u8, 77u8, 79u8, 43u8, 121u8, 60u8, 215u8, + 110u8, 200u8, 26u8, 25u8, 9u8, 163u8, 92u8, 127u8, 111u8, 212u8, 159u8, 240u8, 169u8, + 165u8, 55u8, 66u8, 236u8, 79u8, 70u8, 142u8, 8u8, 27u8, 125u8, 92u8, 211u8, 21u8, 108u8, + 187u8, 146u8, 45u8, 203u8, 188u8, 177u8, 142u8, 44u8, 78u8, 20u8, 151u8, 183u8, 249u8, + 255u8, 119u8, 191u8, 243u8, 121u8, 7u8, 28u8, 21u8, 221u8, 143u8, 146u8, 27u8, 126u8, 20u8, + 82u8, 26u8, 10u8, 112u8, 179u8, 134u8, 181u8, 49u8, 223u8, 41u8, 135u8, 223u8, 64u8, 84u8, + 42u8, 137u8, 86u8, 119u8, 179u8, 251u8, 6u8, 12u8, 55u8, 254u8, 178u8, 164u8, 139u8, 113u8, + 252u8, 112u8, 79u8, 249u8, 179u8, 107u8, 48u8, 198u8, 190u8, 234u8, 44u8, 177u8, 47u8, + 253u8, 33u8, 160u8, 131u8, 201u8, + ], + vk_ic: &[ + [ + 12u8, 37u8, 239u8, 249u8, 199u8, 145u8, 147u8, 15u8, 161u8, 122u8, 123u8, 191u8, 233u8, + 157u8, 120u8, 142u8, 214u8, 154u8, 164u8, 29u8, 214u8, 243u8, 128u8, 236u8, 211u8, + 124u8, 238u8, 74u8, 23u8, 19u8, 169u8, 102u8, 4u8, 238u8, 6u8, 40u8, 121u8, 128u8, + 151u8, 159u8, 187u8, 65u8, 200u8, 85u8, 184u8, 156u8, 121u8, 196u8, 252u8, 169u8, + 112u8, 120u8, 173u8, 229u8, 149u8, 242u8, 237u8, 29u8, 206u8, 139u8, 218u8, 15u8, + 143u8, 30u8, + ], + [ + 9u8, 44u8, 203u8, 50u8, 87u8, 223u8, 215u8, 19u8, 64u8, 162u8, 132u8, 59u8, 243u8, + 80u8, 5u8, 78u8, 110u8, 95u8, 205u8, 179u8, 193u8, 98u8, 96u8, 112u8, 42u8, 103u8, + 29u8, 58u8, 207u8, 24u8, 43u8, 125u8, 28u8, 25u8, 112u8, 242u8, 171u8, 253u8, 113u8, + 162u8, 79u8, 32u8, 143u8, 191u8, 123u8, 15u8, 117u8, 254u8, 218u8, 179u8, 168u8, 53u8, + 112u8, 70u8, 76u8, 66u8, 217u8, 26u8, 117u8, 89u8, 124u8, 236u8, 153u8, 185u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_500.rs b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_500.rs new file mode 100644 index 000000000..0ca87911f --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/append_with_proofs_32_500.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 15u8, 144u8, 131u8, 60u8, 148u8, 174u8, 137u8, 89u8, 242u8, 162u8, 224u8, 153u8, 44u8, + 23u8, 175u8, 176u8, 156u8, 30u8, 123u8, 190u8, 49u8, 10u8, 239u8, 227u8, 2u8, 246u8, 95u8, + 224u8, 231u8, 6u8, 166u8, 247u8, 38u8, 54u8, 192u8, 80u8, 137u8, 10u8, 151u8, 254u8, 6u8, + 94u8, 54u8, 80u8, 26u8, 232u8, 18u8, 180u8, 150u8, 172u8, 67u8, 178u8, 203u8, 75u8, 212u8, + 224u8, 18u8, 86u8, 227u8, 103u8, 120u8, 100u8, 101u8, 108u8, + ], + vk_beta_g2: [ + 26u8, 152u8, 4u8, 242u8, 16u8, 139u8, 81u8, 220u8, 178u8, 219u8, 63u8, 201u8, 217u8, 188u8, + 72u8, 121u8, 98u8, 53u8, 52u8, 92u8, 136u8, 194u8, 67u8, 123u8, 127u8, 97u8, 9u8, 235u8, + 250u8, 131u8, 184u8, 213u8, 18u8, 165u8, 52u8, 206u8, 191u8, 157u8, 90u8, 184u8, 61u8, + 103u8, 29u8, 29u8, 248u8, 151u8, 47u8, 6u8, 242u8, 189u8, 48u8, 18u8, 201u8, 177u8, 85u8, + 219u8, 34u8, 113u8, 150u8, 154u8, 23u8, 124u8, 3u8, 165u8, 21u8, 7u8, 48u8, 235u8, 178u8, + 80u8, 163u8, 54u8, 67u8, 143u8, 126u8, 169u8, 37u8, 240u8, 194u8, 108u8, 86u8, 179u8, 19u8, + 194u8, 109u8, 243u8, 143u8, 224u8, 84u8, 195u8, 225u8, 105u8, 169u8, 74u8, 170u8, 244u8, + 29u8, 141u8, 111u8, 206u8, 16u8, 172u8, 55u8, 170u8, 160u8, 237u8, 233u8, 149u8, 123u8, + 102u8, 163u8, 139u8, 12u8, 200u8, 16u8, 195u8, 192u8, 16u8, 28u8, 143u8, 185u8, 25u8, + 166u8, 85u8, 30u8, 131u8, 70u8, 237u8, + ], + vk_gamme_g2: [ + 13u8, 7u8, 222u8, 14u8, 234u8, 69u8, 61u8, 202u8, 47u8, 65u8, 248u8, 36u8, 231u8, 209u8, + 16u8, 248u8, 48u8, 232u8, 97u8, 200u8, 152u8, 190u8, 141u8, 59u8, 231u8, 169u8, 88u8, 65u8, + 86u8, 4u8, 109u8, 246u8, 32u8, 1u8, 153u8, 48u8, 19u8, 100u8, 34u8, 186u8, 233u8, 187u8, + 187u8, 254u8, 220u8, 197u8, 8u8, 51u8, 6u8, 38u8, 195u8, 22u8, 194u8, 72u8, 168u8, 225u8, + 80u8, 50u8, 225u8, 205u8, 67u8, 143u8, 142u8, 49u8, 29u8, 92u8, 69u8, 206u8, 223u8, 165u8, + 123u8, 179u8, 114u8, 246u8, 56u8, 137u8, 163u8, 92u8, 1u8, 48u8, 59u8, 91u8, 125u8, 241u8, + 78u8, 52u8, 111u8, 96u8, 120u8, 212u8, 55u8, 122u8, 162u8, 82u8, 182u8, 145u8, 26u8, 145u8, + 200u8, 89u8, 213u8, 169u8, 143u8, 213u8, 77u8, 132u8, 100u8, 6u8, 185u8, 60u8, 225u8, + 208u8, 205u8, 104u8, 14u8, 228u8, 149u8, 220u8, 91u8, 38u8, 116u8, 28u8, 10u8, 69u8, 149u8, + 81u8, 48u8, 190u8, + ], + vk_delta_g2: [ + 38u8, 222u8, 219u8, 18u8, 89u8, 139u8, 141u8, 22u8, 84u8, 92u8, 6u8, 191u8, 35u8, 92u8, + 13u8, 192u8, 102u8, 133u8, 213u8, 188u8, 96u8, 241u8, 81u8, 187u8, 67u8, 2u8, 45u8, 183u8, + 137u8, 52u8, 68u8, 203u8, 35u8, 20u8, 119u8, 191u8, 231u8, 79u8, 60u8, 182u8, 231u8, 150u8, + 153u8, 238u8, 192u8, 168u8, 178u8, 49u8, 172u8, 23u8, 3u8, 147u8, 255u8, 103u8, 18u8, + 112u8, 33u8, 79u8, 182u8, 98u8, 128u8, 126u8, 185u8, 205u8, 42u8, 246u8, 168u8, 238u8, + 59u8, 185u8, 139u8, 42u8, 61u8, 254u8, 66u8, 53u8, 197u8, 33u8, 189u8, 137u8, 30u8, 47u8, + 124u8, 6u8, 177u8, 176u8, 53u8, 15u8, 36u8, 54u8, 22u8, 188u8, 9u8, 82u8, 220u8, 255u8, + 20u8, 65u8, 78u8, 203u8, 117u8, 191u8, 164u8, 213u8, 69u8, 94u8, 24u8, 107u8, 192u8, 204u8, + 26u8, 78u8, 237u8, 224u8, 232u8, 254u8, 167u8, 100u8, 214u8, 155u8, 152u8, 144u8, 95u8, + 177u8, 240u8, 207u8, 170u8, 188u8, + ], + vk_ic: &[ + [ + 33u8, 77u8, 192u8, 158u8, 218u8, 171u8, 142u8, 182u8, 0u8, 94u8, 172u8, 241u8, 112u8, + 76u8, 162u8, 200u8, 131u8, 62u8, 188u8, 209u8, 21u8, 177u8, 63u8, 69u8, 233u8, 108u8, + 53u8, 94u8, 255u8, 120u8, 167u8, 224u8, 21u8, 72u8, 79u8, 142u8, 218u8, 114u8, 226u8, + 23u8, 193u8, 42u8, 184u8, 117u8, 208u8, 111u8, 186u8, 213u8, 179u8, 44u8, 25u8, 45u8, + 243u8, 205u8, 4u8, 62u8, 212u8, 134u8, 178u8, 45u8, 157u8, 49u8, 104u8, 60u8, + ], + [ + 46u8, 247u8, 163u8, 76u8, 176u8, 218u8, 80u8, 129u8, 237u8, 66u8, 23u8, 69u8, 60u8, + 198u8, 183u8, 109u8, 231u8, 225u8, 113u8, 219u8, 22u8, 180u8, 51u8, 148u8, 6u8, 179u8, + 106u8, 26u8, 81u8, 253u8, 75u8, 117u8, 21u8, 213u8, 98u8, 236u8, 104u8, 188u8, 69u8, + 50u8, 130u8, 7u8, 54u8, 83u8, 229u8, 220u8, 57u8, 118u8, 29u8, 70u8, 85u8, 95u8, 209u8, + 40u8, 50u8, 197u8, 40u8, 94u8, 102u8, 59u8, 244u8, 39u8, 171u8, 186u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_1.rs b/circuit-lib/verifier/src/verifying_keys/update_32_1.rs new file mode 100644 index 000000000..5460b5f0d --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_1.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 11u8, 59u8, 31u8, 90u8, 138u8, 40u8, 146u8, 93u8, 126u8, 181u8, 177u8, 134u8, 74u8, 134u8, + 227u8, 163u8, 159u8, 178u8, 112u8, 75u8, 255u8, 218u8, 251u8, 129u8, 126u8, 157u8, 115u8, + 178u8, 189u8, 222u8, 34u8, 84u8, 11u8, 234u8, 198u8, 50u8, 252u8, 68u8, 77u8, 50u8, 248u8, + 254u8, 193u8, 146u8, 95u8, 72u8, 135u8, 44u8, 150u8, 173u8, 223u8, 115u8, 109u8, 49u8, + 207u8, 223u8, 18u8, 125u8, 154u8, 98u8, 152u8, 187u8, 243u8, 46u8, + ], + vk_beta_g2: [ + 31u8, 164u8, 140u8, 23u8, 161u8, 161u8, 188u8, 30u8, 130u8, 170u8, 198u8, 91u8, 75u8, + 233u8, 186u8, 76u8, 193u8, 63u8, 224u8, 55u8, 190u8, 174u8, 58u8, 24u8, 118u8, 182u8, 7u8, + 178u8, 240u8, 158u8, 104u8, 23u8, 32u8, 67u8, 178u8, 25u8, 242u8, 145u8, 201u8, 91u8, 10u8, + 68u8, 71u8, 237u8, 192u8, 212u8, 121u8, 204u8, 141u8, 25u8, 190u8, 69u8, 73u8, 85u8, 250u8, + 62u8, 81u8, 83u8, 213u8, 199u8, 239u8, 8u8, 187u8, 144u8, 43u8, 223u8, 111u8, 31u8, 203u8, + 103u8, 76u8, 54u8, 124u8, 112u8, 200u8, 57u8, 120u8, 178u8, 195u8, 89u8, 23u8, 155u8, + 251u8, 176u8, 4u8, 149u8, 91u8, 69u8, 201u8, 56u8, 113u8, 3u8, 211u8, 252u8, 158u8, 231u8, + 17u8, 62u8, 31u8, 66u8, 118u8, 150u8, 31u8, 231u8, 54u8, 122u8, 30u8, 111u8, 203u8, 84u8, + 113u8, 99u8, 241u8, 105u8, 87u8, 49u8, 85u8, 12u8, 7u8, 9u8, 150u8, 165u8, 82u8, 35u8, + 173u8, 109u8, 170u8, 175u8, + ], + vk_gamme_g2: [ + 28u8, 204u8, 194u8, 19u8, 82u8, 6u8, 96u8, 16u8, 220u8, 27u8, 182u8, 187u8, 37u8, 46u8, + 176u8, 157u8, 231u8, 4u8, 215u8, 177u8, 166u8, 9u8, 61u8, 235u8, 248u8, 112u8, 200u8, + 211u8, 123u8, 200u8, 153u8, 42u8, 38u8, 80u8, 214u8, 128u8, 76u8, 154u8, 168u8, 2u8, 247u8, + 64u8, 94u8, 155u8, 247u8, 63u8, 24u8, 144u8, 158u8, 63u8, 247u8, 158u8, 74u8, 176u8, 125u8, + 244u8, 150u8, 225u8, 30u8, 180u8, 234u8, 96u8, 212u8, 181u8, 36u8, 27u8, 247u8, 41u8, 69u8, + 52u8, 153u8, 134u8, 160u8, 136u8, 98u8, 62u8, 175u8, 45u8, 193u8, 138u8, 82u8, 188u8, + 118u8, 22u8, 50u8, 203u8, 18u8, 184u8, 137u8, 79u8, 157u8, 10u8, 81u8, 114u8, 111u8, 66u8, + 7u8, 31u8, 82u8, 223u8, 189u8, 35u8, 59u8, 80u8, 206u8, 230u8, 206u8, 91u8, 129u8, 79u8, + 144u8, 141u8, 247u8, 6u8, 87u8, 52u8, 125u8, 248u8, 215u8, 123u8, 50u8, 54u8, 192u8, 9u8, + 170u8, 7u8, 246u8, 66u8, + ], + vk_delta_g2: [ + 29u8, 105u8, 16u8, 7u8, 60u8, 244u8, 196u8, 64u8, 36u8, 230u8, 161u8, 246u8, 68u8, 33u8, + 207u8, 209u8, 241u8, 78u8, 229u8, 199u8, 243u8, 255u8, 34u8, 173u8, 39u8, 111u8, 90u8, + 220u8, 39u8, 87u8, 243u8, 125u8, 9u8, 86u8, 209u8, 110u8, 79u8, 217u8, 237u8, 126u8, 96u8, + 202u8, 229u8, 50u8, 136u8, 99u8, 122u8, 61u8, 46u8, 110u8, 102u8, 196u8, 134u8, 73u8, + 129u8, 183u8, 202u8, 215u8, 34u8, 90u8, 25u8, 228u8, 72u8, 141u8, 35u8, 74u8, 217u8, 201u8, + 10u8, 160u8, 9u8, 72u8, 253u8, 14u8, 223u8, 41u8, 181u8, 141u8, 157u8, 211u8, 32u8, 207u8, + 56u8, 34u8, 214u8, 92u8, 79u8, 49u8, 5u8, 43u8, 48u8, 192u8, 16u8, 35u8, 138u8, 250u8, + 31u8, 17u8, 255u8, 23u8, 162u8, 177u8, 83u8, 22u8, 106u8, 152u8, 124u8, 157u8, 219u8, 49u8, + 105u8, 156u8, 36u8, 33u8, 157u8, 39u8, 245u8, 73u8, 128u8, 137u8, 245u8, 92u8, 99u8, 202u8, + 134u8, 228u8, 26u8, 140u8, + ], + vk_ic: &[ + [ + 1u8, 217u8, 57u8, 174u8, 189u8, 157u8, 246u8, 238u8, 185u8, 196u8, 147u8, 21u8, 3u8, + 160u8, 114u8, 18u8, 219u8, 65u8, 41u8, 43u8, 225u8, 129u8, 109u8, 188u8, 138u8, 91u8, + 203u8, 26u8, 101u8, 181u8, 66u8, 188u8, 2u8, 233u8, 89u8, 168u8, 27u8, 143u8, 54u8, + 7u8, 214u8, 107u8, 41u8, 205u8, 130u8, 73u8, 142u8, 200u8, 205u8, 51u8, 39u8, 61u8, + 185u8, 226u8, 145u8, 69u8, 197u8, 112u8, 226u8, 149u8, 112u8, 74u8, 165u8, 101u8, + ], + [ + 11u8, 120u8, 151u8, 31u8, 7u8, 83u8, 204u8, 137u8, 208u8, 180u8, 82u8, 49u8, 141u8, + 83u8, 65u8, 198u8, 229u8, 64u8, 61u8, 104u8, 76u8, 56u8, 21u8, 41u8, 174u8, 142u8, + 145u8, 158u8, 134u8, 122u8, 99u8, 63u8, 40u8, 112u8, 8u8, 197u8, 35u8, 186u8, 193u8, + 215u8, 169u8, 223u8, 63u8, 94u8, 100u8, 254u8, 84u8, 94u8, 9u8, 38u8, 75u8, 193u8, + 44u8, 48u8, 42u8, 118u8, 245u8, 151u8, 91u8, 101u8, 82u8, 89u8, 124u8, 159u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_10.rs b/circuit-lib/verifier/src/verifying_keys/update_32_10.rs new file mode 100644 index 000000000..32f299d9b --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_10.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 23u8, 172u8, 143u8, 130u8, 10u8, 24u8, 75u8, 86u8, 1u8, 185u8, 47u8, 140u8, 43u8, 65u8, + 142u8, 160u8, 85u8, 83u8, 43u8, 132u8, 155u8, 117u8, 217u8, 94u8, 246u8, 163u8, 246u8, + 72u8, 229u8, 120u8, 15u8, 199u8, 1u8, 14u8, 17u8, 216u8, 151u8, 44u8, 137u8, 155u8, 86u8, + 131u8, 41u8, 96u8, 246u8, 101u8, 143u8, 60u8, 189u8, 81u8, 40u8, 234u8, 34u8, 71u8, 210u8, + 176u8, 236u8, 146u8, 93u8, 12u8, 204u8, 179u8, 151u8, 113u8, + ], + vk_beta_g2: [ + 43u8, 115u8, 110u8, 152u8, 84u8, 43u8, 91u8, 116u8, 125u8, 98u8, 46u8, 27u8, 212u8, 145u8, + 160u8, 175u8, 123u8, 130u8, 158u8, 218u8, 64u8, 93u8, 68u8, 185u8, 220u8, 48u8, 158u8, + 17u8, 102u8, 221u8, 186u8, 2u8, 18u8, 3u8, 255u8, 12u8, 165u8, 255u8, 202u8, 14u8, 132u8, + 197u8, 132u8, 228u8, 228u8, 231u8, 136u8, 30u8, 157u8, 49u8, 110u8, 95u8, 141u8, 149u8, + 121u8, 173u8, 107u8, 107u8, 130u8, 209u8, 246u8, 52u8, 128u8, 171u8, 1u8, 63u8, 185u8, + 56u8, 247u8, 157u8, 73u8, 177u8, 75u8, 115u8, 209u8, 190u8, 194u8, 122u8, 175u8, 213u8, + 33u8, 37u8, 192u8, 112u8, 205u8, 213u8, 144u8, 214u8, 202u8, 48u8, 230u8, 137u8, 38u8, + 225u8, 218u8, 23u8, 41u8, 153u8, 213u8, 31u8, 174u8, 247u8, 231u8, 169u8, 75u8, 39u8, + 109u8, 63u8, 144u8, 193u8, 57u8, 76u8, 30u8, 137u8, 111u8, 113u8, 242u8, 94u8, 164u8, + 206u8, 2u8, 237u8, 34u8, 190u8, 85u8, 77u8, 0u8, 198u8, + ], + vk_gamme_g2: [ + 16u8, 33u8, 0u8, 234u8, 109u8, 237u8, 98u8, 203u8, 78u8, 171u8, 104u8, 23u8, 156u8, 211u8, + 132u8, 240u8, 46u8, 230u8, 193u8, 249u8, 220u8, 69u8, 95u8, 28u8, 227u8, 87u8, 27u8, 216u8, + 146u8, 108u8, 72u8, 70u8, 47u8, 133u8, 187u8, 221u8, 141u8, 60u8, 61u8, 237u8, 152u8, + 135u8, 129u8, 146u8, 101u8, 133u8, 209u8, 132u8, 117u8, 178u8, 214u8, 187u8, 239u8, 182u8, + 1u8, 123u8, 148u8, 83u8, 217u8, 168u8, 67u8, 142u8, 100u8, 89u8, 42u8, 136u8, 36u8, 234u8, + 13u8, 44u8, 105u8, 72u8, 93u8, 238u8, 67u8, 172u8, 88u8, 98u8, 157u8, 127u8, 125u8, 44u8, + 168u8, 177u8, 47u8, 107u8, 172u8, 163u8, 170u8, 9u8, 95u8, 183u8, 17u8, 21u8, 23u8, 241u8, + 31u8, 134u8, 153u8, 216u8, 207u8, 105u8, 225u8, 36u8, 18u8, 194u8, 247u8, 160u8, 233u8, + 49u8, 225u8, 77u8, 219u8, 212u8, 237u8, 218u8, 143u8, 240u8, 219u8, 236u8, 153u8, 68u8, + 25u8, 100u8, 152u8, 141u8, 228u8, 173u8, + ], + vk_delta_g2: [ + 35u8, 142u8, 179u8, 21u8, 113u8, 199u8, 143u8, 158u8, 74u8, 26u8, 178u8, 163u8, 217u8, + 79u8, 53u8, 119u8, 8u8, 98u8, 225u8, 252u8, 238u8, 154u8, 133u8, 64u8, 122u8, 51u8, 8u8, + 252u8, 106u8, 222u8, 51u8, 173u8, 13u8, 1u8, 226u8, 31u8, 239u8, 191u8, 140u8, 242u8, + 166u8, 75u8, 216u8, 79u8, 153u8, 83u8, 45u8, 103u8, 187u8, 224u8, 214u8, 134u8, 235u8, + 218u8, 192u8, 160u8, 94u8, 247u8, 134u8, 247u8, 236u8, 52u8, 2u8, 56u8, 11u8, 45u8, 191u8, + 71u8, 178u8, 207u8, 114u8, 119u8, 253u8, 23u8, 254u8, 166u8, 214u8, 156u8, 29u8, 183u8, + 215u8, 89u8, 250u8, 114u8, 167u8, 143u8, 245u8, 220u8, 119u8, 124u8, 190u8, 13u8, 129u8, + 213u8, 6u8, 208u8, 16u8, 94u8, 162u8, 118u8, 133u8, 142u8, 153u8, 131u8, 35u8, 192u8, + 232u8, 190u8, 246u8, 94u8, 215u8, 155u8, 131u8, 169u8, 64u8, 34u8, 132u8, 81u8, 43u8, + 219u8, 122u8, 143u8, 162u8, 64u8, 112u8, 137u8, 87u8, 228u8, + ], + vk_ic: &[ + [ + 35u8, 197u8, 222u8, 206u8, 9u8, 41u8, 59u8, 105u8, 52u8, 47u8, 7u8, 26u8, 171u8, 49u8, + 98u8, 62u8, 222u8, 52u8, 195u8, 176u8, 98u8, 252u8, 35u8, 176u8, 173u8, 158u8, 102u8, + 22u8, 124u8, 86u8, 39u8, 143u8, 39u8, 98u8, 104u8, 237u8, 23u8, 190u8, 107u8, 2u8, + 105u8, 223u8, 243u8, 63u8, 179u8, 126u8, 82u8, 77u8, 247u8, 158u8, 229u8, 129u8, 42u8, + 195u8, 39u8, 190u8, 119u8, 103u8, 129u8, 188u8, 88u8, 97u8, 17u8, 114u8, + ], + [ + 11u8, 168u8, 252u8, 86u8, 210u8, 25u8, 139u8, 38u8, 197u8, 246u8, 219u8, 124u8, 77u8, + 56u8, 151u8, 242u8, 21u8, 108u8, 136u8, 9u8, 183u8, 169u8, 172u8, 175u8, 57u8, 213u8, + 41u8, 46u8, 238u8, 196u8, 60u8, 71u8, 32u8, 15u8, 130u8, 88u8, 47u8, 238u8, 49u8, + 127u8, 214u8, 144u8, 171u8, 40u8, 201u8, 3u8, 134u8, 116u8, 238u8, 197u8, 164u8, 186u8, + 211u8, 59u8, 76u8, 82u8, 81u8, 250u8, 177u8, 206u8, 13u8, 255u8, 12u8, 138u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_100.rs b/circuit-lib/verifier/src/verifying_keys/update_32_100.rs new file mode 100644 index 000000000..1c70655b5 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_100.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 36u8, 244u8, 22u8, 126u8, 145u8, 234u8, 227u8, 116u8, 117u8, 236u8, 58u8, 169u8, 63u8, + 152u8, 202u8, 36u8, 118u8, 17u8, 212u8, 133u8, 127u8, 17u8, 136u8, 95u8, 113u8, 150u8, + 159u8, 58u8, 163u8, 220u8, 244u8, 72u8, 39u8, 152u8, 184u8, 181u8, 145u8, 229u8, 174u8, + 83u8, 196u8, 254u8, 62u8, 164u8, 93u8, 39u8, 229u8, 138u8, 229u8, 63u8, 194u8, 150u8, 56u8, + 45u8, 66u8, 205u8, 122u8, 64u8, 212u8, 41u8, 161u8, 65u8, 68u8, 199u8, + ], + vk_beta_g2: [ + 33u8, 160u8, 144u8, 20u8, 5u8, 15u8, 129u8, 221u8, 71u8, 123u8, 164u8, 190u8, 22u8, 109u8, + 221u8, 40u8, 1u8, 40u8, 36u8, 187u8, 152u8, 255u8, 85u8, 227u8, 148u8, 235u8, 43u8, 78u8, + 26u8, 38u8, 202u8, 0u8, 14u8, 47u8, 253u8, 235u8, 39u8, 43u8, 232u8, 186u8, 40u8, 79u8, + 68u8, 153u8, 34u8, 20u8, 152u8, 127u8, 33u8, 24u8, 93u8, 166u8, 79u8, 160u8, 159u8, 34u8, + 69u8, 75u8, 224u8, 8u8, 18u8, 179u8, 68u8, 35u8, 41u8, 249u8, 205u8, 115u8, 0u8, 212u8, + 126u8, 87u8, 65u8, 253u8, 62u8, 190u8, 134u8, 97u8, 177u8, 37u8, 106u8, 174u8, 202u8, + 239u8, 42u8, 245u8, 195u8, 1u8, 13u8, 190u8, 187u8, 226u8, 126u8, 14u8, 7u8, 206u8, 47u8, + 12u8, 177u8, 103u8, 45u8, 118u8, 58u8, 128u8, 138u8, 219u8, 80u8, 114u8, 230u8, 179u8, + 205u8, 2u8, 66u8, 253u8, 250u8, 6u8, 113u8, 251u8, 149u8, 60u8, 82u8, 219u8, 97u8, 198u8, + 222u8, 224u8, 50u8, 140u8, + ], + vk_gamme_g2: [ + 10u8, 160u8, 213u8, 244u8, 93u8, 20u8, 185u8, 202u8, 136u8, 87u8, 116u8, 31u8, 50u8, 94u8, + 79u8, 44u8, 149u8, 39u8, 126u8, 198u8, 56u8, 89u8, 54u8, 106u8, 27u8, 15u8, 139u8, 120u8, + 99u8, 188u8, 199u8, 48u8, 31u8, 49u8, 176u8, 218u8, 61u8, 125u8, 230u8, 82u8, 238u8, 127u8, + 171u8, 109u8, 219u8, 233u8, 205u8, 154u8, 110u8, 93u8, 217u8, 216u8, 75u8, 234u8, 158u8, + 139u8, 115u8, 73u8, 126u8, 151u8, 47u8, 203u8, 58u8, 108u8, 8u8, 106u8, 255u8, 44u8, 62u8, + 226u8, 189u8, 30u8, 144u8, 84u8, 94u8, 215u8, 41u8, 240u8, 97u8, 39u8, 66u8, 55u8, 255u8, + 219u8, 231u8, 5u8, 231u8, 94u8, 167u8, 106u8, 205u8, 72u8, 169u8, 247u8, 39u8, 232u8, 3u8, + 141u8, 178u8, 188u8, 227u8, 100u8, 18u8, 82u8, 230u8, 36u8, 123u8, 157u8, 123u8, 35u8, + 46u8, 34u8, 231u8, 228u8, 183u8, 128u8, 123u8, 35u8, 109u8, 45u8, 215u8, 130u8, 61u8, + 160u8, 5u8, 42u8, 216u8, 33u8, + ], + vk_delta_g2: [ + 30u8, 67u8, 112u8, 177u8, 88u8, 28u8, 249u8, 157u8, 174u8, 15u8, 161u8, 76u8, 198u8, 177u8, + 107u8, 250u8, 238u8, 240u8, 209u8, 188u8, 37u8, 104u8, 69u8, 17u8, 247u8, 227u8, 121u8, + 23u8, 167u8, 14u8, 197u8, 105u8, 35u8, 162u8, 147u8, 190u8, 192u8, 207u8, 69u8, 129u8, + 147u8, 84u8, 75u8, 147u8, 219u8, 65u8, 27u8, 84u8, 2u8, 150u8, 88u8, 178u8, 235u8, 191u8, + 17u8, 37u8, 11u8, 67u8, 138u8, 106u8, 36u8, 79u8, 25u8, 148u8, 27u8, 112u8, 71u8, 169u8, + 135u8, 220u8, 244u8, 69u8, 74u8, 131u8, 248u8, 59u8, 251u8, 215u8, 87u8, 19u8, 67u8, 14u8, + 219u8, 222u8, 47u8, 169u8, 175u8, 21u8, 38u8, 17u8, 232u8, 242u8, 169u8, 22u8, 84u8, 228u8, + 30u8, 62u8, 135u8, 35u8, 242u8, 24u8, 181u8, 1u8, 218u8, 233u8, 228u8, 247u8, 60u8, 60u8, + 252u8, 22u8, 152u8, 63u8, 124u8, 165u8, 124u8, 207u8, 212u8, 232u8, 154u8, 52u8, 227u8, + 27u8, 137u8, 173u8, 100u8, 133u8, + ], + vk_ic: &[ + [ + 27u8, 85u8, 36u8, 230u8, 127u8, 252u8, 213u8, 102u8, 189u8, 95u8, 43u8, 139u8, 254u8, + 175u8, 10u8, 24u8, 223u8, 6u8, 65u8, 98u8, 201u8, 115u8, 252u8, 23u8, 226u8, 132u8, + 51u8, 175u8, 28u8, 126u8, 71u8, 39u8, 37u8, 172u8, 170u8, 30u8, 85u8, 69u8, 142u8, + 28u8, 148u8, 190u8, 2u8, 102u8, 249u8, 183u8, 208u8, 12u8, 180u8, 73u8, 227u8, 224u8, + 147u8, 230u8, 207u8, 52u8, 30u8, 203u8, 140u8, 161u8, 95u8, 232u8, 238u8, 251u8, + ], + [ + 28u8, 117u8, 4u8, 41u8, 196u8, 148u8, 243u8, 96u8, 242u8, 84u8, 93u8, 94u8, 81u8, + 203u8, 44u8, 241u8, 89u8, 187u8, 30u8, 124u8, 204u8, 100u8, 97u8, 162u8, 240u8, 128u8, + 249u8, 179u8, 195u8, 63u8, 18u8, 9u8, 4u8, 247u8, 67u8, 181u8, 39u8, 77u8, 215u8, + 192u8, 81u8, 49u8, 0u8, 7u8, 226u8, 33u8, 58u8, 127u8, 137u8, 199u8, 54u8, 248u8, + 107u8, 93u8, 109u8, 130u8, 141u8, 98u8, 241u8, 50u8, 67u8, 105u8, 84u8, 119u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_1000.rs b/circuit-lib/verifier/src/verifying_keys/update_32_1000.rs new file mode 100644 index 000000000..a6004baf1 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_1000.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 27u8, 125u8, 14u8, 231u8, 19u8, 69u8, 112u8, 11u8, 180u8, 136u8, 63u8, 116u8, 93u8, 221u8, + 114u8, 197u8, 92u8, 120u8, 52u8, 148u8, 232u8, 234u8, 25u8, 68u8, 165u8, 182u8, 188u8, + 136u8, 50u8, 58u8, 137u8, 218u8, 40u8, 253u8, 42u8, 33u8, 136u8, 198u8, 48u8, 171u8, 145u8, + 130u8, 19u8, 24u8, 231u8, 22u8, 204u8, 177u8, 174u8, 52u8, 108u8, 212u8, 88u8, 110u8, + 232u8, 157u8, 252u8, 106u8, 67u8, 148u8, 111u8, 138u8, 206u8, 195u8, + ], + vk_beta_g2: [ + 33u8, 89u8, 169u8, 168u8, 123u8, 205u8, 8u8, 88u8, 133u8, 50u8, 240u8, 144u8, 40u8, 31u8, + 75u8, 129u8, 1u8, 205u8, 41u8, 68u8, 20u8, 147u8, 36u8, 224u8, 37u8, 214u8, 236u8, 4u8, + 34u8, 211u8, 119u8, 9u8, 36u8, 85u8, 153u8, 123u8, 26u8, 27u8, 161u8, 77u8, 99u8, 8u8, + 251u8, 246u8, 219u8, 23u8, 33u8, 250u8, 234u8, 181u8, 132u8, 183u8, 155u8, 125u8, 252u8, + 100u8, 169u8, 195u8, 19u8, 39u8, 105u8, 131u8, 160u8, 233u8, 10u8, 246u8, 205u8, 240u8, + 90u8, 227u8, 87u8, 111u8, 157u8, 19u8, 78u8, 127u8, 223u8, 133u8, 254u8, 40u8, 133u8, + 110u8, 77u8, 93u8, 32u8, 49u8, 40u8, 190u8, 204u8, 213u8, 3u8, 59u8, 171u8, 128u8, 228u8, + 248u8, 13u8, 215u8, 41u8, 243u8, 10u8, 60u8, 132u8, 207u8, 20u8, 159u8, 54u8, 197u8, 185u8, + 232u8, 42u8, 25u8, 177u8, 231u8, 204u8, 147u8, 197u8, 130u8, 206u8, 16u8, 99u8, 190u8, + 208u8, 248u8, 33u8, 237u8, 240u8, 186u8, + ], + vk_gamme_g2: [ + 40u8, 252u8, 139u8, 238u8, 166u8, 170u8, 10u8, 102u8, 164u8, 21u8, 249u8, 44u8, 147u8, + 14u8, 5u8, 141u8, 62u8, 114u8, 212u8, 242u8, 15u8, 89u8, 69u8, 35u8, 55u8, 142u8, 144u8, + 181u8, 238u8, 1u8, 184u8, 6u8, 33u8, 212u8, 224u8, 134u8, 60u8, 210u8, 107u8, 40u8, 197u8, + 224u8, 100u8, 221u8, 188u8, 21u8, 180u8, 44u8, 168u8, 243u8, 178u8, 76u8, 0u8, 178u8, + 219u8, 245u8, 198u8, 177u8, 127u8, 79u8, 178u8, 12u8, 35u8, 182u8, 13u8, 21u8, 173u8, + 235u8, 118u8, 99u8, 140u8, 184u8, 35u8, 55u8, 112u8, 199u8, 168u8, 166u8, 147u8, 10u8, + 27u8, 249u8, 46u8, 81u8, 123u8, 58u8, 78u8, 87u8, 20u8, 163u8, 74u8, 139u8, 235u8, 247u8, + 254u8, 162u8, 29u8, 81u8, 163u8, 225u8, 109u8, 185u8, 211u8, 253u8, 6u8, 104u8, 109u8, + 17u8, 133u8, 9u8, 159u8, 139u8, 202u8, 74u8, 144u8, 245u8, 50u8, 83u8, 37u8, 232u8, 73u8, + 87u8, 55u8, 140u8, 40u8, 242u8, 246u8, 6u8, + ], + vk_delta_g2: [ + 34u8, 236u8, 68u8, 143u8, 51u8, 152u8, 237u8, 67u8, 218u8, 174u8, 212u8, 191u8, 20u8, 91u8, + 142u8, 157u8, 233u8, 113u8, 105u8, 179u8, 18u8, 183u8, 147u8, 76u8, 231u8, 58u8, 255u8, + 223u8, 105u8, 150u8, 57u8, 222u8, 26u8, 68u8, 185u8, 45u8, 96u8, 219u8, 117u8, 3u8, 17u8, + 244u8, 235u8, 14u8, 255u8, 201u8, 66u8, 203u8, 220u8, 69u8, 217u8, 69u8, 35u8, 243u8, + 207u8, 111u8, 37u8, 189u8, 155u8, 202u8, 225u8, 150u8, 84u8, 201u8, 32u8, 105u8, 210u8, + 132u8, 110u8, 69u8, 233u8, 117u8, 233u8, 172u8, 234u8, 23u8, 239u8, 28u8, 117u8, 166u8, + 215u8, 204u8, 156u8, 220u8, 122u8, 243u8, 250u8, 206u8, 160u8, 107u8, 22u8, 23u8, 179u8, + 118u8, 17u8, 43u8, 38u8, 98u8, 64u8, 96u8, 163u8, 99u8, 247u8, 171u8, 48u8, 130u8, 114u8, + 246u8, 249u8, 100u8, 12u8, 200u8, 103u8, 125u8, 26u8, 120u8, 46u8, 72u8, 210u8, 238u8, + 70u8, 193u8, 34u8, 108u8, 254u8, 65u8, 61u8, 255u8, + ], + vk_ic: &[ + [ + 14u8, 239u8, 55u8, 30u8, 228u8, 208u8, 207u8, 212u8, 201u8, 147u8, 243u8, 217u8, 232u8, + 197u8, 160u8, 117u8, 73u8, 91u8, 245u8, 146u8, 139u8, 42u8, 192u8, 79u8, 133u8, 161u8, + 145u8, 234u8, 46u8, 118u8, 102u8, 211u8, 24u8, 102u8, 42u8, 29u8, 239u8, 235u8, 191u8, + 76u8, 145u8, 132u8, 81u8, 83u8, 128u8, 99u8, 122u8, 102u8, 124u8, 117u8, 132u8, 187u8, + 251u8, 52u8, 32u8, 123u8, 199u8, 248u8, 21u8, 156u8, 75u8, 54u8, 172u8, 6u8, + ], + [ + 23u8, 237u8, 158u8, 69u8, 245u8, 100u8, 47u8, 52u8, 157u8, 181u8, 162u8, 201u8, 255u8, + 100u8, 118u8, 27u8, 255u8, 106u8, 26u8, 190u8, 152u8, 52u8, 86u8, 222u8, 62u8, 131u8, + 201u8, 46u8, 33u8, 16u8, 76u8, 165u8, 10u8, 59u8, 218u8, 96u8, 81u8, 239u8, 88u8, 48u8, + 0u8, 174u8, 137u8, 5u8, 244u8, 225u8, 221u8, 240u8, 243u8, 223u8, 68u8, 102u8, 201u8, + 220u8, 34u8, 159u8, 27u8, 4u8, 187u8, 173u8, 35u8, 50u8, 210u8, 64u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_250.rs b/circuit-lib/verifier/src/verifying_keys/update_32_250.rs new file mode 100644 index 000000000..aa99ee433 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_250.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 24u8, 167u8, 223u8, 15u8, 189u8, 40u8, 66u8, 112u8, 233u8, 175u8, 197u8, 169u8, 194u8, + 70u8, 180u8, 215u8, 220u8, 204u8, 197u8, 70u8, 0u8, 119u8, 11u8, 13u8, 232u8, 7u8, 35u8, + 153u8, 106u8, 52u8, 207u8, 55u8, 21u8, 168u8, 85u8, 153u8, 182u8, 17u8, 201u8, 157u8, + 118u8, 219u8, 244u8, 60u8, 141u8, 150u8, 183u8, 133u8, 175u8, 163u8, 58u8, 137u8, 9u8, + 80u8, 79u8, 73u8, 232u8, 96u8, 53u8, 70u8, 235u8, 68u8, 168u8, 195u8, + ], + vk_beta_g2: [ + 40u8, 224u8, 166u8, 243u8, 235u8, 61u8, 48u8, 14u8, 213u8, 92u8, 170u8, 136u8, 89u8, 81u8, + 161u8, 207u8, 124u8, 101u8, 2u8, 145u8, 234u8, 205u8, 149u8, 96u8, 193u8, 108u8, 253u8, + 1u8, 144u8, 212u8, 26u8, 44u8, 19u8, 76u8, 204u8, 9u8, 69u8, 180u8, 184u8, 170u8, 89u8, + 9u8, 118u8, 51u8, 90u8, 33u8, 18u8, 63u8, 222u8, 77u8, 172u8, 15u8, 56u8, 86u8, 197u8, + 150u8, 109u8, 240u8, 249u8, 134u8, 112u8, 218u8, 135u8, 182u8, 26u8, 136u8, 97u8, 130u8, + 133u8, 97u8, 139u8, 138u8, 173u8, 244u8, 78u8, 119u8, 99u8, 123u8, 71u8, 135u8, 46u8, + 159u8, 90u8, 247u8, 42u8, 151u8, 28u8, 50u8, 46u8, 110u8, 227u8, 30u8, 127u8, 243u8, 12u8, + 229u8, 29u8, 106u8, 33u8, 121u8, 204u8, 200u8, 10u8, 5u8, 145u8, 162u8, 62u8, 35u8, 160u8, + 17u8, 21u8, 92u8, 87u8, 132u8, 247u8, 129u8, 43u8, 56u8, 148u8, 15u8, 87u8, 246u8, 84u8, + 72u8, 45u8, 239u8, 25u8, 187u8, + ], + vk_gamme_g2: [ + 19u8, 98u8, 87u8, 61u8, 78u8, 2u8, 16u8, 51u8, 223u8, 127u8, 16u8, 244u8, 159u8, 168u8, + 8u8, 229u8, 146u8, 141u8, 174u8, 154u8, 125u8, 190u8, 132u8, 229u8, 3u8, 14u8, 89u8, 124u8, + 39u8, 156u8, 45u8, 147u8, 23u8, 156u8, 170u8, 98u8, 5u8, 181u8, 118u8, 179u8, 179u8, 206u8, + 85u8, 234u8, 148u8, 25u8, 246u8, 79u8, 48u8, 131u8, 25u8, 96u8, 71u8, 13u8, 25u8, 238u8, + 215u8, 129u8, 68u8, 157u8, 147u8, 118u8, 3u8, 23u8, 2u8, 189u8, 68u8, 246u8, 208u8, 87u8, + 184u8, 0u8, 186u8, 215u8, 177u8, 137u8, 152u8, 240u8, 204u8, 231u8, 97u8, 103u8, 58u8, + 41u8, 239u8, 205u8, 114u8, 63u8, 86u8, 138u8, 233u8, 145u8, 25u8, 157u8, 18u8, 194u8, 13u8, + 74u8, 80u8, 203u8, 28u8, 81u8, 172u8, 94u8, 59u8, 233u8, 58u8, 84u8, 206u8, 25u8, 35u8, + 29u8, 223u8, 167u8, 162u8, 13u8, 43u8, 113u8, 163u8, 25u8, 94u8, 188u8, 20u8, 30u8, 20u8, + 37u8, 244u8, 4u8, + ], + vk_delta_g2: [ + 17u8, 40u8, 131u8, 167u8, 108u8, 1u8, 138u8, 238u8, 163u8, 195u8, 72u8, 43u8, 211u8, 214u8, + 206u8, 29u8, 108u8, 205u8, 85u8, 17u8, 85u8, 116u8, 160u8, 242u8, 217u8, 197u8, 111u8, + 135u8, 143u8, 230u8, 14u8, 118u8, 21u8, 147u8, 190u8, 56u8, 120u8, 249u8, 34u8, 46u8, + 120u8, 65u8, 83u8, 109u8, 21u8, 68u8, 239u8, 5u8, 76u8, 82u8, 34u8, 179u8, 231u8, 2u8, + 15u8, 118u8, 183u8, 43u8, 246u8, 70u8, 50u8, 207u8, 107u8, 116u8, 33u8, 112u8, 209u8, 97u8, + 72u8, 139u8, 16u8, 220u8, 41u8, 232u8, 166u8, 148u8, 247u8, 225u8, 110u8, 172u8, 103u8, + 102u8, 200u8, 144u8, 37u8, 9u8, 99u8, 161u8, 118u8, 132u8, 195u8, 86u8, 6u8, 181u8, 89u8, + 233u8, 3u8, 120u8, 73u8, 24u8, 175u8, 130u8, 178u8, 143u8, 26u8, 51u8, 185u8, 249u8, 12u8, + 43u8, 209u8, 237u8, 245u8, 164u8, 90u8, 31u8, 194u8, 59u8, 245u8, 150u8, 165u8, 98u8, 31u8, + 66u8, 81u8, 109u8, 151u8, 140u8, + ], + vk_ic: &[ + [ + 17u8, 83u8, 210u8, 133u8, 251u8, 127u8, 21u8, 60u8, 23u8, 70u8, 51u8, 127u8, 36u8, + 243u8, 212u8, 52u8, 14u8, 130u8, 55u8, 142u8, 19u8, 104u8, 170u8, 117u8, 34u8, 226u8, + 24u8, 198u8, 234u8, 199u8, 165u8, 201u8, 19u8, 251u8, 54u8, 161u8, 31u8, 197u8, 129u8, + 34u8, 59u8, 124u8, 227u8, 34u8, 178u8, 209u8, 70u8, 116u8, 122u8, 83u8, 78u8, 198u8, + 196u8, 215u8, 124u8, 140u8, 15u8, 221u8, 126u8, 1u8, 94u8, 138u8, 162u8, 39u8, + ], + [ + 1u8, 176u8, 204u8, 68u8, 128u8, 23u8, 220u8, 6u8, 3u8, 177u8, 249u8, 145u8, 223u8, + 243u8, 1u8, 206u8, 75u8, 221u8, 209u8, 188u8, 102u8, 88u8, 226u8, 165u8, 198u8, 4u8, + 3u8, 144u8, 225u8, 126u8, 125u8, 131u8, 12u8, 168u8, 216u8, 160u8, 203u8, 23u8, 255u8, + 27u8, 88u8, 133u8, 242u8, 217u8, 189u8, 79u8, 87u8, 179u8, 227u8, 94u8, 201u8, 43u8, + 129u8, 243u8, 7u8, 43u8, 27u8, 13u8, 129u8, 86u8, 237u8, 230u8, 247u8, 4u8, + ], + ], +}; diff --git a/circuit-lib/verifier/src/verifying_keys/update_32_500.rs b/circuit-lib/verifier/src/verifying_keys/update_32_500.rs new file mode 100644 index 000000000..1a3184314 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/update_32_500.rs @@ -0,0 +1,65 @@ +// This file is generated by xtask. Do not edit it manually. + +use groth16_solana::groth16::Groth16Verifyingkey; +pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { + nr_pubinputs: 1usize, + vk_alpha_g1: [ + 17u8, 75u8, 172u8, 221u8, 46u8, 124u8, 2u8, 139u8, 227u8, 221u8, 33u8, 9u8, 208u8, 196u8, + 69u8, 145u8, 76u8, 123u8, 170u8, 159u8, 21u8, 162u8, 84u8, 75u8, 242u8, 107u8, 14u8, 216u8, + 100u8, 184u8, 44u8, 21u8, 22u8, 223u8, 29u8, 207u8, 13u8, 200u8, 97u8, 225u8, 14u8, 77u8, + 219u8, 109u8, 153u8, 213u8, 145u8, 186u8, 154u8, 179u8, 178u8, 50u8, 201u8, 9u8, 152u8, + 84u8, 151u8, 111u8, 169u8, 201u8, 217u8, 90u8, 33u8, 118u8, + ], + vk_beta_g2: [ + 27u8, 107u8, 152u8, 96u8, 247u8, 43u8, 50u8, 239u8, 13u8, 136u8, 234u8, 161u8, 225u8, + 252u8, 79u8, 178u8, 31u8, 220u8, 88u8, 144u8, 68u8, 211u8, 192u8, 3u8, 29u8, 152u8, 94u8, + 72u8, 43u8, 193u8, 68u8, 232u8, 27u8, 141u8, 236u8, 235u8, 170u8, 191u8, 195u8, 38u8, + 146u8, 76u8, 231u8, 213u8, 212u8, 170u8, 205u8, 220u8, 181u8, 221u8, 26u8, 87u8, 95u8, + 105u8, 219u8, 190u8, 221u8, 92u8, 115u8, 49u8, 48u8, 183u8, 254u8, 188u8, 46u8, 92u8, 95u8, + 56u8, 34u8, 4u8, 28u8, 179u8, 79u8, 89u8, 50u8, 134u8, 140u8, 174u8, 203u8, 251u8, 99u8, + 145u8, 248u8, 17u8, 126u8, 120u8, 177u8, 42u8, 244u8, 199u8, 215u8, 153u8, 56u8, 238u8, + 19u8, 67u8, 42u8, 139u8, 147u8, 85u8, 241u8, 137u8, 146u8, 144u8, 6u8, 234u8, 104u8, 167u8, + 200u8, 229u8, 42u8, 207u8, 71u8, 69u8, 63u8, 4u8, 86u8, 114u8, 170u8, 222u8, 162u8, 157u8, + 25u8, 151u8, 31u8, 24u8, 89u8, 215u8, + ], + vk_gamme_g2: [ + 47u8, 76u8, 170u8, 99u8, 50u8, 28u8, 134u8, 36u8, 215u8, 134u8, 209u8, 205u8, 231u8, 32u8, + 200u8, 247u8, 84u8, 74u8, 199u8, 55u8, 96u8, 217u8, 249u8, 25u8, 164u8, 42u8, 63u8, 230u8, + 212u8, 216u8, 190u8, 155u8, 28u8, 247u8, 221u8, 200u8, 142u8, 144u8, 173u8, 240u8, 159u8, + 45u8, 181u8, 63u8, 51u8, 23u8, 64u8, 80u8, 148u8, 70u8, 13u8, 177u8, 229u8, 122u8, 142u8, + 67u8, 218u8, 213u8, 21u8, 195u8, 198u8, 148u8, 183u8, 92u8, 14u8, 220u8, 85u8, 107u8, + 134u8, 164u8, 57u8, 25u8, 147u8, 198u8, 60u8, 157u8, 228u8, 156u8, 96u8, 175u8, 77u8, + 216u8, 149u8, 13u8, 7u8, 177u8, 91u8, 222u8, 180u8, 109u8, 203u8, 154u8, 170u8, 168u8, + 128u8, 146u8, 27u8, 153u8, 55u8, 125u8, 217u8, 123u8, 210u8, 55u8, 3u8, 113u8, 68u8, 198u8, + 141u8, 103u8, 106u8, 243u8, 121u8, 62u8, 74u8, 234u8, 72u8, 159u8, 209u8, 46u8, 132u8, + 80u8, 116u8, 233u8, 58u8, 98u8, 31u8, 174u8, + ], + vk_delta_g2: [ + 47u8, 187u8, 34u8, 208u8, 81u8, 180u8, 16u8, 205u8, 131u8, 121u8, 74u8, 126u8, 182u8, + 148u8, 66u8, 11u8, 102u8, 221u8, 162u8, 41u8, 6u8, 16u8, 235u8, 116u8, 76u8, 215u8, 138u8, + 129u8, 247u8, 220u8, 14u8, 155u8, 46u8, 10u8, 93u8, 26u8, 55u8, 182u8, 133u8, 137u8, 162u8, + 19u8, 86u8, 36u8, 110u8, 2u8, 13u8, 177u8, 66u8, 210u8, 228u8, 55u8, 21u8, 140u8, 249u8, + 187u8, 42u8, 137u8, 59u8, 25u8, 79u8, 184u8, 202u8, 104u8, 29u8, 103u8, 252u8, 250u8, + 176u8, 130u8, 123u8, 60u8, 33u8, 229u8, 61u8, 4u8, 62u8, 146u8, 181u8, 128u8, 32u8, 12u8, + 69u8, 24u8, 203u8, 206u8, 197u8, 30u8, 48u8, 7u8, 203u8, 221u8, 85u8, 118u8, 83u8, 62u8, + 6u8, 99u8, 132u8, 181u8, 170u8, 167u8, 196u8, 114u8, 155u8, 234u8, 176u8, 138u8, 81u8, + 36u8, 30u8, 254u8, 103u8, 33u8, 116u8, 194u8, 147u8, 190u8, 23u8, 249u8, 13u8, 93u8, 212u8, + 221u8, 173u8, 108u8, 202u8, 1u8, + ], + vk_ic: &[ + [ + 26u8, 201u8, 101u8, 42u8, 212u8, 2u8, 14u8, 95u8, 32u8, 153u8, 204u8, 59u8, 68u8, 97u8, + 52u8, 10u8, 83u8, 82u8, 154u8, 129u8, 219u8, 86u8, 247u8, 198u8, 196u8, 238u8, 223u8, + 86u8, 11u8, 128u8, 174u8, 173u8, 45u8, 209u8, 25u8, 113u8, 88u8, 49u8, 101u8, 252u8, + 30u8, 143u8, 200u8, 200u8, 57u8, 214u8, 122u8, 32u8, 210u8, 183u8, 85u8, 163u8, 167u8, + 149u8, 217u8, 206u8, 205u8, 9u8, 169u8, 135u8, 145u8, 201u8, 176u8, 127u8, + ], + [ + 43u8, 104u8, 99u8, 221u8, 211u8, 9u8, 199u8, 185u8, 246u8, 101u8, 254u8, 227u8, 136u8, + 134u8, 59u8, 181u8, 97u8, 55u8, 202u8, 107u8, 213u8, 36u8, 53u8, 95u8, 147u8, 27u8, + 196u8, 26u8, 1u8, 179u8, 172u8, 180u8, 19u8, 232u8, 237u8, 157u8, 175u8, 255u8, 80u8, + 114u8, 148u8, 23u8, 131u8, 67u8, 187u8, 241u8, 217u8, 164u8, 43u8, 13u8, 180u8, 65u8, + 1u8, 50u8, 174u8, 183u8, 217u8, 91u8, 13u8, 99u8, 28u8, 234u8, 241u8, 140u8, + ], + ], +}; diff --git a/light-prover/integration_test.go b/light-prover/integration_test.go index f6d34bf7d..bc3bbd0c8 100644 --- a/light-prover/integration_test.go +++ b/light-prover/integration_test.go @@ -9,6 +9,7 @@ import ( "math/big" "net/http" "os" + "strconv" "strings" "testing" "time" @@ -133,34 +134,50 @@ func TestFull(t *testing.T) { // runCommonTests contains all tests that should run in both modes func runCommonTests(t *testing.T) { - t.Run("testWrongMethod", testWrongMethod) - t.Run("testInclusionHappyPath26_12348", testInclusionHappyPath26_12348) - t.Run("testInclusionHappyPath26_1_JSON", testInclusionHappyPath26_1_JSON) - t.Run("testInclusionWrongInPathIndices", testInclusionWrongInPathIndices) - t.Run("testInclusionWrongInPathElements", testInclusionWrongInPathElements) - t.Run("testInclusionWrongRoot", testInclusionWrongRoot) - t.Run("testParsingEmptyTreeWithOneLeaf", testParsingEmptyTreeWithOneLeaf) - t.Run("testNonInclusionHappyPath26_1_JSON", testNonInclusionHappyPath26_1_JSON) - t.Run("testCombinedHappyPath_JSON", testCombinedHappyPath_JSON) + // t.Run("testWrongMethod", testWrongMethod) + // t.Run("testInclusionHappyPath26_12348", testInclusionHappyPath26_12348) + // t.Run("testInclusionHappyPath26_1_JSON", testInclusionHappyPath26_1_JSON) + // t.Run("testInclusionWrongInPathIndices", testInclusionWrongInPathIndices) + // t.Run("testInclusionWrongInPathElements", testInclusionWrongInPathElements) + // t.Run("testInclusionWrongRoot", testInclusionWrongRoot) + // t.Run("testParsingEmptyTreeWithOneLeaf", testParsingEmptyTreeWithOneLeaf) + // t.Run("testNonInclusionHappyPath26_1_JSON", testNonInclusionHappyPath26_1_JSON) + // t.Run("testCombinedHappyPath_JSON", testCombinedHappyPath_JSON) } // runFullOnlyTests contains tests that should only run in full mode func runFullOnlyTests(t *testing.T) { - t.Run("testBatchAppendWithSubtreesHappyPath26_1000", testBatchAppendWithSubtreesHappyPath26_1000) - t.Run("testBatchAppendWithSubtreesPreviousState26_100", testBatchAppendWithSubtreesPreviousState26_100) + // t.Run("testBatchAppendWithSubtreesHappyPath26_1000", testBatchAppendWithSubtreesHappyPath26_1000) + // t.Run("testBatchAppendWithSubtreesPreviousState26_100", testBatchAppendWithSubtreesPreviousState26_100) - t.Run("testBatchAppendWithProofsHappyPath26_1000", testBatchAppendWithProofsHappyPath26_1000) - t.Run("testBatchAppendWithProofsPreviousState26_100", testBatchAppendWithProofsPreviousState26_100) + // t.Run("testBatchAppendWithProofsHappyPath26_1000", testBatchAppendWithProofsHappyPath26_1000) + // t.Run("testBatchAppendWithProofsPreviousState26_100", testBatchAppendWithProofsPreviousState26_100) - t.Run("testBatchUpdateHappyPath26_100", testBatchUpdateHappyPath26_100) - t.Run("testBatchUpdateHappyPath26_500", testBatchUpdateHappyPath26_500) - t.Run("testBatchUpdateHappyPath26_1000", testBatchUpdateHappyPath26_1000) + // t.Run("testBatchUpdateHappyPath26_100", testBatchUpdateHappyPath26_100) + // t.Run("testBatchUpdateHappyPath26_500", testBatchUpdateHappyPath26_500) + // t.Run("testBatchUpdateHappyPath26_1000", testBatchUpdateHappyPath26_1000) - t.Run("testBatchAddressAppendHappyPath40_100", testBatchAddressAppendHappyPath40_100) - t.Run("testBatchAddressAppendHappyPath40_500", testBatchAddressAppendHappyPath40_500) - t.Run("testBatchAddressAppendHappyPath40_250", testBatchAddressAppendHappyPath40_250) - t.Run("testBatchAddressAppendHappyPath40_1000", testBatchAddressAppendHappyPath40_1000) - t.Run("testBatchAddressAppendWithPreviousState40_100", testBatchAddressAppendWithPreviousState40_100) + runBatchUpdateTest(t, 32, 100) + runBatchUpdateTest(t, 32, 500) + runBatchUpdateTest(t, 32, 1000) + + runBatchAppendWithProofsTest(t, 32, 100) + runBatchAppendWithProofsTest(t, 32, 500) + runBatchAppendWithProofsTest(t, 32, 1000) + + // t.Run("testBatchAppendWithProofsHappyPath32_100", testBatchAppendWithProofsHappyPath32_100) + // t.Run("testBatchAppendWithProofsHappyPath32_500", testBatchAppendWithProofsHappyPath32_500) + // t.Run("testBatchAppendWithProofsHappyPath32_1000", testBatchAppendWithProofsHappyPath32_1000) + + // t.Run("testBatchUpdateHappyPath32_100", testBatchUpdateHappyPath32_100) + // t.Run("testBatchUpdateHappyPath32_500", testBatchUpdateHappyPath32_500) + // t.Run("testBatchUpdateHappyPath32_1000", testBatchUpdateHappyPath32_1000) + + // t.Run("testBatchAddressAppendHappyPath40_100", testBatchAddressAppendHappyPath40_100) + // t.Run("testBatchAddressAppendHappyPath40_500", testBatchAddressAppendHappyPath40_500) + // t.Run("testBatchAddressAppendHappyPath40_250", testBatchAddressAppendHappyPath40_250) + // t.Run("testBatchAddressAppendHappyPath40_1000", testBatchAddressAppendHappyPath40_1000) + // t.Run("testBatchAddressAppendWithPreviousState40_100", testBatchAddressAppendWithPreviousState40_100) } func runLightweightOnlyTests(t *testing.T) { @@ -527,6 +544,30 @@ func testBatchAppendWithProofsHappyPath26_1000(t *testing.T) { } } +func runBatchAppendWithProofsTest(t *testing.T, treeDepth int, batchSize int) { + logging.Logger().Info().Msg("Running batch append with proofs with tree depth" + strconv.Itoa(int(treeDepth)) + " and batch size " + strconv.Itoa(int(batchSize))) + + params := prover.BuildTestBatchAppendWithProofsTree(treeDepth, batchSize, nil, 0, true) + + jsonBytes, err := params.MarshalJSON() + if err != nil { + t.Fatalf("Failed to marshal JSON: %v", err) + } + + response, err := http.Post(proveEndpoint(), "application/json", bytes.NewBuffer(jsonBytes)) + if err != nil { + t.Fatalf("Failed to send POST request: %v", err) + } + defer response.Body.Close() + + if response.StatusCode != http.StatusOK { + body, _ := io.ReadAll(response.Body) + t.Fatalf("Expected status code %d, got %d. Response body: %s", http.StatusOK, response.StatusCode, string(body)) + } + + t.Logf("Successfully ran batch append with proofs test with tree depth %d and batch size %d", treeDepth, batchSize) +} + func testBatchAppendWithSubtreesHappyPath26_10(t *testing.T) { treeDepth := uint32(26) batchSize := uint32(10) @@ -757,6 +798,7 @@ func testBatchUpdateHappyPath26_1000(t *testing.T) { } func runBatchUpdateTest(t *testing.T, treeDepth uint32, batchSize uint32) { + logging.Logger().Info().Msg("Running batch update test with tree depth" + strconv.Itoa(int(treeDepth)) + " and batch size " + strconv.Itoa(int(batchSize))) params := prover.BuildTestBatchUpdateTree(int(treeDepth), int(batchSize), nil, nil) jsonBytes, err := params.MarshalJSON() diff --git a/light-prover/prover/proving_keys_utils.go b/light-prover/prover/proving_keys_utils.go index 9d7098ab6..7262519b8 100644 --- a/light-prover/prover/proving_keys_utils.go +++ b/light-prover/prover/proving_keys_utils.go @@ -126,19 +126,27 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string { } var appendWithProofsKeys []string = []string{ - keysDir + "append-with-proofs_26_1.key", - keysDir + "append-with-proofs_26_10.key", - keysDir + "append-with-proofs_26_100.key", - keysDir + "append-with-proofs_26_500.key", - keysDir + "append-with-proofs_26_1000.key", + // keysDir + "append-with-proofs_26_1.key", + // keysDir + "append-with-proofs_26_10.key", + // keysDir + "append-with-proofs_26_100.key", + // keysDir + "append-with-proofs_26_500.key", + // keysDir + "append-with-proofs_26_1000.key", + + keysDir + "append-with-proofs_32_100.key", + keysDir + "append-with-proofs_32_500.key", + keysDir + "append-with-proofs_32_1000.key", } var updateKeys []string = []string{ - keysDir + "update_26_1.key", - keysDir + "update_26_10.key", - keysDir + "update_26_100.key", - keysDir + "update_26_500.key", - keysDir + "update_26_1000.key", + // keysDir + "update_26_1.key", + // keysDir + "update_26_10.key", + // keysDir + "update_26_100.key", + // keysDir + "update_26_500.key", + // keysDir + "update_26_1000.key", + + keysDir + "update_32_100.key", + keysDir + "update_32_500.key", + keysDir + "update_32_1000.key", } var appendWithSubtreesTestKeys []string = []string{ @@ -182,12 +190,11 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string { keys = append(keys, nonInclusionKeys...) keys = append(keys, combinedKeys...) case Full: // inclusion + non-inclusion + combined + append + update + address-append - keys = append(keys, inclusionKeys...) - keys = append(keys, nonInclusionKeys...) - keys = append(keys, combinedKeys...) - keys = append(keys, appendWithSubtreesKeys...) + // keys = append(keys, inclusionKeys...) + // keys = append(keys, nonInclusionKeys...) + // keys = append(keys, combinedKeys...) + // keys = append(keys, appendWithProofsKeys...) keys = append(keys, updateKeys...) - keys = append(keys, addressAppendKeys...) case FullTest: // inclusion + non-inclusion + combined + append-test + update-test + address-append-test keys = append(keys, inclusionKeys...) keys = append(keys, nonInclusionKeys...) diff --git a/light-prover/scripts/generate_keys.sh b/light-prover/scripts/generate_keys.sh index c1079b894..ae528682a 100755 --- a/light-prover/scripts/generate_keys.sh +++ b/light-prover/scripts/generate_keys.sh @@ -68,47 +68,46 @@ generate_circuit() { } main() { - declare -a append_batch_sizes_arr=("1" "10" "100" "250" "500" "1000") + declare -a batch_sizes_arr=("1" "10" "100" "250" "500" "1000") echo "Generating proving keys..." - for height in "${HEIGHTS[@]}"; do - for batch_size in "${append_batch_sizes_arr[@]}"; do - echo "Generating address-append circuit for ${batch_size} COMPRESSED_ACCOUNTS with height ${height}..." - generate_circuit "address-append" "$height" "$batch_size" "0" "0" - done + # for height in "${HEIGHTS[@]}"; do + # for batch_size in "${append_batch_sizes_arr[@]}"; do + # echo "Generating address-append circuit for ${batch_size} COMPRESSED_ACCOUNTS with height ${height}..." + # generate_circuit "address-append" "$height" "$batch_size" "0" "0" + # done + # done + + for batch_size in "${batch_sizes_arr[@]}"; do + generate_circuit "append-with-proofs" "32" "$batch_size" "0" "0" done - for batch_size in "${append_batch_sizes_arr[@]}"; do - generate_circuit "append-with-proofs" "$DEFAULT_HEIGHT" "$batch_size" "0" "0" - done - - declare -a append_batch_sizes_arr=("1" "10" "100" "500" "1000") - for batch_size in "${append_batch_sizes_arr[@]}"; do - generate_circuit "append-with-subtrees" "$DEFAULT_HEIGHT" "$batch_size" "0" "0" - done - - declare -a update_batch_sizes_arr=("1" "10" "100" "500" "1000") - for batch_size in "${update_batch_sizes_arr[@]}"; do - generate_circuit "update" "$DEFAULT_HEIGHT" "$batch_size" "0" "0" - done - - declare -a inclusion_compressed_accounts_arr=("1" "2" "3" "4" "8") - for compressed_accounts in "${inclusion_compressed_accounts_arr[@]}"; do - generate_circuit "inclusion" "$DEFAULT_HEIGHT" "0" "$compressed_accounts" "0" - done + # declare -a append_batch_sizes_arr=("1" "10" "100" "500" "1000") + # for batch_size in "${append_batch_sizes_arr[@]}"; do + # generate_circuit "append-with-subtrees" "$DEFAULT_HEIGHT" "$batch_size" "0" "0" + # done - declare -a non_inclusion_compressed_accounts_arr=("1" "2") - for compressed_accounts in "${non_inclusion_compressed_accounts_arr[@]}"; do - generate_circuit "non-inclusion" "$DEFAULT_HEIGHT" "0" "$compressed_accounts" + for batch_size in "${batch_sizes_arr[@]}"; do + generate_circuit "update" "32" "$batch_size" "0" "0" done - declare -a combined_inclusion_compressed_accounts_arr=("1" "2" "3" "4") - declare -a combined_non_inclusion_compressed_accounts_arr=("1" "2") - for i_compressed_accounts in "${combined_inclusion_compressed_accounts_arr[@]}"; do - for ni_compressed_accounts in "${combined_non_inclusion_compressed_accounts_arr[@]}"; do - generate_circuit "combined" "$DEFAULT_HEIGHT" "0" "$i_compressed_accounts" "$ni_compressed_accounts" - done - done + # declare -a inclusion_compressed_accounts_arr=("1" "2" "3" "4" "8") + # for compressed_accounts in "${inclusion_compressed_accounts_arr[@]}"; do + # generate_circuit "inclusion" "$DEFAULT_HEIGHT" "0" "$compressed_accounts" "0" + # done + + # declare -a non_inclusion_compressed_accounts_arr=("1" "2") + # for compressed_accounts in "${non_inclusion_compressed_accounts_arr[@]}"; do + # generate_circuit "non-inclusion" "$DEFAULT_HEIGHT" "0" "$compressed_accounts" + # done + + # declare -a combined_inclusion_compressed_accounts_arr=("1" "2" "3" "4") + # declare -a combined_non_inclusion_compressed_accounts_arr=("1" "2") + # for i_compressed_accounts in "${combined_inclusion_compressed_accounts_arr[@]}"; do + # for ni_compressed_accounts in "${combined_non_inclusion_compressed_accounts_arr[@]}"; do + # generate_circuit "combined" "$DEFAULT_HEIGHT" "0" "$i_compressed_accounts" "$ni_compressed_accounts" + # done + # done echo "Done." }