pub(super) fn generate_tx_proof( params: TransactionParams<'_>, w: &mut Witness<Fp>, ) -> Result<WrapProof>