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