pub fn caml_pasta_fq_plonk_proof_create(
index: &External<WasmPastaFqPlonkIndex>,
witness: NapiVecVecFq,
runtime_tables: NapiVector<NapiFqRuntimeTable>,
prev_challenges: NapiFlatVector<NapiPastaFq>,
prev_sgs: NapiVector<NapiGPallas>,
) -> Result<NapiFqProverProof>