HTLC output aggregation as a mitigation for tx recycling, jamming, and on-chain efficiency (covenants)

The discussion revolves around the intricacies of handling a hypothetical situation in Bitcoin's off-chain transaction mechanisms, specifically concerning Hashed Time-Locked Contracts (HTLCs). The scenario examines a potential double-spending strategy where Bob might attempt to manipulate the timeout transactions that are related to Alice's incoming HTLCs. Each time Bob replaces one of Alice’s timeout transactions, he reveals a preimage which then allows Alice to settle her incoming HTLCs without any loss, aside from the transaction fees incurred.

In exploring whether Bob could potentially profit from such an activity, it appears necessary for him to delay Alice’s transactions until the timelock on her incoming HTLCs expires. This would require Bob to pay the next block fee for each block during the delay period, thus effectively burning the value of an HTLC for every replaced transaction. The strategy hinges on the assumption that Alice is motivated to get these transactions into a block as soon as possible because of expiring timelocks.

However, the feasibility and rationality of Bob’s actions become questionable when considering Alice’s potential responses. Alice has the option to claim all expired HTLCs at a relatively low cost—specifically through transactions that only involve one input and one output, thereby avoiding complex processes like generating merkle paths or providing additional preimages. Given this capability, Alice could strategically decide to allocate a significant portion of the HTLC's value (up to 0.9 BTC of a 1 BTC HTLC) to fees to ensure her transaction confirms before expiry, outbidding Bob’s smaller HTLCs. This response could deter Bob by escalating the cost he must bear without a guaranteed payoff, making his strategy not only expensive but also potentially irrational due to the high likelihood of financial loss compared to the potential gains.

Such strategic interactions underscore the complex dynamics and game-theoretical considerations inherent in managing HTLCs within Bitcoin’s off-chain protocols. They highlight how participants must carefully weigh the costs and benefits of their actions, considering both immediate financial impacts and broader implications on network stability and participant behavior.