Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Minor "Reaching the Ground With Lightning" fixes. #13

Closed
wants to merge 1 commit into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 8 additions & 3 deletions doc/bitcoin.bib
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
@InProceedings{Decker2015Making,
author = {Christian Decker and James Guthrie and Jochen Seidel and Roger Wattenhofer},
author = {Christian Decker, James Guthrie, Jochen Seidel and Roger Wattenhofer},
note = {\tt decker@ethz.ch and wattenhofer@ethz.ch},
title = {{Making Bitcoin Exchanges Transparent}},
booktitle = {{20th European Symposium on Research in Computer Security (ESORICS), Vienna, Austria}},
Expand All @@ -24,8 +24,7 @@ @misc{BitcoinChannels
note = {\url{https://bitcointalk.org/index.php?topic=25786.0}}
}
@article{DBLP:journals/corr/DeckerW14,
author = {Christian Decker and
Roger Wattenhofer},
author = {Christian Decker and Roger Wattenhofer},
title = {Bitcoin Transaction Malleability and MtGox},
journal = {CoRR},
volume = {abs/1403.6676},
Expand All @@ -47,6 +46,12 @@ @misc{BIP65
urldate = {2015-07-13},
note = {\url{https://github.com/bitcoin/bips/blob/master/bip-0065.mediawiki}}
}
@misc{BIP112,
author = { BtcDrak, Mark Freidenbach, and Eric Lombrozo },
title = {{CHECKSEQUENCEVERIFY}},
urldate = {2015-08-10},
note = {\url{https://github.com/bitcoin/bips/blob/master/bip-0112.mediawiki}}
}
@misc{friedenbach_bitcoin-development_2015,
title = {[Bitcoin-development] [{BIP} draft] Consensus-enforced transaction replacement signalled via sequence numbers},
note = {\url{http://lists.linuxfoundation.org/pipermail/bitcoin-dev/2015-June/008452.html}},
Expand Down
31 changes: 21 additions & 10 deletions doc/deployable-lightning.lyx
Original file line number Diff line number Diff line change
Expand Up @@ -479,7 +479,7 @@ on, and B sends A a signature for A's new commitment transaction.
As before, each commitment transaction contains two outputs, one for A and
one for B; but A's commitment transaction output to itself is encumbered
by an additional restriction (as is B's output to itself).
Instead of paying A directly, needs both A and B's signature.
Instead of paying A directly, A's output needs both A and B's signature.
B provides such a signature, but on a
\begin_inset Quotes eld
\end_inset
Expand Down Expand Up @@ -633,27 +633,33 @@ A and B's signature, OR
A's signature and OP_CHECKLOCKTIMEVERIFY <40 days>
\end_layout

\begin_layout Standard
As of Nov.
13, 2015, BIP65 has been deployed and is in the process of being activated.
\end_layout

\begin_layout Subsubsection
Using Relative Locktime
\end_layout

\begin_layout Standard
The Poon-Dryja channel uses a 40 day locktime, because transaction locktime
is absolute.
Before 40 days the channel must be closed otherwise spending a revoked
Before 40 days the channel must be closed, otherwise spending a revoked
transaction and immediately following it with the commit refund transaction
is possible.
\end_layout

\begin_layout Standard
A proposal to extend output scripts to specify a minimum
BIP112[#BIP112] proposes OP_CHECKSEQUENCEVERIFY, an opcode which allows
an output to specify a minimum
\emph on
relative
\emph default
time before they can be spent
time before the output can be spent
\begin_inset CommandInset citation
LatexCommand cite
key "friedenbach_bitcoin-development_2015"
key "friedenbach_bitcoin-development_2015,BIP112"

\end_inset

Expand All @@ -669,6 +675,11 @@ A and B's signature, OR
A's signature and OP_CHECKSEQUENCEVERIFY <1 day>
\end_layout

\begin_layout Standard
As of Nov.
13, 2015, BIP112 has not been deployed.
\end_layout

\begin_layout Subsubsection
Using Revocation Preimages Instead of Private Keys
\end_layout
Expand Down Expand Up @@ -872,7 +883,7 @@ status open
\begin_inset Caption Standard

\begin_layout Plain Layout
HTLC Using Revocation Preimages, OP_CLV and OP_CSV (simplified)
HTLC Using Revocation Preimages, OP_CLTV and OP_CSV (simplified)
\begin_inset CommandInset label
LatexCommand label
name "fig:HTLC-Using-Revocation"
Expand Down Expand Up @@ -1800,7 +1811,7 @@ reference "fig:Final-Dual-Anchor"
\end_inset

.
Thus, if the B broadcasts its escape transaction after it has been revoked,
Thus, if B broadcasts its escape transaction after it has been revoked,
A can (after ensuring escape B is sufficiently deep in the block chain)
broadcast its fast escape transaction and use B's secret to immediately
spend the output.
Expand Down Expand Up @@ -1939,7 +1950,7 @@ OP_HASH160
\begin_inset space ~
\end_inset

OP_EQUAL Check if the top of stack is the revocation image.
OP_EQUAL Check if the top of the stack contains the revocation image.
\end_layout

\begin_layout Description
Expand Down Expand Up @@ -2058,7 +2069,7 @@ Fast-Escape Output Redeemscript
This allows two paths: one for this side to use the other side's secret
(revealed by them using an escape transaction), and one for the other side
to claim this side's anchor funds after a delay.
This show's A's script, but B's is the same with A and B exchanged.
This shows A's script, but B's is the same with A and B exchanged.
\end_layout

\begin_layout Description
Expand Down Expand Up @@ -2118,7 +2129,7 @@ Spending The Fast-Escape Output
\end_layout

\begin_layout Standard
Either A using a B's secret revealed by B using its own escape transaction:
Either A using B's secret revealed by B using its own escape transaction:
\end_layout

\begin_layout Description
Expand Down