Main.hs (19994B)
1 {-# OPTIONS_GHC -fno-warn-incomplete-uni-patterns #-} 2 {-# LANGUAGE OverloadedStrings #-} 3 4 module Main where 5 6 import Crypto.HDKey.BIP32 7 import qualified Data.ByteString as BS 8 import qualified Data.ByteString.Base16 as B16 9 import Test.Tasty 10 import qualified Test.Tasty.HUnit as H 11 12 -- for testing 13 xprv_partial :: HDKey -> BS.ByteString 14 xprv_partial val = case xprv val of 15 Nothing -> error "bang" 16 Just v -> v 17 18 -- precomputed context for wNAF tests 19 ctx :: Context 20 ctx = precompute 21 22 main :: IO () 23 main = defaultMain $ testGroup "BIP32 vectors" [ 24 testGroup "standard" [ 25 vector_1 26 , vector_2 27 , vector_3 28 , vector_4 29 , vector_5 30 ] 31 , testGroup "wNAF" [ 32 vector_1_wnaf 33 , vector_2_wnaf 34 , vector_3_wnaf 35 , vector_4_wnaf 36 ] 37 ] 38 39 seed_1 :: BS.ByteString 40 seed_1 = case B16.decode "000102030405060708090a0b0c0d0e0f" of 41 Nothing -> error "bang" 42 Just b -> b 43 44 xpub_1_m :: BS.ByteString 45 xpub_1_m = "xpub661MyMwAqRbcFtXgS5sYJABqqG9YLmC4Q1Rdap9gSE8NqtwybGhePY2gZ29ESFjqJoCu1Rupje8YtGqsefD265TMg7usUDFdp6W1EGMcet8" 46 47 xprv_1_m :: BS.ByteString 48 xprv_1_m = "xprv9s21ZrQH143K3QTDL4LXw2F7HEK3wJUD2nW2nRk4stbPy6cq3jPPqjiChkVvvNKmPGJxWUtg6LnF5kejMRNNU3TGtRBeJgk33yuGBxrMPHi" 49 50 xpub_1_m_0' :: BS.ByteString 51 xpub_1_m_0' = "xpub68Gmy5EdvgibQVfPdqkBBCHxA5htiqg55crXYuXoQRKfDBFA1WEjWgP6LHhwBZeNK1VTsfTFUHCdrfp1bgwQ9xv5ski8PX9rL2dZXvgGDnw" 52 53 xprv_1_m_0' :: BS.ByteString 54 xprv_1_m_0' = "xprv9uHRZZhk6KAJC1avXpDAp4MDc3sQKNxDiPvvkX8Br5ngLNv1TxvUxt4cV1rGL5hj6KCesnDYUhd7oWgT11eZG7XnxHrnYeSvkzY7d2bhkJ7" 55 56 xpub_1_m_0'_1 :: BS.ByteString 57 xpub_1_m_0'_1 = "xpub6ASuArnXKPbfEwhqN6e3mwBcDTgzisQN1wXN9BJcM47sSikHjJf3UFHKkNAWbWMiGj7Wf5uMash7SyYq527Hqck2AxYysAA7xmALppuCkwQ" 58 59 xprv_1_m_0'_1 :: BS.ByteString 60 xprv_1_m_0'_1 = "xprv9wTYmMFdV23N2TdNG573QoEsfRrWKQgWeibmLntzniatZvR9BmLnvSxqu53Kw1UmYPxLgboyZQaXwTCg8MSY3H2EU4pWcQDnRnrVA1xe8fs" 61 62 xpub_1_m_0'_1_2' :: BS.ByteString 63 xpub_1_m_0'_1_2' = "xpub6D4BDPcP2GT577Vvch3R8wDkScZWzQzMMUm3PWbmWvVJrZwQY4VUNgqFJPMM3No2dFDFGTsxxpG5uJh7n7epu4trkrX7x7DogT5Uv6fcLW5" 64 65 xprv_1_m_0'_1_2' :: BS.ByteString 66 xprv_1_m_0'_1_2' = "xprv9z4pot5VBttmtdRTWfWQmoH1taj2axGVzFqSb8C9xaxKymcFzXBDptWmT7FwuEzG3ryjH4ktypQSAewRiNMjANTtpgP4mLTj34bhnZX7UiM" 67 68 xpub_1_m_0'_1_2'_2 :: BS.ByteString 69 xpub_1_m_0'_1_2'_2 = "xpub6FHa3pjLCk84BayeJxFW2SP4XRrFd1JYnxeLeU8EqN3vDfZmbqBqaGJAyiLjTAwm6ZLRQUMv1ZACTj37sR62cfN7fe5JnJ7dh8zL4fiyLHV" 70 71 xprv_1_m_0'_1_2'_2 :: BS.ByteString 72 xprv_1_m_0'_1_2'_2 = "xprvA2JDeKCSNNZky6uBCviVfJSKyQ1mDYahRjijr5idH2WwLsEd4Hsb2Tyh8RfQMuPh7f7RtyzTtdrbdqqsunu5Mm3wDvUAKRHSC34sJ7in334" 73 74 xpub_1_m_0'_1_2'_2_1000000000 :: BS.ByteString 75 xpub_1_m_0'_1_2'_2_1000000000 = "xpub6H1LXWLaKsWFhvm6RVpEL9P4KfRZSW7abD2ttkWP3SSQvnyA8FSVqNTEcYFgJS2UaFcxupHiYkro49S8yGasTvXEYBVPamhGW6cFJodrTHy" 76 77 xprv_1_m_0'_1_2'_2_1000000000 :: BS.ByteString 78 xprv_1_m_0'_1_2'_2_1000000000 = "xprvA41z7zogVVwxVSgdKUHDy1SKmdb533PjDz7J6N6mV6uS3ze1ai8FHa8kmHScGpWmj4WggLyQjgPie1rFSruoUihUZREPSL39UNdE3BBDu76" 79 80 vector_1 :: TestTree 81 vector_1 = H.testCase "BIP32 vector 1" $ do 82 let Just _m = master seed_1 83 H.assertEqual "M" xpub_1_m (xpub _m) 84 H.assertEqual "m" xprv_1_m (xprv_partial _m) 85 let Just _m_0' = derive_child_priv _m 0x80000000 86 H.assertEqual "M/0'" xpub_1_m_0' (xpub _m_0') 87 H.assertEqual "m/0'" xprv_1_m_0' (xprv_partial _m_0') 88 H.assertEqual "M/0', path" xpub_1_m_0' (xpub (derive_partial _m "m/0'")) 89 H.assertEqual "m/0', path" xprv_1_m_0' (xprv_partial (derive_partial _m "m/0'")) 90 let Just _m_0'_1 = derive_child_priv _m_0' 1 91 H.assertEqual "M/0'/1" xpub_1_m_0'_1 (xpub _m_0'_1) 92 H.assertEqual "m/0'/1" xprv_1_m_0'_1 (xprv_partial _m_0'_1) 93 H.assertEqual "M/0'/1" xpub_1_m_0'_1 (xpub (derive_partial _m "m/0'/1")) 94 H.assertEqual "m/0'/1" xprv_1_m_0'_1 (xprv_partial (derive_partial _m "m/0'/1")) 95 let Just _m_0'_1_2' = derive_child_priv _m_0'_1 (0x80000000 + 2) 96 H.assertEqual "M/0'/1/2'" xpub_1_m_0'_1_2' (xpub _m_0'_1_2') 97 H.assertEqual "m/0'/1/2'" xprv_1_m_0'_1_2' (xprv_partial _m_0'_1_2') 98 H.assertEqual "M/0'/1/2'" xpub_1_m_0'_1_2' (xpub (derive_partial _m "m/0'/1/2'")) 99 H.assertEqual "m/0'/1/2'" xprv_1_m_0'_1_2' (xprv_partial (derive_partial _m "m/0'/1/2'")) 100 let Just _m_0'_1_2'_2 = derive_child_priv _m_0'_1_2' 2 101 H.assertEqual "M/0'/1/2'/2" xpub_1_m_0'_1_2'_2 (xpub _m_0'_1_2'_2) 102 H.assertEqual "m/0'/1/2'/2" xprv_1_m_0'_1_2'_2 (xprv_partial _m_0'_1_2'_2) 103 H.assertEqual "M/0'/1/2'/2" xpub_1_m_0'_1_2'_2 104 (xpub (derive_partial _m "m/0'/1/2'/2")) 105 H.assertEqual "m/0'/1/2'/2" xprv_1_m_0'_1_2'_2 106 (xprv_partial (derive_partial _m "m/0'/1/2'/2")) 107 let Just _m_0'_1_2'_2_1000000000 = derive_child_priv _m_0'_1_2'_2 1000000000 108 H.assertEqual "M/0'/1/2'/2/1000000000" xpub_1_m_0'_1_2'_2_1000000000 109 (xpub _m_0'_1_2'_2_1000000000) 110 H.assertEqual "m/0'/1/2'/2/1000000000" xprv_1_m_0'_1_2'_2_1000000000 111 (xprv_partial _m_0'_1_2'_2_1000000000) 112 H.assertEqual "M/0'/1/2'/2/1000000000" xpub_1_m_0'_1_2'_2_1000000000 113 (xpub (derive_partial _m "m/0'/1/2'/2/1000000000")) 114 H.assertEqual "m/0'/1/2'/2/1000000000" xprv_1_m_0'_1_2'_2_1000000000 115 (xprv_partial (derive_partial _m "m/0'/1/2'/2/1000000000")) 116 117 seed_2 :: BS.ByteString 118 seed_2 = case B16.decode "fffcf9f6f3f0edeae7e4e1dedbd8d5d2cfccc9c6c3c0bdbab7b4b1aeaba8a5a29f9c999693908d8a8784817e7b7875726f6c696663605d5a5754514e4b484542" of 119 Nothing -> error "bang" 120 Just b -> b 121 122 vector_2 :: TestTree 123 vector_2 = H.testCase "BIP32 vector 2" $ do 124 let Just mas = master seed_2 125 _m = derive_partial mas "m" 126 H.assertEqual "M" "xpub661MyMwAqRbcFW31YEwpkMuc5THy2PSt5bDMsktWQcFF8syAmRUapSCGu8ED9W6oDMSgv6Zz8idoc4a6mr8BDzTJY47LJhkJ8UB7WEGuduB" 127 (xpub _m) 128 H.assertEqual "m" "xprv9s21ZrQH143K31xYSDQpPDxsXRTUcvj2iNHm5NUtrGiGG5e2DtALGdso3pGz6ssrdK4PFmM8NSpSBHNqPqm55Qn3LqFtT2emdEXVYsCzC2U" 129 (xprv_partial _m) 130 let _m_0 = derive_partial mas "m/0" 131 H.assertEqual "M/0" "xpub69H7F5d8KSRgmmdJg2KhpAK8SR3DjMwAdkxj3ZuxV27CprR9LgpeyGmXUbC6wb7ERfvrnKZjXoUmmDznezpbZb7ap6r1D3tgFxHmwMkQTPH" 132 (xpub _m_0) 133 H.assertEqual "m/0" "xprv9vHkqa6EV4sPZHYqZznhT2NPtPCjKuDKGY38FBWLvgaDx45zo9WQRUT3dKYnjwih2yJD9mkrocEZXo1ex8G81dwSM1fwqWpWkeS3v86pgKt" 134 (xprv_partial _m_0) 135 let _m_0_2147483647' = derive_partial mas "m/0/2147483647'" 136 H.assertEqual "M/0/2147483647'" "xpub6ASAVgeehLbnwdqV6UKMHVzgqAG8Gr6riv3Fxxpj8ksbH9ebxaEyBLZ85ySDhKiLDBrQSARLq1uNRts8RuJiHjaDMBU4Zn9h8LZNnBC5y4a" 137 (xpub _m_0_2147483647') 138 H.assertEqual "m/0/2147483647'" "xprv9wSp6B7kry3Vj9m1zSnLvN3xH8RdsPP1Mh7fAaR7aRLcQMKTR2vidYEeEg2mUCTAwCd6vnxVrcjfy2kRgVsFawNzmjuHc2YmYRmagcEPdU9" 139 (xprv_partial _m_0_2147483647') 140 let _m_0_2147483647'_1 = derive_partial mas "m/0/2147483647'/1" 141 H.assertEqual "M/0/2147483647'/1" "xpub6DF8uhdarytz3FWdA8TvFSvvAh8dP3283MY7p2V4SeE2wyWmG5mg5EwVvmdMVCQcoNJxGoWaU9DCWh89LojfZ537wTfunKau47EL2dhHKon" 142 (xpub _m_0_2147483647'_1) 143 H.assertEqual "m/0/2147483647'/1" "xprv9zFnWC6h2cLgpmSA46vutJzBcfJ8yaJGg8cX1e5StJh45BBciYTRXSd25UEPVuesF9yog62tGAQtHjXajPPdbRCHuWS6T8XA2ECKADdw4Ef" 144 (xprv_partial _m_0_2147483647'_1) 145 let _m_0_2147483647'_1_2147483646' = 146 derive_partial mas "m/0/2147483647'/1/2147483646'" 147 H.assertEqual "M/0/2147483647'/1/2147483646'" "xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL" 148 (xpub _m_0_2147483647'_1_2147483646') 149 H.assertEqual "m/0/2147483647'/1/2147483646'" "xprvA1RpRA33e1JQ7ifknakTFpgNXPmW2YvmhqLQYMmrj4xJXXWYpDPS3xz7iAxn8L39njGVyuoseXzU6rcxFLJ8HFsTjSyQbLYnMpCqE2VbFWc" 150 (xprv_partial _m_0_2147483647'_1_2147483646') 151 let _m_0_2147483647'_1_2147483646'_2 = 152 derive_partial mas "m/0/2147483647'/1/2147483646'/2" 153 H.assertEqual "M/0/2147483647'/1/2147483646'/2" "xpub6FnCn6nSzZAw5Tw7cgR9bi15UV96gLZhjDstkXXxvCLsUXBGXPdSnLFbdpq8p9HmGsApME5hQTZ3emM2rnY5agb9rXpVGyy3bdW6EEgAtqt" 154 (xpub _m_0_2147483647'_1_2147483646'_2) 155 H.assertEqual "m/0/2147483647'/1/2147483646'/2" "xprvA2nrNbFZABcdryreWet9Ea4LvTJcGsqrMzxHx98MMrotbir7yrKCEXw7nadnHM8Dq38EGfSh6dqA9QWTyefMLEcBYJUuekgW4BYPJcr9E7j" 156 (xprv_partial _m_0_2147483647'_1_2147483646'_2) 157 158 seed_3 :: BS.ByteString 159 seed_3 = case B16.decode "4b381541583be4423346c643850da4b320e46a87ae3d2a4e6da11eba819cd4acba45d239319ac14f863b8d5ab5a0d0c64d2e8a1e7d1457df2e5a3c51c73235be" of 160 Nothing -> error "bang" 161 Just b -> b 162 163 vector_3 :: TestTree 164 vector_3 = H.testCase "BIP32 vector 3" $ do 165 let Just mas = master seed_3 166 _m = derive_partial mas "m" 167 H.assertEqual "M" "xpub661MyMwAqRbcEZVB4dScxMAdx6d4nFc9nvyvH3v4gJL378CSRZiYmhRoP7mBy6gSPSCYk6SzXPTf3ND1cZAceL7SfJ1Z3GC8vBgp2epUt13" 168 (xpub _m) 169 H.assertEqual "m" "xprv9s21ZrQH143K25QhxbucbDDuQ4naNntJRi4KUfWT7xo4EKsHt2QJDu7KXp1A3u7Bi1j8ph3EGsZ9Xvz9dGuVrtHHs7pXeTzjuxBrCmmhgC6" 170 (xprv_partial _m) 171 let _m_0' = derive_partial mas "m/0'" 172 H.assertEqual "M/0'" "xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y" 173 (xpub _m_0') 174 H.assertEqual "m/0'" "xprv9uPDJpEQgRQfDcW7BkF7eTya6RPxXeJCqCJGHuCJ4GiRVLzkTXBAJMu2qaMWPrS7AANYqdq6vcBcBUdJCVVFceUvJFjaPdGZ2y9WACViL4L" 175 (xprv_partial _m_0') 176 177 seed_4 :: BS.ByteString 178 seed_4 = case B16.decode "3ddd5602285899a946114506157c7997e5444528f3003f6134712147db19b678" of 179 Nothing -> error "bang" 180 Just b -> b 181 182 vector_4 :: TestTree 183 vector_4 = H.testCase "BIP32 vector 4" $ do 184 let Just mas = master seed_4 185 _m = derive_partial mas "m" 186 H.assertEqual "M" "xpub661MyMwAqRbcGczjuMoRm6dXaLDEhW1u34gKenbeYqAix21mdUKJyuyu5F1rzYGVxyL6tmgBUAEPrEz92mBXjByMRiJdba9wpnN37RLLAXa" 187 (xpub _m) 188 H.assertEqual "m" "xprv9s21ZrQH143K48vGoLGRPxgo2JNkJ3J3fqkirQC2zVdk5Dgd5w14S7fRDyHH4dWNHUgkvsvNDCkvAwcSHNAQwhwgNMgZhLtQC63zxwhQmRv" 189 (xprv_partial _m) 190 let _m_0' = derive_partial mas "m/0'" 191 H.assertEqual "M/0'" "xpub69AUMk3qDBi3uW1sXgjCmVjJ2G6WQoYSnNHyzkmdCHEhSZ4tBok37xfFEqHd2AddP56Tqp4o56AePAgCjYdvpW2PU2jbUPFKsav5ut6Ch1m" 192 (xpub _m_0') 193 H.assertEqual "m/0'" "xprv9vB7xEWwNp9kh1wQRfCCQMnZUEG21LpbR9NPCNN1dwhiZkjjeGRnaALmPXCX7SgjFTiCTT6bXes17boXtjq3xLpcDjzEuGLQBM5ohqkao9G" 194 (xprv_partial _m_0') 195 let _m_0'_1' = derive_partial mas "m/0'/1'" 196 H.assertEqual "M/0'/1'" "xpub6BJA1jSqiukeaesWfxe6sNK9CCGaujFFSJLomWHprUL9DePQ4JDkM5d88n49sMGJxrhpjazuXYWdMf17C9T5XnxkopaeS7jGk1GyyVziaMt" 197 (xpub _m_0'_1') 198 H.assertEqual "m/0'/1'" "xprv9xJocDuwtYCMNAo3Zw76WENQeAS6WGXQ55RCy7tDJ8oALr4FWkuVoHJeHVAcAqiZLE7Je3vZJHxspZdFHfnBEjHqU5hG1Jaj32dVoS6XLT1" 199 (xprv_partial _m_0'_1') 200 201 vector_5 :: TestTree 202 vector_5 = H.testCase "BIP32 vector 5" $ do 203 H.assertEqual "k0" Nothing (parse "xpub661MyMwAqRbcEYS8w7XLSVeEsBXy79zSzH1J8vCdxAZningWLdN3zgtU6LBpB85b3D2yc8sfvZU521AAwdZafEz7mnzBBsz4wKY5fTtTQBm") 204 H.assertEqual "k1" Nothing (parse "xprv9s21ZrQH143K24Mfq5zL5MhWK9hUhhGbd45hLXo2Pq2oqzMMo63oStZzFGTQQD3dC4H2D5GBj7vWvSQaaBv5cxi9gafk7NF3pnBju6dwKvH") 205 H.assertEqual "k2" Nothing (parse "xpub661MyMwAqRbcEYS8w7XLSVeEsBXy79zSzH1J8vCdxAZningWLdN3zgtU6Txnt3siSujt9RCVYsx4qHZGc62TG4McvMGcAUjeuwZdduYEvFn") 206 H.assertEqual "k3" Nothing (parse "xprv9s21ZrQH143K24Mfq5zL5MhWK9hUhhGbd45hLXo2Pq2oqzMMo63oStZzFGpWnsj83BHtEy5Zt8CcDr1UiRXuWCmTQLxEK9vbz5gPstX92JQ") 207 H.assertEqual "k4" Nothing (parse "xpub661MyMwAqRbcEYS8w7XLSVeEsBXy79zSzH1J8vCdxAZningWLdN3zgtU6N8ZMMXctdiCjxTNq964yKkwrkBJJwpzZS4HS2fxvyYUA4q2Xe4") 208 H.assertEqual "k5" Nothing (parse "xprv9s21ZrQH143K24Mfq5zL5MhWK9hUhhGbd45hLXo2Pq2oqzMMo63oStZzFAzHGBP2UuGCqWLTAPLcMtD9y5gkZ6Eq3Rjuahrv17fEQ3Qen6J") 209 H.assertEqual "k6" Nothing (parse "xprv9s2SPatNQ9Vc6GTbVMFPFo7jsaZySyzk7L8n2uqKXJen3KUmvQNTuLh3fhZMBoG3G4ZW1N2kZuHEPY53qmbZzCHshoQnNf4GvELZfqTUrcv") 210 H.assertEqual "k7" Nothing (parse "xpub661no6RGEX3uJkY4bNnPcw4URcQTrSibUZ4NqJEw5eBkv7ovTwgiT91XX27VbEXGENhYRCf7hyEbWrR3FewATdCEebj6znwMfQkhRYHRLpJ") 211 H.assertEqual "k8" Nothing (parse "xprv9s21ZrQH4r4TsiLvyLXqM9P7k1K3EYhA1kkD6xuquB5i39AU8KF42acDyL3qsDbU9NmZn6MsGSUYZEsuoePmjzsB3eFKSUEh3Gu1N3cqVUN") 212 H.assertEqual "k9" Nothing (parse "xpub661MyMwAuDcm6CRQ5N4qiHKrJ39Xe1R1NyfouMKTTWcguwVcfrZJaNvhpebzGerh7gucBvzEQWRugZDuDXjNDRmXzSZe4c7mnTK97pTvGS8") 213 H.assertEqual "k10" Nothing (parse "DMwo58pR1QLEFihHiXPVykYB6fJmsTeHvyTp7hRThAtCX8CvYzgPcn8XnmdfHGMQzT7ayAmfo4z3gY5KfbrZWZ6St24UVf2Qgo6oujFktLHdHY4") 214 H.assertEqual "k11" Nothing (parse "DMwo58pR1QLEFihHiXPVykYB6fJmsTeHvyTp7hRThAtCX8CvYzgPcn8XnmdfHPmHJiEDXkTiJTVV9rHEBUem2mwVbbNfvT2MTcAqj3nesx8uBf9") 215 H.assertEqual "k12" Nothing (parse "xprv9s21ZrQH143K24Mfq5zL5MhWK9hUhhGbd45hLXo2Pq2oqzMMo63oStZzF93Y5wvzdUayhgkkFoicQZcP3y52uPPxFnfoLZB21Teqt1VvEHx") 216 H.assertEqual "k13" Nothing (parse "xprv9s21ZrQH143K24Mfq5zL5MhWK9hUhhGbd45hLXo2Pq2oqzMMo63oStZzFAzHGBP2UuGCqWLTAPLcMtD5SDKr24z3aiUvKr9bJpdrcLg1y3G") 217 H.assertEqual "k14" Nothing (parse "xpub661MyMwAqRbcEYS8w7XLSVeEsBXy79zSzH1J8vCdxAZningWLdN3zgtU6Q5JXayek4PRsn35jii4veMimro1xefsM58PgBMrvdYre8QyULY") 218 H.assertEqual "k15" Nothing (parse "xprv9s21ZrQH143K3QTDL4LXw2F7HEK3wJUD2nW2nRk4stbPy6cq3jPPqjiChkVvvNKmPGJxWUtg6LnF5kejMRNNU3TGtRBeJgk33yuGBxrMPHL") 219 220 -- wNAF variants -------------------------------------------------------------- 221 222 vector_1_wnaf :: TestTree 223 vector_1_wnaf = H.testCase "BIP32 vector 1 (wNAF)" $ do 224 let Just _m = master seed_1 225 H.assertEqual "M" xpub_1_m (xpub _m) 226 H.assertEqual "m" xprv_1_m (xprv_partial _m) 227 let Just _m_0' = derive_child_priv' ctx _m 0x80000000 228 H.assertEqual "M/0'" xpub_1_m_0' (xpub _m_0') 229 H.assertEqual "m/0'" xprv_1_m_0' (xprv_partial _m_0') 230 H.assertEqual "M/0', path" xpub_1_m_0' 231 (xpub (derive_partial' ctx _m "m/0'")) 232 H.assertEqual "m/0', path" xprv_1_m_0' 233 (xprv_partial (derive_partial' ctx _m "m/0'")) 234 let Just _m_0'_1 = derive_child_priv' ctx _m_0' 1 235 H.assertEqual "M/0'/1" xpub_1_m_0'_1 (xpub _m_0'_1) 236 H.assertEqual "m/0'/1" xprv_1_m_0'_1 (xprv_partial _m_0'_1) 237 H.assertEqual "M/0'/1" xpub_1_m_0'_1 238 (xpub (derive_partial' ctx _m "m/0'/1")) 239 H.assertEqual "m/0'/1" xprv_1_m_0'_1 240 (xprv_partial (derive_partial' ctx _m "m/0'/1")) 241 let Just _m_0'_1_2' = derive_child_priv' ctx _m_0'_1 (0x80000000 + 2) 242 H.assertEqual "M/0'/1/2'" xpub_1_m_0'_1_2' (xpub _m_0'_1_2') 243 H.assertEqual "m/0'/1/2'" xprv_1_m_0'_1_2' (xprv_partial _m_0'_1_2') 244 H.assertEqual "M/0'/1/2'" xpub_1_m_0'_1_2' 245 (xpub (derive_partial' ctx _m "m/0'/1/2'")) 246 H.assertEqual "m/0'/1/2'" xprv_1_m_0'_1_2' 247 (xprv_partial (derive_partial' ctx _m "m/0'/1/2'")) 248 let Just _m_0'_1_2'_2 = derive_child_priv' ctx _m_0'_1_2' 2 249 H.assertEqual "M/0'/1/2'/2" xpub_1_m_0'_1_2'_2 (xpub _m_0'_1_2'_2) 250 H.assertEqual "m/0'/1/2'/2" xprv_1_m_0'_1_2'_2 (xprv_partial _m_0'_1_2'_2) 251 H.assertEqual "M/0'/1/2'/2" xpub_1_m_0'_1_2'_2 252 (xpub (derive_partial' ctx _m "m/0'/1/2'/2")) 253 H.assertEqual "m/0'/1/2'/2" xprv_1_m_0'_1_2'_2 254 (xprv_partial (derive_partial' ctx _m "m/0'/1/2'/2")) 255 let Just _m_0'_1_2'_2_1000000000 = derive_child_priv' ctx _m_0'_1_2'_2 1000000000 256 H.assertEqual "M/0'/1/2'/2/1000000000" xpub_1_m_0'_1_2'_2_1000000000 257 (xpub _m_0'_1_2'_2_1000000000) 258 H.assertEqual "m/0'/1/2'/2/1000000000" xprv_1_m_0'_1_2'_2_1000000000 259 (xprv_partial _m_0'_1_2'_2_1000000000) 260 H.assertEqual "M/0'/1/2'/2/1000000000" xpub_1_m_0'_1_2'_2_1000000000 261 (xpub (derive_partial' ctx _m "m/0'/1/2'/2/1000000000")) 262 H.assertEqual "m/0'/1/2'/2/1000000000" xprv_1_m_0'_1_2'_2_1000000000 263 (xprv_partial (derive_partial' ctx _m "m/0'/1/2'/2/1000000000")) 264 265 vector_2_wnaf :: TestTree 266 vector_2_wnaf = H.testCase "BIP32 vector 2 (wNAF)" $ do 267 let Just mas = master seed_2 268 _m = derive_partial' ctx mas "m" 269 H.assertEqual "M" 270 "xpub661MyMwAqRbcFW31YEwpkMuc5THy2PSt5bDMsktWQcFF8syAmRUapSCGu8ED9W6oDMSgv6Zz8idoc4a6mr8BDzTJY47LJhkJ8UB7WEGuduB" 271 (xpub _m) 272 H.assertEqual "m" 273 "xprv9s21ZrQH143K31xYSDQpPDxsXRTUcvj2iNHm5NUtrGiGG5e2DtALGdso3pGz6ssrdK4PFmM8NSpSBHNqPqm55Qn3LqFtT2emdEXVYsCzC2U" 274 (xprv_partial _m) 275 let _m_0 = derive_partial' ctx mas "m/0" 276 H.assertEqual "M/0" 277 "xpub69H7F5d8KSRgmmdJg2KhpAK8SR3DjMwAdkxj3ZuxV27CprR9LgpeyGmXUbC6wb7ERfvrnKZjXoUmmDznezpbZb7ap6r1D3tgFxHmwMkQTPH" 278 (xpub _m_0) 279 H.assertEqual "m/0" 280 "xprv9vHkqa6EV4sPZHYqZznhT2NPtPCjKuDKGY38FBWLvgaDx45zo9WQRUT3dKYnjwih2yJD9mkrocEZXo1ex8G81dwSM1fwqWpWkeS3v86pgKt" 281 (xprv_partial _m_0) 282 let _m_0_2147483647' = derive_partial' ctx mas "m/0/2147483647'" 283 H.assertEqual "M/0/2147483647'" 284 "xpub6ASAVgeehLbnwdqV6UKMHVzgqAG8Gr6riv3Fxxpj8ksbH9ebxaEyBLZ85ySDhKiLDBrQSARLq1uNRts8RuJiHjaDMBU4Zn9h8LZNnBC5y4a" 285 (xpub _m_0_2147483647') 286 H.assertEqual "m/0/2147483647'" 287 "xprv9wSp6B7kry3Vj9m1zSnLvN3xH8RdsPP1Mh7fAaR7aRLcQMKTR2vidYEeEg2mUCTAwCd6vnxVrcjfy2kRgVsFawNzmjuHc2YmYRmagcEPdU9" 288 (xprv_partial _m_0_2147483647') 289 let _m_0_2147483647'_1 = derive_partial' ctx mas "m/0/2147483647'/1" 290 H.assertEqual "M/0/2147483647'/1" 291 "xpub6DF8uhdarytz3FWdA8TvFSvvAh8dP3283MY7p2V4SeE2wyWmG5mg5EwVvmdMVCQcoNJxGoWaU9DCWh89LojfZ537wTfunKau47EL2dhHKon" 292 (xpub _m_0_2147483647'_1) 293 H.assertEqual "m/0/2147483647'/1" 294 "xprv9zFnWC6h2cLgpmSA46vutJzBcfJ8yaJGg8cX1e5StJh45BBciYTRXSd25UEPVuesF9yog62tGAQtHjXajPPdbRCHuWS6T8XA2ECKADdw4Ef" 295 (xprv_partial _m_0_2147483647'_1) 296 let _m_0_2147483647'_1_2147483646' = 297 derive_partial' ctx mas "m/0/2147483647'/1/2147483646'" 298 H.assertEqual "M/0/2147483647'/1/2147483646'" 299 "xpub6ERApfZwUNrhLCkDtcHTcxd75RbzS1ed54G1LkBUHQVHQKqhMkhgbmJbZRkrgZw4koxb5JaHWkY4ALHY2grBGRjaDMzQLcgJvLJuZZvRcEL" 300 (xpub _m_0_2147483647'_1_2147483646') 301 H.assertEqual "m/0/2147483647'/1/2147483646'" 302 "xprvA1RpRA33e1JQ7ifknakTFpgNXPmW2YvmhqLQYMmrj4xJXXWYpDPS3xz7iAxn8L39njGVyuoseXzU6rcxFLJ8HFsTjSyQbLYnMpCqE2VbFWc" 303 (xprv_partial _m_0_2147483647'_1_2147483646') 304 let _m_0_2147483647'_1_2147483646'_2 = 305 derive_partial' ctx mas "m/0/2147483647'/1/2147483646'/2" 306 H.assertEqual "M/0/2147483647'/1/2147483646'/2" 307 "xpub6FnCn6nSzZAw5Tw7cgR9bi15UV96gLZhjDstkXXxvCLsUXBGXPdSnLFbdpq8p9HmGsApME5hQTZ3emM2rnY5agb9rXpVGyy3bdW6EEgAtqt" 308 (xpub _m_0_2147483647'_1_2147483646'_2) 309 H.assertEqual "m/0/2147483647'/1/2147483646'/2" 310 "xprvA2nrNbFZABcdryreWet9Ea4LvTJcGsqrMzxHx98MMrotbir7yrKCEXw7nadnHM8Dq38EGfSh6dqA9QWTyefMLEcBYJUuekgW4BYPJcr9E7j" 311 (xprv_partial _m_0_2147483647'_1_2147483646'_2) 312 313 vector_3_wnaf :: TestTree 314 vector_3_wnaf = H.testCase "BIP32 vector 3 (wNAF)" $ do 315 let Just mas = master seed_3 316 _m = derive_partial' ctx mas "m" 317 H.assertEqual "M" 318 "xpub661MyMwAqRbcEZVB4dScxMAdx6d4nFc9nvyvH3v4gJL378CSRZiYmhRoP7mBy6gSPSCYk6SzXPTf3ND1cZAceL7SfJ1Z3GC8vBgp2epUt13" 319 (xpub _m) 320 H.assertEqual "m" 321 "xprv9s21ZrQH143K25QhxbucbDDuQ4naNntJRi4KUfWT7xo4EKsHt2QJDu7KXp1A3u7Bi1j8ph3EGsZ9Xvz9dGuVrtHHs7pXeTzjuxBrCmmhgC6" 322 (xprv_partial _m) 323 let _m_0' = derive_partial' ctx mas "m/0'" 324 H.assertEqual "M/0'" 325 "xpub68NZiKmJWnxxS6aaHmn81bvJeTESw724CRDs6HbuccFQN9Ku14VQrADWgqbhhTHBaohPX4CjNLf9fq9MYo6oDaPPLPxSb7gwQN3ih19Zm4Y" 326 (xpub _m_0') 327 H.assertEqual "m/0'" 328 "xprv9uPDJpEQgRQfDcW7BkF7eTya6RPxXeJCqCJGHuCJ4GiRVLzkTXBAJMu2qaMWPrS7AANYqdq6vcBcBUdJCVVFceUvJFjaPdGZ2y9WACViL4L" 329 (xprv_partial _m_0') 330 331 vector_4_wnaf :: TestTree 332 vector_4_wnaf = H.testCase "BIP32 vector 4 (wNAF)" $ do 333 let Just mas = master seed_4 334 _m = derive_partial' ctx mas "m" 335 H.assertEqual "M" 336 "xpub661MyMwAqRbcGczjuMoRm6dXaLDEhW1u34gKenbeYqAix21mdUKJyuyu5F1rzYGVxyL6tmgBUAEPrEz92mBXjByMRiJdba9wpnN37RLLAXa" 337 (xpub _m) 338 H.assertEqual "m" 339 "xprv9s21ZrQH143K48vGoLGRPxgo2JNkJ3J3fqkirQC2zVdk5Dgd5w14S7fRDyHH4dWNHUgkvsvNDCkvAwcSHNAQwhwgNMgZhLtQC63zxwhQmRv" 340 (xprv_partial _m) 341 let _m_0' = derive_partial' ctx mas "m/0'" 342 H.assertEqual "M/0'" 343 "xpub69AUMk3qDBi3uW1sXgjCmVjJ2G6WQoYSnNHyzkmdCHEhSZ4tBok37xfFEqHd2AddP56Tqp4o56AePAgCjYdvpW2PU2jbUPFKsav5ut6Ch1m" 344 (xpub _m_0') 345 H.assertEqual "m/0'" 346 "xprv9vB7xEWwNp9kh1wQRfCCQMnZUEG21LpbR9NPCNN1dwhiZkjjeGRnaALmPXCX7SgjFTiCTT6bXes17boXtjq3xLpcDjzEuGLQBM5ohqkao9G" 347 (xprv_partial _m_0') 348 let _m_0'_1' = derive_partial' ctx mas "m/0'/1'" 349 H.assertEqual "M/0'/1'" 350 "xpub6BJA1jSqiukeaesWfxe6sNK9CCGaujFFSJLomWHprUL9DePQ4JDkM5d88n49sMGJxrhpjazuXYWdMf17C9T5XnxkopaeS7jGk1GyyVziaMt" 351 (xpub _m_0'_1') 352 H.assertEqual "m/0'/1'" 353 "xprv9xJocDuwtYCMNAo3Zw76WENQeAS6WGXQ55RCy7tDJ8oALr4FWkuVoHJeHVAcAqiZLE7Je3vZJHxspZdFHfnBEjHqU5hG1Jaj32dVoS6XLT1" 354 (xprv_partial _m_0'_1')