Function caml_pasta_fp_plonk_proof_verify

#[unsafe(no_mangle)]
pub extern "C" fn caml_pasta_fp_plonk_proof_verify(
    index: Raw,
    proof: Raw,
) -> Raw