pub fn caml_pasta_fq_plonk_proof_batch_verify(
    indexes: WasmVector<WasmPlonkVerifierIndex>,
    proofs: WasmVector<WasmFqProverProof>
) -> bool