Tighten up the SPV explanation in deposit docs

Link to the appendix for a longer explanation. Refs #293.
keep-network · Sep 22, 2019 · 70cca68 · 70cca68
1 parent d85f185
commit 70cca68
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 12 deletions.
diff --git a/docs/deposits/index.adoc b/docs/deposits/index.adoc
@@ -107,21 +107,16 @@ proof is not received within a given timeout window, the signing group will
 disband and the system will seize the bond's value, making it available to the
 signing group members to reclaim.
 
-To prove deposit, the depositor constructs a transaction for the host chain
-that provides proof that the transaction was accepted on the Bitcoin chain
-and has had sufficient work built on top of the block that included the deposit
-transaction. These proofs are verified by an on-chain simple payment
-verification (SPV) system. A more complete discussion of cross-chain SPV
-systems and their security properties is included in the appendix.
+To prove a deposit, the depositor submits proof the transaction has been
+confirmed and accumulated sufficient work on the Bitcoin chain. The proof is
+verified by an on-chain simple payment verification (SPV) contract on the host
+chain. A more complete discussion of cross-chain SPV systems and their security
+properties <<{root-prefix}/appendix/spv/index#,is included in the appendix>>.
 
 // TODO What is "sufficient"? Defined as a system property? Dynamic?
 
-include::./mispayment.adoc[leveloffset=0]
-
 === Light Relays
 
-// TODO: crosslink to appendix SPV section
-
 Light relays are a new variant of on-chain SPV developed for tBTC. They seek to
 take advantage of the compact and efficient stateless SPV proofs while relaying
 enough information to provide each stateless proof with some recency guarantee.
@@ -155,6 +150,8 @@ SPV proofs when used as an additional validation step, as even entities with
 significant mining resources have a greatly reduced chance of creating fake
 proofs.
 
+include::./mispayment.adoc[leveloffset=0]
+
 == Lots
 
 :lot-size: 1.0

diff --git a/docs/deposits/mispayment.adoc b/docs/deposits/mispayment.adoc
@@ -61,5 +61,3 @@ signature would constitute ECDSA fraud. As such, the most likely outcome is
 that the signers collectively wait to take personal possession of that BTC
 until the _Deposit_ concludes naturally. This allows the signers to make
 regular signing fees and keep the additional UTXOs without penalty.
-
-
Original file line number	Diff line number	Diff line change
Expand Up		@@ -61,5 +61,3 @@ signature would constitute ECDSA fraud. As such, the most likely outcome is
		that the signers collectively wait to take personal possession of that BTC
		until the _Deposit_ concludes naturally. This allows the signers to make
		regular signing fees and keep the additional UTXOs without penalty.