fn merge_zkapp_proofs(
prev: LedgerProof,
curr: LedgerProof,
message: &SokMessage,
merge_step_prover: &Prover<Fp>,
tx_wrap_prover: &Prover<Fq>,
) -> Result<LedgerProof>
fn merge_zkapp_proofs(
prev: LedgerProof,
curr: LedgerProof,
message: &SokMessage,
merge_step_prover: &Prover<Fp>,
tx_wrap_prover: &Prover<Fq>,
) -> Result<LedgerProof>