pub fn caml_pasta_fp_plonk_proof_verify( index: WasmFpPlonkVerifierIndex, proof: WasmFpProverProof, ) -> bool