pub fn caml_pasta_fq_plonk_proof_verify( index: WasmFqPlonkVerifierIndex, proof: WasmFqProverProof, ) -> bool