diff --git a/circuit-lib/verifier/src/verifying_keys/address_append_26_1.rs b/circuit-lib/verifier/src/verifying_keys/address_append_26_1.rs index 302f4ee09..77c740b9f 100644 --- a/circuit-lib/verifier/src/verifying_keys/address_append_26_1.rs +++ b/circuit-lib/verifier/src/verifying_keys/address_append_26_1.rs @@ -4,62 +4,62 @@ use groth16_solana::groth16::Groth16Verifyingkey; pub const VERIFYINGKEY: Groth16Verifyingkey = Groth16Verifyingkey { nr_pubinputs: 1usize, vk_alpha_g1: [ - 29u8, 160u8, 223u8, 114u8, 42u8, 226u8, 20u8, 198u8, 45u8, 193u8, 73u8, 55u8, 214u8, 139u8, - 158u8, 9u8, 117u8, 60u8, 63u8, 196u8, 89u8, 116u8, 116u8, 247u8, 108u8, 202u8, 43u8, 197u8, - 178u8, 111u8, 66u8, 109u8, 26u8, 5u8, 6u8, 65u8, 111u8, 23u8, 245u8, 168u8, 71u8, 5u8, - 25u8, 95u8, 158u8, 218u8, 202u8, 234u8, 147u8, 102u8, 48u8, 33u8, 26u8, 196u8, 3u8, 229u8, - 179u8, 85u8, 155u8, 204u8, 154u8, 187u8, 164u8, 216u8, + 40u8, 56u8, 56u8, 16u8, 160u8, 66u8, 19u8, 2u8, 202u8, 128u8, 194u8, 140u8, 184u8, 209u8, + 218u8, 167u8, 245u8, 168u8, 88u8, 115u8, 15u8, 214u8, 196u8, 221u8, 206u8, 177u8, 45u8, + 199u8, 162u8, 15u8, 25u8, 106u8, 45u8, 137u8, 170u8, 154u8, 52u8, 4u8, 224u8, 87u8, 234u8, + 124u8, 220u8, 127u8, 48u8, 5u8, 25u8, 247u8, 233u8, 5u8, 239u8, 17u8, 56u8, 217u8, 151u8, + 135u8, 66u8, 107u8, 14u8, 22u8, 114u8, 250u8, 135u8, 78u8, ], vk_beta_g2: [ - 25u8, 66u8, 27u8, 239u8, 247u8, 149u8, 248u8, 254u8, 54u8, 183u8, 13u8, 129u8, 82u8, 103u8, - 224u8, 75u8, 60u8, 237u8, 13u8, 50u8, 107u8, 150u8, 202u8, 51u8, 44u8, 47u8, 224u8, 174u8, - 86u8, 184u8, 166u8, 34u8, 29u8, 101u8, 151u8, 232u8, 19u8, 115u8, 237u8, 184u8, 53u8, - 144u8, 124u8, 12u8, 164u8, 212u8, 37u8, 85u8, 227u8, 8u8, 10u8, 82u8, 120u8, 134u8, 55u8, - 140u8, 181u8, 206u8, 61u8, 6u8, 183u8, 62u8, 172u8, 130u8, 16u8, 155u8, 229u8, 190u8, 0u8, - 118u8, 216u8, 18u8, 221u8, 51u8, 186u8, 42u8, 33u8, 52u8, 90u8, 237u8, 251u8, 241u8, 215u8, - 20u8, 43u8, 253u8, 78u8, 182u8, 204u8, 77u8, 184u8, 232u8, 173u8, 25u8, 177u8, 88u8, 16u8, - 199u8, 140u8, 165u8, 117u8, 11u8, 8u8, 30u8, 107u8, 199u8, 119u8, 178u8, 76u8, 43u8, 77u8, - 1u8, 91u8, 180u8, 150u8, 72u8, 241u8, 146u8, 16u8, 202u8, 105u8, 156u8, 246u8, 145u8, 19u8, - 123u8, 36u8, 241u8, + 46u8, 214u8, 143u8, 127u8, 239u8, 14u8, 173u8, 54u8, 24u8, 243u8, 226u8, 192u8, 207u8, + 130u8, 11u8, 147u8, 55u8, 226u8, 60u8, 156u8, 39u8, 0u8, 175u8, 82u8, 185u8, 24u8, 70u8, + 42u8, 95u8, 97u8, 65u8, 215u8, 29u8, 148u8, 25u8, 215u8, 41u8, 224u8, 91u8, 0u8, 15u8, + 173u8, 56u8, 181u8, 101u8, 82u8, 215u8, 132u8, 250u8, 12u8, 47u8, 199u8, 187u8, 182u8, + 118u8, 110u8, 119u8, 26u8, 101u8, 129u8, 221u8, 95u8, 174u8, 249u8, 39u8, 90u8, 14u8, + 214u8, 58u8, 238u8, 192u8, 195u8, 123u8, 187u8, 88u8, 228u8, 130u8, 219u8, 202u8, 53u8, + 243u8, 34u8, 80u8, 212u8, 45u8, 113u8, 27u8, 153u8, 114u8, 58u8, 177u8, 203u8, 20u8, 43u8, + 170u8, 34u8, 27u8, 187u8, 91u8, 46u8, 232u8, 207u8, 223u8, 43u8, 95u8, 108u8, 225u8, 66u8, + 152u8, 253u8, 52u8, 200u8, 135u8, 218u8, 76u8, 167u8, 31u8, 82u8, 153u8, 207u8, 4u8, 189u8, + 177u8, 145u8, 66u8, 195u8, 81u8, 161u8, ], vk_gamme_g2: [ - 37u8, 97u8, 29u8, 9u8, 179u8, 237u8, 111u8, 178u8, 199u8, 150u8, 88u8, 63u8, 18u8, 29u8, - 159u8, 16u8, 251u8, 204u8, 215u8, 152u8, 213u8, 142u8, 189u8, 175u8, 222u8, 18u8, 56u8, - 203u8, 22u8, 38u8, 219u8, 69u8, 10u8, 203u8, 188u8, 157u8, 81u8, 51u8, 120u8, 117u8, 6u8, - 63u8, 122u8, 4u8, 25u8, 5u8, 250u8, 245u8, 43u8, 105u8, 143u8, 205u8, 186u8, 204u8, 140u8, - 86u8, 218u8, 223u8, 63u8, 192u8, 197u8, 193u8, 239u8, 76u8, 35u8, 145u8, 68u8, 123u8, - 108u8, 49u8, 84u8, 115u8, 142u8, 183u8, 82u8, 168u8, 160u8, 69u8, 226u8, 101u8, 200u8, - 51u8, 236u8, 153u8, 219u8, 54u8, 244u8, 107u8, 54u8, 209u8, 191u8, 69u8, 116u8, 44u8, 25u8, - 192u8, 39u8, 214u8, 184u8, 98u8, 46u8, 197u8, 52u8, 135u8, 99u8, 69u8, 248u8, 140u8, 18u8, - 190u8, 140u8, 221u8, 111u8, 143u8, 214u8, 146u8, 58u8, 161u8, 121u8, 171u8, 41u8, 2u8, - 214u8, 182u8, 116u8, 179u8, 188u8, 80u8, + 11u8, 148u8, 223u8, 27u8, 130u8, 112u8, 153u8, 246u8, 133u8, 243u8, 159u8, 254u8, 145u8, + 88u8, 80u8, 211u8, 48u8, 122u8, 108u8, 186u8, 111u8, 122u8, 106u8, 46u8, 73u8, 115u8, + 144u8, 8u8, 226u8, 138u8, 139u8, 3u8, 6u8, 44u8, 46u8, 71u8, 113u8, 216u8, 240u8, 54u8, + 115u8, 163u8, 252u8, 186u8, 159u8, 143u8, 2u8, 245u8, 181u8, 124u8, 97u8, 49u8, 1u8, 185u8, + 42u8, 184u8, 178u8, 11u8, 32u8, 223u8, 132u8, 242u8, 48u8, 187u8, 4u8, 190u8, 42u8, 89u8, + 142u8, 247u8, 15u8, 68u8, 137u8, 202u8, 116u8, 66u8, 163u8, 176u8, 240u8, 153u8, 16u8, + 136u8, 249u8, 239u8, 91u8, 4u8, 8u8, 16u8, 121u8, 108u8, 227u8, 35u8, 62u8, 83u8, 4u8, + 40u8, 15u8, 150u8, 213u8, 217u8, 202u8, 46u8, 125u8, 132u8, 70u8, 181u8, 75u8, 160u8, 47u8, + 10u8, 65u8, 165u8, 167u8, 238u8, 217u8, 27u8, 254u8, 152u8, 210u8, 1u8, 207u8, 49u8, 43u8, + 86u8, 131u8, 72u8, 82u8, 147u8, ], vk_delta_g2: [ - 27u8, 143u8, 26u8, 50u8, 137u8, 31u8, 184u8, 154u8, 208u8, 215u8, 149u8, 121u8, 145u8, - 43u8, 10u8, 226u8, 188u8, 42u8, 140u8, 7u8, 254u8, 215u8, 92u8, 206u8, 150u8, 78u8, 86u8, - 47u8, 129u8, 119u8, 34u8, 185u8, 9u8, 104u8, 73u8, 179u8, 227u8, 146u8, 140u8, 199u8, - 210u8, 210u8, 159u8, 243u8, 152u8, 37u8, 26u8, 82u8, 140u8, 10u8, 94u8, 20u8, 102u8, 43u8, - 248u8, 44u8, 170u8, 163u8, 202u8, 89u8, 89u8, 112u8, 145u8, 16u8, 19u8, 30u8, 175u8, 98u8, - 194u8, 149u8, 203u8, 214u8, 68u8, 252u8, 205u8, 176u8, 65u8, 19u8, 27u8, 8u8, 184u8, 237u8, - 248u8, 255u8, 216u8, 231u8, 45u8, 128u8, 173u8, 164u8, 76u8, 208u8, 172u8, 107u8, 101u8, - 218u8, 43u8, 131u8, 21u8, 213u8, 32u8, 211u8, 92u8, 137u8, 4u8, 151u8, 228u8, 199u8, 251u8, - 236u8, 20u8, 136u8, 118u8, 137u8, 139u8, 20u8, 196u8, 224u8, 81u8, 119u8, 105u8, 211u8, - 180u8, 143u8, 169u8, 183u8, 147u8, 127u8, + 24u8, 17u8, 177u8, 192u8, 81u8, 126u8, 53u8, 179u8, 252u8, 1u8, 73u8, 98u8, 151u8, 196u8, + 42u8, 49u8, 2u8, 135u8, 180u8, 82u8, 23u8, 174u8, 39u8, 8u8, 219u8, 217u8, 51u8, 41u8, + 159u8, 21u8, 124u8, 177u8, 26u8, 64u8, 141u8, 149u8, 66u8, 142u8, 250u8, 13u8, 108u8, 94u8, + 81u8, 167u8, 157u8, 138u8, 184u8, 165u8, 113u8, 116u8, 5u8, 105u8, 131u8, 225u8, 166u8, + 204u8, 170u8, 118u8, 57u8, 44u8, 27u8, 170u8, 206u8, 46u8, 42u8, 22u8, 189u8, 8u8, 152u8, + 24u8, 232u8, 71u8, 82u8, 11u8, 127u8, 172u8, 50u8, 155u8, 4u8, 190u8, 223u8, 167u8, 24u8, + 15u8, 186u8, 73u8, 100u8, 155u8, 223u8, 134u8, 123u8, 124u8, 187u8, 169u8, 166u8, 1u8, + 29u8, 226u8, 239u8, 183u8, 184u8, 77u8, 241u8, 108u8, 158u8, 127u8, 184u8, 158u8, 111u8, + 153u8, 173u8, 214u8, 82u8, 213u8, 181u8, 1u8, 123u8, 57u8, 5u8, 5u8, 60u8, 216u8, 40u8, + 205u8, 120u8, 157u8, 128u8, 81u8, ], vk_ic: &[ [ - 12u8, 151u8, 177u8, 148u8, 128u8, 68u8, 61u8, 51u8, 174u8, 16u8, 231u8, 55u8, 200u8, - 41u8, 190u8, 51u8, 109u8, 184u8, 208u8, 230u8, 162u8, 88u8, 163u8, 46u8, 178u8, 179u8, - 131u8, 178u8, 222u8, 149u8, 116u8, 101u8, 29u8, 210u8, 15u8, 157u8, 11u8, 99u8, 235u8, - 80u8, 15u8, 19u8, 137u8, 123u8, 77u8, 203u8, 92u8, 223u8, 57u8, 73u8, 182u8, 194u8, - 150u8, 245u8, 39u8, 133u8, 9u8, 84u8, 160u8, 67u8, 70u8, 8u8, 28u8, 253u8, + 5u8, 144u8, 130u8, 129u8, 174u8, 228u8, 148u8, 198u8, 174u8, 58u8, 140u8, 86u8, 181u8, + 123u8, 86u8, 242u8, 239u8, 239u8, 92u8, 213u8, 36u8, 136u8, 83u8, 117u8, 11u8, 123u8, + 90u8, 238u8, 149u8, 91u8, 70u8, 182u8, 37u8, 149u8, 186u8, 162u8, 38u8, 251u8, 211u8, + 199u8, 8u8, 154u8, 1u8, 20u8, 173u8, 133u8, 29u8, 71u8, 189u8, 239u8, 136u8, 6u8, + 210u8, 216u8, 167u8, 196u8, 138u8, 117u8, 43u8, 157u8, 58u8, 63u8, 245u8, 217u8, ], [ - 18u8, 213u8, 196u8, 145u8, 201u8, 195u8, 205u8, 88u8, 247u8, 86u8, 44u8, 231u8, 87u8, - 173u8, 2u8, 94u8, 51u8, 122u8, 54u8, 77u8, 52u8, 154u8, 231u8, 200u8, 63u8, 167u8, - 148u8, 244u8, 196u8, 186u8, 131u8, 242u8, 10u8, 225u8, 23u8, 184u8, 30u8, 189u8, 170u8, - 113u8, 233u8, 44u8, 7u8, 210u8, 249u8, 165u8, 34u8, 49u8, 54u8, 225u8, 149u8, 63u8, - 144u8, 199u8, 186u8, 123u8, 137u8, 187u8, 243u8, 238u8, 71u8, 101u8, 76u8, 205u8, + 39u8, 174u8, 200u8, 241u8, 159u8, 3u8, 139u8, 100u8, 21u8, 123u8, 183u8, 7u8, 36u8, + 111u8, 219u8, 91u8, 81u8, 251u8, 186u8, 254u8, 148u8, 125u8, 186u8, 253u8, 112u8, 39u8, + 255u8, 86u8, 87u8, 165u8, 134u8, 200u8, 29u8, 105u8, 135u8, 200u8, 78u8, 123u8, 234u8, + 68u8, 22u8, 53u8, 122u8, 245u8, 116u8, 91u8, 114u8, 165u8, 247u8, 54u8, 96u8, 160u8, + 236u8, 127u8, 158u8, 33u8, 169u8, 51u8, 1u8, 171u8, 44u8, 200u8, 100u8, 231u8, ], ], }; diff --git a/circuit-lib/verifier/src/verifying_keys/address_append_4_1.rs b/circuit-lib/verifier/src/verifying_keys/address_append_4_1.rs new file mode 100644 index 000000000..b94daa3b8 --- /dev/null +++ b/circuit-lib/verifier/src/verifying_keys/address_append_4_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: [ + 29u8, 48u8, 98u8, 41u8, 143u8, 228u8, 154u8, 195u8, 21u8, 139u8, 77u8, 252u8, 65u8, 231u8, + 119u8, 135u8, 3u8, 170u8, 138u8, 196u8, 206u8, 177u8, 137u8, 159u8, 35u8, 61u8, 136u8, + 252u8, 174u8, 22u8, 81u8, 253u8, 7u8, 62u8, 157u8, 214u8, 185u8, 22u8, 148u8, 208u8, 128u8, + 150u8, 129u8, 188u8, 66u8, 176u8, 37u8, 21u8, 221u8, 239u8, 221u8, 158u8, 232u8, 1u8, + 220u8, 166u8, 105u8, 0u8, 181u8, 245u8, 219u8, 152u8, 96u8, 63u8, + ], + vk_beta_g2: [ + 13u8, 217u8, 65u8, 128u8, 211u8, 24u8, 0u8, 119u8, 224u8, 253u8, 244u8, 120u8, 15u8, 196u8, + 253u8, 154u8, 32u8, 185u8, 44u8, 74u8, 185u8, 217u8, 101u8, 244u8, 95u8, 252u8, 74u8, + 237u8, 74u8, 62u8, 163u8, 133u8, 3u8, 22u8, 190u8, 204u8, 82u8, 163u8, 108u8, 203u8, 207u8, + 109u8, 25u8, 227u8, 38u8, 4u8, 217u8, 45u8, 247u8, 187u8, 66u8, 194u8, 22u8, 140u8, 113u8, + 248u8, 146u8, 127u8, 126u8, 96u8, 141u8, 173u8, 85u8, 245u8, 46u8, 136u8, 147u8, 234u8, + 134u8, 168u8, 60u8, 214u8, 83u8, 182u8, 50u8, 77u8, 168u8, 140u8, 55u8, 232u8, 150u8, + 115u8, 195u8, 223u8, 217u8, 184u8, 84u8, 175u8, 5u8, 133u8, 75u8, 213u8, 183u8, 189u8, + 137u8, 122u8, 24u8, 69u8, 179u8, 123u8, 239u8, 179u8, 68u8, 52u8, 124u8, 83u8, 166u8, 79u8, + 214u8, 148u8, 129u8, 231u8, 170u8, 4u8, 243u8, 84u8, 108u8, 89u8, 223u8, 164u8, 236u8, + 93u8, 124u8, 160u8, 183u8, 3u8, 65u8, 117u8, + ], + vk_gamme_g2: [ + 39u8, 5u8, 71u8, 204u8, 90u8, 223u8, 168u8, 166u8, 210u8, 245u8, 131u8, 49u8, 48u8, 115u8, + 166u8, 48u8, 158u8, 200u8, 158u8, 243u8, 79u8, 81u8, 111u8, 240u8, 71u8, 99u8, 198u8, + 212u8, 159u8, 202u8, 160u8, 14u8, 3u8, 105u8, 211u8, 166u8, 0u8, 32u8, 172u8, 158u8, 83u8, + 139u8, 27u8, 79u8, 65u8, 57u8, 146u8, 69u8, 154u8, 175u8, 239u8, 118u8, 28u8, 195u8, 31u8, + 71u8, 201u8, 66u8, 223u8, 18u8, 227u8, 26u8, 29u8, 249u8, 38u8, 157u8, 145u8, 151u8, 4u8, + 121u8, 53u8, 252u8, 197u8, 223u8, 125u8, 40u8, 144u8, 7u8, 163u8, 175u8, 34u8, 181u8, 1u8, + 75u8, 222u8, 222u8, 117u8, 222u8, 5u8, 212u8, 156u8, 79u8, 188u8, 111u8, 217u8, 177u8, 6u8, + 217u8, 67u8, 150u8, 191u8, 162u8, 95u8, 42u8, 135u8, 232u8, 13u8, 54u8, 16u8, 188u8, 27u8, + 15u8, 111u8, 222u8, 185u8, 210u8, 65u8, 96u8, 162u8, 80u8, 135u8, 19u8, 187u8, 50u8, 69u8, + 74u8, 0u8, 132u8, + ], + vk_delta_g2: [ + 35u8, 218u8, 15u8, 235u8, 208u8, 200u8, 179u8, 8u8, 101u8, 238u8, 141u8, 194u8, 2u8, 176u8, + 48u8, 199u8, 255u8, 95u8, 105u8, 36u8, 119u8, 72u8, 32u8, 145u8, 4u8, 119u8, 195u8, 39u8, + 85u8, 220u8, 111u8, 235u8, 11u8, 132u8, 31u8, 60u8, 223u8, 73u8, 245u8, 177u8, 224u8, 43u8, + 181u8, 145u8, 172u8, 128u8, 206u8, 154u8, 74u8, 250u8, 37u8, 199u8, 241u8, 156u8, 202u8, + 121u8, 217u8, 154u8, 230u8, 61u8, 136u8, 24u8, 109u8, 210u8, 39u8, 164u8, 17u8, 85u8, + 202u8, 94u8, 171u8, 240u8, 52u8, 150u8, 179u8, 190u8, 172u8, 9u8, 110u8, 233u8, 64u8, + 231u8, 202u8, 89u8, 181u8, 124u8, 245u8, 235u8, 143u8, 86u8, 45u8, 180u8, 181u8, 166u8, + 39u8, 27u8, 46u8, 51u8, 212u8, 82u8, 208u8, 88u8, 0u8, 14u8, 208u8, 163u8, 178u8, 111u8, + 13u8, 105u8, 21u8, 218u8, 207u8, 226u8, 106u8, 104u8, 117u8, 227u8, 245u8, 130u8, 239u8, + 68u8, 196u8, 165u8, 190u8, 195u8, 226u8, 59u8, + ], + vk_ic: &[ + [ + 27u8, 2u8, 1u8, 223u8, 109u8, 0u8, 46u8, 207u8, 247u8, 177u8, 82u8, 167u8, 128u8, + 229u8, 60u8, 205u8, 200u8, 12u8, 238u8, 103u8, 221u8, 76u8, 207u8, 67u8, 84u8, 154u8, + 145u8, 172u8, 246u8, 139u8, 28u8, 81u8, 11u8, 137u8, 203u8, 220u8, 76u8, 63u8, 169u8, + 131u8, 83u8, 85u8, 121u8, 99u8, 126u8, 245u8, 243u8, 18u8, 170u8, 144u8, 232u8, 11u8, + 232u8, 148u8, 173u8, 104u8, 78u8, 239u8, 72u8, 126u8, 236u8, 219u8, 15u8, 27u8, + ], + [ + 34u8, 178u8, 43u8, 58u8, 84u8, 147u8, 136u8, 50u8, 24u8, 191u8, 130u8, 195u8, 77u8, + 17u8, 222u8, 159u8, 107u8, 198u8, 240u8, 171u8, 222u8, 204u8, 162u8, 177u8, 232u8, + 170u8, 164u8, 205u8, 99u8, 179u8, 124u8, 202u8, 35u8, 253u8, 31u8, 205u8, 111u8, 184u8, + 17u8, 123u8, 21u8, 83u8, 206u8, 197u8, 231u8, 177u8, 39u8, 222u8, 28u8, 179u8, 95u8, + 42u8, 223u8, 178u8, 244u8, 202u8, 44u8, 56u8, 154u8, 30u8, 99u8, 37u8, 102u8, 86u8, + ], + ], +}; diff --git a/light-prover/integration_test.go b/light-prover/integration_test.go index b01629359..adbbad8d8 100644 --- a/light-prover/integration_test.go +++ b/light-prover/integration_test.go @@ -121,7 +121,7 @@ func TestLightweight(t *testing.T) { if !isLightweightMode { t.Skip("This test only runs in lightweight mode") } - runCommonTests(t) + // runCommonTests(t) runLightweightOnlyTests(t) } @@ -170,20 +170,20 @@ func runFullOnlyTests(t *testing.T) { // runFullOnlyTests contains tests that should only run in lightweight mode func runLightweightOnlyTests(t *testing.T) { - t.Run("testInclusionHappyPath26_1", testInclusionHappyPath26_1) + // t.Run("testInclusionHappyPath26_1", testInclusionHappyPath26_1) - t.Run("testBatchAppendHappyPath26_10", testBatchAppendHappyPath26_10) - t.Run("testBatchAppendWithPreviousState26_10", testBatchAppendWithPreviousState26_10) + // t.Run("testBatchAppendHappyPath26_10", testBatchAppendHappyPath26_10) + // t.Run("testBatchAppendWithPreviousState26_10", testBatchAppendWithPreviousState26_10) - t.Run("testBatchUpdateHappyPath26_10", testBatchUpdateHappyPath26_10) - t.Run("testBatchUpdateWithPreviousState26_10", testBatchUpdateWithPreviousState26_10) - t.Run("testBatchUpdateWithSequentialFilling26_10", testBatchUpdateWithSequentialFilling26_10) - t.Run("testBatchUpdateInvalidInput26_10", testBatchUpdateInvalidInput26_10) + // t.Run("testBatchUpdateHappyPath26_10", testBatchUpdateHappyPath26_10) + // t.Run("testBatchUpdateWithPreviousState26_10", testBatchUpdateWithPreviousState26_10) + // t.Run("testBatchUpdateWithSequentialFilling26_10", testBatchUpdateWithSequentialFilling26_10) + // t.Run("testBatchUpdateInvalidInput26_10", testBatchUpdateInvalidInput26_10) t.Run("testBatchAddressAppendHappyPath26_10", testBatchAddressAppendHappyPath26_10) - t.Run("testBatchAddressAppendWithPreviousState26_10", testBatchAddressAppendWithPreviousState26_10) - t.Run("testBatchAddressAppendWithSequentialFilling26_10", testBatchAddressAppendWithSequentialFilling26_10) - t.Run("testBatchAddressAppendInvalidInput26_10", testBatchAddressAppendInvalidInput26_10) + // t.Run("testBatchAddressAppendWithPreviousState26_10", testBatchAddressAppendWithPreviousState26_10) + // t.Run("testBatchAddressAppendWithSequentialFilling26_10", testBatchAddressAppendWithSequentialFilling26_10) + // t.Run("testBatchAddressAppendInvalidInput26_10", testBatchAddressAppendInvalidInput26_10) } func testWrongMethod(t *testing.T) { @@ -721,7 +721,7 @@ func runBatchUpdateTest(t *testing.T, treeDepth uint32, batchSize uint32) { } func testBatchAddressAppendHappyPath26_10(t *testing.T) { - runBatchAddressAppendTest(t, 26, 10) + runBatchAddressAppendTest(t, 4, 1) } func testBatchAddressAppendHappyPath26_100(t *testing.T) { @@ -737,7 +737,7 @@ func testBatchAddressAppendHappyPath26_1000(t *testing.T) { } func runBatchAddressAppendTest(t *testing.T, treeHeight uint32, batchSize uint32) { - params, err := prover.BuildTestAddressTree(treeHeight, batchSize, 0) + params, err := prover.BuildTestAddressTree(treeHeight, batchSize, 2) if err != nil { t.Fatalf("Failed to build test tree: %v", err) } diff --git a/light-prover/prover/proving_keys_utils.go b/light-prover/prover/proving_keys_utils.go index 663200983..3554de944 100644 --- a/light-prover/prover/proving_keys_utils.go +++ b/light-prover/prover/proving_keys_utils.go @@ -162,7 +162,8 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string { } var addressAppendTestKeys []string = []string{ - keysDir + "address-append_26_10.key", + // keysDir + "address-append_26_10.key", + keysDir + "address-append_4_1.key", } switch runMode { @@ -185,12 +186,12 @@ func GetKeys(keysDir string, runMode RunMode, circuits []string) []string { keys = append(keys, updateKeys...) keys = append(keys, addressAppendKeys...) case FullTest: // inclusion + non-inclusion + combined + append-test + update-test - keys = append(keys, inclusionKeys...) - keys = append(keys, nonInclusionKeys...) - keys = append(keys, combinedKeys...) - keys = append(keys, appendWithSubtreesTestKeys...) - keys = append(keys, updateTestKeys...) - keys = append(keys, appendWithProofsTestKeys...) + // keys = append(keys, inclusionKeys...) + // keys = append(keys, nonInclusionKeys...) + // keys = append(keys, combinedKeys...) + // keys = append(keys, appendWithSubtreesTestKeys...) + // keys = append(keys, updateTestKeys...) + // keys = append(keys, appendWithProofsTestKeys...) keys = append(keys, addressAppendTestKeys...) } diff --git a/light-prover/scripts/generate_keys.sh b/light-prover/scripts/generate_keys.sh index 85e31ced8..cda14af62 100755 --- a/light-prover/scripts/generate_keys.sh +++ b/light-prover/scripts/generate_keys.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -declare -a HEIGHTS=("26") +declare -a HEIGHTS=("4" "26") DEFAULT_HEIGHT="26" PROVING_KEYS_DIR="./proving-keys" VERIFIER_DIR="../circuit-lib/verifier/src/verifying_keys" @@ -69,7 +69,7 @@ generate_circuit() { main() { # declare -a append_batch_sizes_arr=("1" "10" "100" "500" "1000") - declare -a append_batch_sizes_arr=("10") + declare -a append_batch_sizes_arr=("1") echo "Generating proving keys..." for height in "${HEIGHTS[@]}"; do