module Data.Bitcoin.PaymentChannel.Internal.State where
import Data.Bitcoin.PaymentChannel.Internal.Types
import Data.Bitcoin.PaymentChannel.Internal.Error
import Data.Bitcoin.PaymentChannel.Internal.Util (addressToScriptPubKeyBS)
import Data.Bitcoin.PaymentChannel.Internal.Bitcoin.Script
import qualified Network.Haskoin.Transaction as HT
import qualified Network.Haskoin.Crypto as HC
import qualified Network.Haskoin.Script as HS
import Data.Time.Clock
pcsChannelTotalValue = ftiOutValue . pcsFundingTxInfo
pcsValueTransferred cs = pcsChannelTotalValue cs pcsClientChangeVal cs
pcsChannelValueLeft = pcsClientChangeVal
pcsClientPubKey = cpSenderPubKey . pcsParameters
pcsServerPubKey = cpReceiverPubKey . pcsParameters
pcsDustLimit = cDustLimit . pcsConfig
pcsExpirationDate = cpLockTime . pcsParameters
pcsClientChangeAddress = ptcSenderChangeAddress . pcsPaymentConfig
pcsClientChangeScriptPubKey = addressToScriptPubKeyBS . pcsClientChangeAddress
pcsLockTime = cpLockTime . pcsParameters
pcsPrevOut (CPaymentChannelState _ _ (CFundingTxInfo h i _) _ _ _ _) = OutPoint h i
pcsChannelFundingSource :: PaymentChannelState -> HT.OutPoint
pcsChannelFundingSource pcs = HT.OutPoint (ftiHash fti) (ftiOutIndex fti)
where fti = pcsFundingTxInfo pcs
pcsGetPayment :: PaymentChannelState -> Payment
pcsGetPayment (CPaymentChannelState _ _ _ _ _ val sig) = CPayment val sig
setClientChangeAddress :: PaymentChannelState -> HC.Address -> PaymentChannelState
setClientChangeAddress pcs@(CPaymentChannelState _ _ _ pConf _ _ _) addr =
pcs { pcsPaymentConfig = newPayConf }
where newPayConf = pConf { ptcSenderChangeAddress = addr }
setFundingSource :: PaymentChannelState -> FundingTxInfo -> PaymentChannelState
setFundingSource pcs fti =
pcs { pcsFundingTxInfo = fti }
channelValueLeft :: PaymentChannelState -> BitcoinAmount
channelValueLeft pcs@(CPaymentChannelState (Config dustLimit _) _ _ _ _ _ _) =
pcsClientChangeVal pcs dustLimit
channelIsExhausted :: PaymentChannelState -> Bool
channelIsExhausted pcs =
psSigHash (pcsPaymentSignature pcs) == HS.SigNone True ||
channelValueLeft pcs == 0
newPaymentChannelState cfg channelParameters fundingTxInfo paymentConfig paySig =
CPaymentChannelState {
pcsConfig = cfg,
pcsParameters = channelParameters,
pcsFundingTxInfo = fundingTxInfo,
pcsPaymentConfig = paymentConfig,
pcsPaymentCount = 0,
pcsClientChangeVal = ftiOutValue fundingTxInfo,
pcsPaymentSignature = paySig
}
updatePaymentChannelState ::
PaymentChannelState
-> FullPayment
-> Either PayChanError PaymentChannelState
updatePaymentChannelState (CPaymentChannelState cfg cp fun@(CFundingTxInfo h i _)
pconf@(CPaymentTxConfig addr) payCount oldSenderVal _)
(CFullPayment payment@(CPayment newSenderVal _) payOP payScript payChgAddr)
| (HT.outPointHash payOP /= h) || (HT.outPointIndex payOP /= i) =
Left $ OutPointMismatch $ OutPoint h i
| payChgAddr /= addr =
Left $ ChangeAddrMismatch addr
| payScript /= getRedeemScript cp =
Left $ RedeemScriptMismatch $ getRedeemScript cp
| newSenderVal > oldSenderVal =
Left $ BadPaymentValue (newSenderVal oldSenderVal)
| otherwise =
CPaymentChannelState cfg cp fun pconf (payCount+1) newSenderVal . cpSignature <$>
checkDustLimit cfg payment
checkDustLimit :: Config -> Payment -> Either PayChanError Payment
checkDustLimit (Config dustLimit _) payment@(CPayment senderChangeVal _)
| senderChangeVal < dustLimit =
Left $ DustOutput dustLimit
| otherwise = Right payment
isPastLockTimeDate :: UTCTime -> Config -> ChannelParameters -> Bool
isPastLockTimeDate currentTime (Config _ settlePeriodHrs) (CChannelParameters _ _ (LockTimeDate expTime)) =
currentTime > (settlePeriod `addUTCTime` expTime)
where settlePeriod = 1 * fromIntegral (toSeconds settlePeriodHrs) :: NominalDiffTime
isPastLockTimeDate _ _ (CChannelParameters _ _ (LockTimeBlockHeight _)) =
True