pub(super) fn finalize_other_proof( params: FinalizeOtherProofParams<'_>, w: &mut Witness<Fp>, ) -> Result<(Boolean, Vec<Fp>)>