pub fn caml_pasta_fq_plonk_proof_verify( index: NapiFqPlonkVerifierIndex, proof: NapiFqProverProof, ) -> bool