fn of_zkapp_command_segment(
statement: Statement<SokDigest>,
zkapp_witness: &ZkappCommandSegmentWitness<'_>,
spec: &SegmentBasic,
step_opt_signed_opt_signed_prover: &Prover<Fp>,
step_opt_signed_prover: &Prover<Fp>,
step_proof_prover: &Prover<Fp>,
tx_wrap_prover: &Prover<Fq>,
opt_signed_path: Option<&str>,
proved_path: Option<&str>,
) -> Result<LedgerProof>