pub fn bench_arguments_from_file<const FULL_ROUNDS: usize, G: KimchiCurve<FULL_ROUNDS>, BaseSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField, FULL_ROUNDS>>(
srs: SRS<G>,
filename: String,
) -> (ProverIndex<FULL_ROUNDS, G, <OpeningProof<G, FULL_ROUNDS> as OpenProof<G, FULL_ROUNDS>>::SRS>, [Vec<G::ScalarField>; 15], Vec<RuntimeTable<G::ScalarField>>, Vec<RecursionChallenge<G>>)where
G::BaseField: PrimeField,Expand description
Given a filename with encoded (witness, runtime table, prev rec challenges, constrain system), returns arguments necessary to run a prover.