From rusty at rustcorp.com.au  Mon Jul 27 01:50:54 2015
From: rusty at rustcorp.com.au (Rusty Russell)
Date: Mon, 27 Jul 2015 11:20:54 +0930
Subject: [Lightning-dev] Breach of contract?
In-Reply-To: <trinity-74561245-d7a6-480d-81af-a87e7a2d3fce-1437857956212@3capp-mailcom-bs04>
References: <trinity-74561245-d7a6-480d-81af-a87e7a2d3fce-1437857956212@3capp-mailcom-bs04>
Message-ID: <87k2tmpdvl.fsf@rustcorp.com.au>

Christopher Jamthagen <cjamthagen at gmx.com> writes:
> When a HTLC's CLTV has expired, the receiver of the HTLC should not be
> able to use the pre-image to spend the output from a commitment
> transaction that has not been invalidated.
> Assume a circuit is established: Alice -> Bob -> Dave

Yes, I assume that the HTLC gets eliminated by a commitment transaction
update at (or before) that time.

We could add an additional delay for this case, but it seems like
overengineering?

Cheers,
Rusty.