Altered the Local ToLocal key to use the funding key and the hash of the ToLocal key to avoid rogue key attacks

Protocol.md

@@ -61,7 +61,6 @@ The following public keys:
 
 1. Funding Public Key
 2. CET ToLocal Public Key
-3. CET ToRemote Public Key
 
 #### A's addresses
 
@@ -110,7 +109,6 @@ The following public keys:
 
 1. Funding Public Key
 2. CET ToLocal Public Key
-3. CET ToRemote Public Key
 
 #### B's addresses
 

Transactions.md

@@ -45,6 +45,7 @@ Where
 ## Contract Execution Transaction
 ### <a name="CETKnownValues">Known Values</a>
   * Oracle Signature Point: `ECPublicKey`
+  * Local Funding Public Key: `ECPublicKey`
   * Local CET ToLocal Public Key: `ECPublicKey`
   * Local Payout: `CurrencyUnit`
   * Remote CET ToLocal Public Key: `ECPublicKey`
@@ -57,6 +58,7 @@ Where
 
 Where
   - `Oracle Signature Point` is the 33-byte public key associated with this CET's outcome
+  - `Local Funding Public Key` is the local key from the [funding transaction](#funding-transaction)
   - Both `CET Public Key`s are 33-byte compressed public keys
   - `Local Paytout + Remote Payout = (DLC Funding Output).value`
   - `nLockTime` is set to the contract maturity time
@@ -76,7 +78,7 @@ Where
   - `ToLocalOutput`'s script is:
   
         OP_IF
-          <Oracle Signature Point + Local CET ToLocal Public Key>
+          <Oracle Signature Point + Local Funding Public Key + SHA256(Local CET ToLocal Public Key)*G>
         OP_ELSE
           <Timeout> OP_CHECKSEQUENCEVERIFY OP_DROP
           <Remote CET ToLocal Public Key>