add isShared

lib/core/cardano-wallet-core.cabal

@@ -159,6 +159,7 @@ library
       Cardano.Wallet.Primitive.CoinSelection.Random
       Cardano.Wallet.Primitive.Fee
       Cardano.Wallet.Primitive.Model
+      Cardano.Wallet.Primitive.Scripts
       Cardano.Wallet.Primitive.Types
       Cardano.Wallet.Primitive.Types.Address
       Cardano.Wallet.Primitive.Types.Coin

lib/core/src/Cardano/Wallet/Primitive/Scripts.hs

@@ -0,0 +1,85 @@
+{-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE BangPatterns #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE NumericUnderscores #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE UndecidableInstances #-}
+
+{-# OPTIONS_GHC -fno-warn-orphans #-}
+
+-- |
+-- Copyright: © 2018-2020 IOHK
+-- License: Apache-2.0
+--
+-- An implementation of wallet's verification key discovery
+-- in a script.
+
+module Cardano.Wallet.Primitive.Scripts
+    ( isShared
+    ) where
+
+import Prelude
+
+import Cardano.Address.Derivation
+    ( xpubPublicKey )
+import Cardano.Address.Script
+    ( KeyHash (..), Script (..), ScriptHash (..), toScriptHash )
+import Cardano.Crypto.Wallet
+    ( XPub )
+import Cardano.Wallet.Primitive.AddressDerivation
+    ( Depth (..)
+    , DerivationType (..)
+    , Index (..)
+    , Role (..)
+    , SoftDerivation (..)
+    , hex
+    )
+import Cardano.Wallet.Primitive.AddressDerivation.Shelley
+    ( ShelleyKey (..) )
+import Cardano.Wallet.Primitive.AddressDiscovery.Sequential
+    ( SeqState (..), accountPubKey )
+import Crypto.Hash.Utils
+    ( blake2b224 )
+
+import qualified Data.Map.Strict as Map
+import qualified Data.Text.Encoding as T
+
+instance Ord ScriptHash where
+    compare (ScriptHash sh1) (ScriptHash sh2) =
+        compare (T.decodeUtf8 $ hex sh1) (T.decodeUtf8 $ hex sh2)
+
+isShared
+    :: (k ~ ShelleyKey, SoftDerivation k)
+    => Script
+    -> SeqState n k
+    -> ([k 'ScriptK XPub], SeqState n k)
+isShared script s@(SeqState !s1 !s2 !ixs !rpk !prefix !scripts) =
+    let verKeysInScript = extractVerKey [] script
+        toVerKey = deriveAddressPublicKey (accountPubKey s2) MultisigScript
+        minIndex = getIndex @'Soft minBound
+        scriptAddressGap = 10
+        toKeyHash = KeyHash . blake2b224 . xpubPublicKey . getKey
+        ourVerKeyHashes =
+            map (\ix -> toVerKey (toEnum (fromInteger $ toInteger $ minIndex + ix)))
+            [0 .. scriptAddressGap - 1]
+        ourVerKeysInScript =
+            filter (\keyH -> toKeyHash keyH `elem` verKeysInScript)
+            ourVerKeyHashes
+        toScriptXPub (ShelleyKey k) = ShelleyKey k
+        scriptXPubs = map toScriptXPub ourVerKeysInScript
+    in if null ourVerKeysInScript then
+        ([], s)
+       else
+        ( scriptXPubs
+        , SeqState s1 s2 ixs rpk prefix (Map.insert (toScriptHash script) scriptXPubs scripts))
+  where
+    extractVerKey acc (RequireSignatureOf verKey) = verKey : acc
+    extractVerKey acc (RequireAllOf xs) = foldr (flip extractVerKey) acc xs
+    extractVerKey acc (RequireAnyOf xs) = foldr (flip extractVerKey) acc xs
+    extractVerKey acc (RequireSomeOf _ xs) = foldr (flip extractVerKey) acc xs