The Groth16 verifier wants a verification key parameterized by number of public inputs:
pub struct VerifyingKey<const N: usize> {
pub ic: [G1Point; N + 1],
}
Currently `N + 1` in the array type position doesn't compile. This blocks const-generic verifiers that work across different circuit sizes.
The Groth16 verifier wants a verification key parameterized by number of public inputs:
Currently `N + 1` in the array type position doesn't compile. This blocks const-generic verifiers that work across different circuit sizes.