Function merge_zkapp_proofs

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