pub fn bench_arguments_from_file<G: KimchiCurve, BaseSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>>(
srs: SRS<G>,
filename: String,
) -> (ProverIndex<G, OpeningProof<G>>, [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.