2018-11-01 06:42:10 +03:00
|
|
|
package lookout
|
|
|
|
|
|
|
|
import (
|
|
|
|
"errors"
|
|
|
|
|
|
|
|
"github.com/btcsuite/btcd/blockchain"
|
|
|
|
"github.com/btcsuite/btcd/btcec"
|
|
|
|
"github.com/btcsuite/btcd/txscript"
|
|
|
|
"github.com/btcsuite/btcd/wire"
|
|
|
|
"github.com/btcsuite/btcutil"
|
2019-02-02 04:26:54 +03:00
|
|
|
"github.com/btcsuite/btcutil/txsort"
|
2019-01-16 17:47:43 +03:00
|
|
|
"github.com/lightningnetwork/lnd/input"
|
2018-11-01 06:42:10 +03:00
|
|
|
"github.com/lightningnetwork/lnd/watchtower/blob"
|
|
|
|
"github.com/lightningnetwork/lnd/watchtower/wtdb"
|
|
|
|
)
|
|
|
|
|
|
|
|
var (
|
|
|
|
// ErrOutputNotFound signals that the breached output could not be found
|
|
|
|
// on the commitment transaction.
|
|
|
|
ErrOutputNotFound = errors.New("unable to find output on commit tx")
|
|
|
|
|
|
|
|
// ErrUnknownSweepAddrType signals that client provided an output that
|
|
|
|
// was not p2wkh or p2wsh.
|
|
|
|
ErrUnknownSweepAddrType = errors.New("sweep addr is not p2wkh or p2wsh")
|
|
|
|
)
|
|
|
|
|
|
|
|
// JusticeDescriptor contains the information required to sweep a breached
|
|
|
|
// channel on behalf of a victim. It supports the ability to create the justice
|
|
|
|
// transaction that sweeps the commitments and recover a cut of the channel for
|
|
|
|
// the watcher's eternal vigilance.
|
|
|
|
type JusticeDescriptor struct {
|
|
|
|
// BreachedCommitTx is the commitment transaction that caused the breach
|
|
|
|
// to be detected.
|
|
|
|
BreachedCommitTx *wire.MsgTx
|
|
|
|
|
|
|
|
// SessionInfo contains the contract with the watchtower client and
|
|
|
|
// the prenegotiated terms they agreed to.
|
|
|
|
SessionInfo *wtdb.SessionInfo
|
|
|
|
|
|
|
|
// JusticeKit contains the decrypted blob and information required to
|
|
|
|
// construct the transaction scripts and witnesses.
|
|
|
|
JusticeKit *blob.JusticeKit
|
|
|
|
}
|
|
|
|
|
|
|
|
// breachedInput contains the required information to construct and spend
|
|
|
|
// breached outputs on a commitment transaction.
|
|
|
|
type breachedInput struct {
|
|
|
|
txOut *wire.TxOut
|
|
|
|
outPoint wire.OutPoint
|
|
|
|
witness [][]byte
|
2020-09-15 19:44:00 +03:00
|
|
|
sequence uint32
|
2018-11-01 06:42:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
// commitToLocalInput extracts the information required to spend the commit
|
|
|
|
// to-local output.
|
|
|
|
func (p *JusticeDescriptor) commitToLocalInput() (*breachedInput, error) {
|
|
|
|
// Retrieve the to-local witness script from the justice kit.
|
|
|
|
toLocalScript, err := p.JusticeKit.CommitToLocalWitnessScript()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Compute the witness script hash, which will be used to locate the
|
|
|
|
// input on the breaching commitment transaction.
|
2019-01-16 17:47:43 +03:00
|
|
|
toLocalWitnessHash, err := input.WitnessScriptHash(toLocalScript)
|
2018-11-01 06:42:10 +03:00
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Locate the to-local output on the breaching commitment transaction.
|
|
|
|
toLocalIndex, toLocalTxOut, err := findTxOutByPkScript(
|
|
|
|
p.BreachedCommitTx, toLocalWitnessHash,
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Construct the to-local outpoint that will be spent in the justice
|
|
|
|
// transaction.
|
|
|
|
toLocalOutPoint := wire.OutPoint{
|
|
|
|
Hash: p.BreachedCommitTx.TxHash(),
|
|
|
|
Index: toLocalIndex,
|
|
|
|
}
|
|
|
|
|
|
|
|
// Retrieve to-local witness stack, which primarily includes a signature
|
|
|
|
// under the revocation pubkey.
|
|
|
|
witnessStack, err := p.JusticeKit.CommitToLocalRevokeWitnessStack()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
return &breachedInput{
|
|
|
|
txOut: toLocalTxOut,
|
|
|
|
outPoint: toLocalOutPoint,
|
|
|
|
witness: buildWitness(witnessStack, toLocalScript),
|
|
|
|
}, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// commitToRemoteInput extracts the information required to spend the commit
|
|
|
|
// to-remote output.
|
|
|
|
func (p *JusticeDescriptor) commitToRemoteInput() (*breachedInput, error) {
|
|
|
|
// Retrieve the to-remote witness script from the justice kit.
|
|
|
|
toRemoteScript, err := p.JusticeKit.CommitToRemoteWitnessScript()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
2020-09-15 19:44:00 +03:00
|
|
|
var (
|
|
|
|
toRemoteScriptHash []byte
|
|
|
|
toRemoteSequence uint32
|
2018-11-01 06:42:10 +03:00
|
|
|
)
|
2020-09-15 19:44:00 +03:00
|
|
|
if p.JusticeKit.BlobType.IsAnchorChannel() {
|
|
|
|
toRemoteScriptHash, err = input.WitnessScriptHash(
|
|
|
|
toRemoteScript,
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
toRemoteSequence = 1
|
|
|
|
} else {
|
|
|
|
// Since the to-remote witness script should just be a regular p2wkh
|
|
|
|
// output, we'll parse it to retrieve the public key.
|
|
|
|
toRemotePubKey, err := btcec.ParsePubKey(toRemoteScript, btcec.S256())
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Compute the witness script hash from the to-remote pubkey, which will
|
|
|
|
// be used to locate the input on the breach commitment transaction.
|
|
|
|
toRemoteScriptHash, err = input.CommitScriptUnencumbered(
|
|
|
|
toRemotePubKey,
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
2018-11-01 06:42:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
// Locate the to-remote output on the breaching commitment transaction.
|
|
|
|
toRemoteIndex, toRemoteTxOut, err := findTxOutByPkScript(
|
|
|
|
p.BreachedCommitTx, toRemoteScriptHash,
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
// Construct the to-remote outpoint which will be spent in the justice
|
|
|
|
// transaction.
|
|
|
|
toRemoteOutPoint := wire.OutPoint{
|
|
|
|
Hash: p.BreachedCommitTx.TxHash(),
|
|
|
|
Index: toRemoteIndex,
|
|
|
|
}
|
|
|
|
|
|
|
|
// Retrieve the to-remote witness stack, which is just a signature under
|
|
|
|
// the to-remote pubkey.
|
|
|
|
witnessStack, err := p.JusticeKit.CommitToRemoteWitnessStack()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
|
|
|
return &breachedInput{
|
|
|
|
txOut: toRemoteTxOut,
|
|
|
|
outPoint: toRemoteOutPoint,
|
|
|
|
witness: buildWitness(witnessStack, toRemoteScript),
|
2020-09-15 19:44:00 +03:00
|
|
|
sequence: toRemoteSequence,
|
2018-11-01 06:42:10 +03:00
|
|
|
}, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// assembleJusticeTxn accepts the breached inputs recovered from state update
|
|
|
|
// and attempts to construct the justice transaction that sweeps the victims
|
|
|
|
// funds to their wallet and claims the watchtower's reward.
|
|
|
|
func (p *JusticeDescriptor) assembleJusticeTxn(txWeight int64,
|
|
|
|
inputs ...*breachedInput) (*wire.MsgTx, error) {
|
|
|
|
|
|
|
|
justiceTxn := wire.NewMsgTx(2)
|
|
|
|
|
|
|
|
// First, construct add the breached inputs to our justice transaction
|
|
|
|
// and compute the total amount that will be swept.
|
|
|
|
var totalAmt btcutil.Amount
|
|
|
|
for _, input := range inputs {
|
|
|
|
totalAmt += btcutil.Amount(input.txOut.Value)
|
|
|
|
justiceTxn.AddTxIn(&wire.TxIn{
|
|
|
|
PreviousOutPoint: input.outPoint,
|
2020-09-15 19:44:00 +03:00
|
|
|
Sequence: input.sequence,
|
2018-11-01 06:42:10 +03:00
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2019-02-02 04:26:54 +03:00
|
|
|
// Using the session's policy, compute the outputs that should be added
|
|
|
|
// to the justice transaction. In the case of an altruist sweep, there
|
|
|
|
// will be a single output paying back to the victim. Otherwise for a
|
|
|
|
// reward sweep, there will be two outputs, one of which pays back to
|
|
|
|
// the victim while the other gives a cut to the tower.
|
|
|
|
outputs, err := p.SessionInfo.Policy.ComputeJusticeTxOuts(
|
|
|
|
totalAmt, txWeight, p.JusticeKit.SweepAddress[:],
|
|
|
|
p.SessionInfo.RewardAddress,
|
2018-11-01 06:42:10 +03:00
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
2019-02-02 04:26:54 +03:00
|
|
|
// Attach the computed txouts to the justice transaction.
|
|
|
|
justiceTxn.TxOut = outputs
|
2018-11-01 06:42:10 +03:00
|
|
|
|
2019-02-02 04:26:54 +03:00
|
|
|
// Apply a BIP69 sort to the resulting transaction.
|
|
|
|
txsort.InPlaceSort(justiceTxn)
|
2018-11-01 06:42:10 +03:00
|
|
|
|
|
|
|
btx := btcutil.NewTx(justiceTxn)
|
|
|
|
if err := blockchain.CheckTransactionSanity(btx); err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
|
2019-02-02 04:26:54 +03:00
|
|
|
// Since the transaction inputs could have been reordered as a result of the
|
|
|
|
// BIP69 sort, create an index mapping each prevout to it's new index.
|
|
|
|
inputIndex := make(map[wire.OutPoint]int)
|
|
|
|
for i, txIn := range justiceTxn.TxIn {
|
|
|
|
inputIndex[txIn.PreviousOutPoint] = i
|
|
|
|
}
|
|
|
|
|
2018-11-01 06:42:10 +03:00
|
|
|
// Attach each of the provided witnesses to the transaction.
|
2019-02-02 04:26:54 +03:00
|
|
|
for _, input := range inputs {
|
|
|
|
// Lookup the input's new post-sort position.
|
|
|
|
i := inputIndex[input.outPoint]
|
2018-11-01 06:42:10 +03:00
|
|
|
justiceTxn.TxIn[i].Witness = input.witness
|
|
|
|
|
|
|
|
// Validate the reconstructed witnesses to ensure they are valid
|
|
|
|
// for the breached inputs.
|
|
|
|
vm, err := txscript.NewEngine(
|
|
|
|
input.txOut.PkScript, justiceTxn, i,
|
|
|
|
txscript.StandardVerifyFlags,
|
|
|
|
nil, nil, input.txOut.Value,
|
|
|
|
)
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
if err := vm.Execute(); err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return justiceTxn, nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// CreateJusticeTxn computes the justice transaction that sweeps a breaching
|
|
|
|
// commitment transaction. The justice transaction is constructed by assembling
|
|
|
|
// the witnesses using data provided by the client in a prior state update.
|
2020-04-06 03:07:14 +03:00
|
|
|
//
|
|
|
|
// NOTE: An older version of ToLocalPenaltyWitnessSize underestimated the size
|
|
|
|
// of the witness by one byte, which could cause the signature(s) to break if
|
|
|
|
// the tower is reconstructing with the newer constant because the output values
|
|
|
|
// might differ. This method retains that original behavior to not invalidate
|
|
|
|
// historical signatures.
|
2018-11-01 06:42:10 +03:00
|
|
|
func (p *JusticeDescriptor) CreateJusticeTxn() (*wire.MsgTx, error) {
|
|
|
|
var (
|
|
|
|
sweepInputs = make([]*breachedInput, 0, 2)
|
2019-01-16 17:47:43 +03:00
|
|
|
weightEstimate input.TxWeightEstimator
|
2018-11-01 06:42:10 +03:00
|
|
|
)
|
|
|
|
|
|
|
|
// Add the sweep address's contribution, depending on whether it is a
|
|
|
|
// p2wkh or p2wsh output.
|
|
|
|
switch len(p.JusticeKit.SweepAddress) {
|
2019-01-16 17:47:43 +03:00
|
|
|
case input.P2WPKHSize:
|
2018-11-01 06:42:10 +03:00
|
|
|
weightEstimate.AddP2WKHOutput()
|
|
|
|
|
2019-01-16 17:47:43 +03:00
|
|
|
case input.P2WSHSize:
|
2018-11-01 06:42:10 +03:00
|
|
|
weightEstimate.AddP2WSHOutput()
|
|
|
|
|
|
|
|
default:
|
|
|
|
return nil, ErrUnknownSweepAddrType
|
|
|
|
}
|
|
|
|
|
2019-02-02 04:26:54 +03:00
|
|
|
// Add our reward address to the weight estimate if the policy's blob
|
|
|
|
// type specifies a reward output.
|
|
|
|
if p.SessionInfo.Policy.BlobType.Has(blob.FlagReward) {
|
|
|
|
weightEstimate.AddP2WKHOutput()
|
|
|
|
}
|
|
|
|
|
2018-11-01 06:42:10 +03:00
|
|
|
// Assemble the breached to-local output from the justice descriptor and
|
|
|
|
// add it to our weight estimate.
|
|
|
|
toLocalInput, err := p.commitToLocalInput()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
2020-04-06 03:07:14 +03:00
|
|
|
|
|
|
|
// An older ToLocalPenaltyWitnessSize constant used to underestimate the
|
|
|
|
// size by one byte. The diferrence in weight can cause different output
|
|
|
|
// values on the sweep transaction, so we mimic the original bug to
|
2020-09-15 19:48:23 +03:00
|
|
|
// avoid invalidating signatures by older clients. For anchor channels
|
|
|
|
// we correct this and use the correct witness size.
|
|
|
|
if p.JusticeKit.BlobType.IsAnchorChannel() {
|
|
|
|
weightEstimate.AddWitnessInput(input.ToLocalPenaltyWitnessSize)
|
|
|
|
} else {
|
|
|
|
weightEstimate.AddWitnessInput(input.ToLocalPenaltyWitnessSize - 1)
|
|
|
|
}
|
2020-04-06 03:07:14 +03:00
|
|
|
|
2018-11-01 06:42:10 +03:00
|
|
|
sweepInputs = append(sweepInputs, toLocalInput)
|
|
|
|
|
|
|
|
// If the justice kit specifies that we have to sweep the to-remote
|
|
|
|
// output, we'll also try to assemble the output and add it to weight
|
|
|
|
// estimate if successful.
|
|
|
|
if p.JusticeKit.HasCommitToRemoteOutput() {
|
|
|
|
toRemoteInput, err := p.commitToRemoteInput()
|
|
|
|
if err != nil {
|
|
|
|
return nil, err
|
|
|
|
}
|
|
|
|
sweepInputs = append(sweepInputs, toRemoteInput)
|
2020-09-15 19:44:00 +03:00
|
|
|
|
|
|
|
if p.JusticeKit.BlobType.IsAnchorChannel() {
|
|
|
|
weightEstimate.AddWitnessInput(input.ToRemoteConfirmedWitnessSize)
|
|
|
|
} else {
|
|
|
|
weightEstimate.AddWitnessInput(input.P2WKHWitnessSize)
|
|
|
|
}
|
2018-11-01 06:42:10 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
// TODO(conner): sweep htlc outputs
|
|
|
|
|
|
|
|
txWeight := int64(weightEstimate.Weight())
|
|
|
|
|
|
|
|
return p.assembleJusticeTxn(txWeight, sweepInputs...)
|
|
|
|
}
|
|
|
|
|
|
|
|
// findTxOutByPkScript searches the given transaction for an output whose
|
|
|
|
// pkscript matches the query. If one is found, the TxOut is returned along with
|
|
|
|
// the index.
|
|
|
|
//
|
|
|
|
// NOTE: The search stops after the first match is found.
|
|
|
|
func findTxOutByPkScript(txn *wire.MsgTx,
|
|
|
|
pkScript []byte) (uint32, *wire.TxOut, error) {
|
|
|
|
|
2019-01-16 17:47:43 +03:00
|
|
|
found, index := input.FindScriptOutputIndex(txn, pkScript)
|
2018-11-01 06:42:10 +03:00
|
|
|
if !found {
|
|
|
|
return 0, nil, ErrOutputNotFound
|
|
|
|
}
|
|
|
|
|
|
|
|
return index, txn.TxOut[index], nil
|
|
|
|
}
|
|
|
|
|
|
|
|
// buildWitness appends the witness script to a given witness stack.
|
|
|
|
func buildWitness(witnessStack [][]byte, witnessScript []byte) [][]byte {
|
|
|
|
witness := make([][]byte, len(witnessStack)+1)
|
|
|
|
lastIdx := copy(witness, witnessStack)
|
|
|
|
witness[lastIdx] = witnessScript
|
|
|
|
|
|
|
|
return witness
|
|
|
|
}
|