Skip to content

Commit

Permalink
deploy: 02fb4ec
Browse files Browse the repository at this point in the history
  • Loading branch information
KtorZ committed Oct 13, 2020
1 parent 604194f commit 6cd4b56
Show file tree
Hide file tree
Showing 48 changed files with 1,230 additions and 1,251 deletions.

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
Expand Up @@ -198,8 +198,8 @@
<span class="lineno"> 179 </span> DerivationPath 'AccountK =
<span class="lineno"> 180 </span> Index 'WholeDomain 'AccountK
<span class="lineno"> 181 </span> -- The address key is generated from the account key and address index.
<span class="lineno"> 182 </span> DerivationPath 'AddressK =
<span class="lineno"> 183 </span> (Index 'WholeDomain 'AccountK, Index 'WholeDomain 'AddressK)
<span class="lineno"> 182 </span> DerivationPath 'PaymentK =
<span class="lineno"> 183 </span> (Index 'WholeDomain 'AccountK, Index 'WholeDomain 'PaymentK)
<span class="lineno"> 184 </span>{-# DEPRECATED DerivationPath &quot;see 'Cardano.Address.Style.Icarus.Icarus'&quot; #-}
<span class="lineno"> 185 </span>
<span class="lineno"> 186 </span>--
Expand Down Expand Up @@ -294,8 +294,8 @@
<span class="lineno"> 275 </span>-- @since 1.0.0
<span class="lineno"> 276 </span>deriveAddressPrivateKey
<span class="lineno"> 277 </span> :: Byron 'AccountK XPrv
<span class="lineno"> 278 </span> -&gt; Index 'WholeDomain 'AddressK
<span class="lineno"> 279 </span> -&gt; Byron 'AddressK XPrv
<span class="lineno"> 278 </span> -&gt; Index 'WholeDomain 'PaymentK
<span class="lineno"> 279 </span> -&gt; Byron 'PaymentK XPrv
<span class="lineno"> 280 </span><span class="decl"><span class="istickedoff">deriveAddressPrivateKey acctK =</span>
<span class="lineno"> 281 </span><span class="spaces"> </span><span class="istickedoff">Internal.deriveAddressPrivateKey acctK ()</span></span>
<span class="lineno"> 282 </span>{-# DEPRECATED deriveAddressPrivateKey &quot;see 'Cardano.Address.Style.Icarus.Icarus'&quot; #-}
Expand Down Expand Up @@ -398,7 +398,7 @@
<span class="lineno"> 379 </span>-- @since 1.0.0
<span class="lineno"> 380 </span>paymentAddress
<span class="lineno"> 381 </span> :: NetworkDiscriminant Byron
<span class="lineno"> 382 </span> -&gt; Byron 'AddressK XPub
<span class="lineno"> 382 </span> -&gt; Byron 'PaymentK XPub
<span class="lineno"> 383 </span> -&gt; Address
<span class="lineno"> 384 </span><span class="decl"><span class="istickedoff">paymentAddress =</span>
<span class="lineno"> 385 </span><span class="spaces"> </span><span class="istickedoff">Internal.paymentAddress</span></span>
Expand Down Expand Up @@ -452,7 +452,7 @@
<span class="lineno"> 433 </span>-- _ :: Byron AccountK XPrv
<span class="lineno"> 434 </span>--
<span class="lineno"> 435 </span>-- &gt;&gt;&gt; liftXPrv rootPrv (minBound, minBound) prv
<span class="lineno"> 436 </span>-- _ :: Byron AddressK XPrv
<span class="lineno"> 436 </span>-- _ :: Byron PaymentK XPrv
<span class="lineno"> 437 </span>--
<span class="lineno"> 438 </span>-- @since 2.0.0
<span class="lineno"> 439 </span>liftXPrv
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -164,7 +164,7 @@
<span class="lineno"> 145 </span>-- @
<span class="lineno"> 146 </span>-- let rootPrivateKey = Icarus 'RootK XPrv
<span class="lineno"> 147 </span>-- let accountPubKey = Icarus 'AccountK XPub
<span class="lineno"> 148 </span>-- let addressPubKey = Icarus 'AddressK XPub
<span class="lineno"> 148 </span>-- let addressPubKey = Icarus 'PaymentK XPub
<span class="lineno"> 149 </span>-- @
<span class="lineno"> 150 </span>--
<span class="lineno"> 151 </span>-- @since 1.0.0
Expand Down Expand Up @@ -322,8 +322,8 @@
<span class="lineno"> 303 </span>deriveAddressPrivateKey
<span class="lineno"> 304 </span> :: Icarus 'AccountK XPrv
<span class="lineno"> 305 </span> -&gt; Role
<span class="lineno"> 306 </span> -&gt; Index 'Soft 'AddressK
<span class="lineno"> 307 </span> -&gt; Icarus 'AddressK XPrv
<span class="lineno"> 306 </span> -&gt; Index 'Soft 'PaymentK
<span class="lineno"> 307 </span> -&gt; Icarus 'PaymentK XPrv
<span class="lineno"> 308 </span><span class="decl"><span class="istickedoff">deriveAddressPrivateKey =</span>
<span class="lineno"> 309 </span><span class="spaces"> </span><span class="istickedoff">Internal.deriveAddressPrivateKey</span></span>
<span class="lineno"> 310 </span>
Expand All @@ -335,8 +335,8 @@
<span class="lineno"> 316 </span>deriveAddressPublicKey
<span class="lineno"> 317 </span> :: Icarus 'AccountK XPub
<span class="lineno"> 318 </span> -&gt; Role
<span class="lineno"> 319 </span> -&gt; Index 'Soft 'AddressK
<span class="lineno"> 320 </span> -&gt; Icarus 'AddressK XPub
<span class="lineno"> 319 </span> -&gt; Index 'Soft 'PaymentK
<span class="lineno"> 320 </span> -&gt; Icarus 'PaymentK XPub
<span class="lineno"> 321 </span><span class="decl"><span class="istickedoff">deriveAddressPublicKey =</span>
<span class="lineno"> 322 </span><span class="spaces"> </span><span class="istickedoff">Internal.deriveAddressPublicKey</span></span>
<span class="lineno"> 323 </span>
Expand Down Expand Up @@ -403,7 +403,7 @@
<span class="lineno"> 384 </span>-- @since 1.0.0
<span class="lineno"> 385 </span>paymentAddress
<span class="lineno"> 386 </span> :: NetworkDiscriminant Icarus
<span class="lineno"> 387 </span> -&gt; Icarus 'AddressK XPub
<span class="lineno"> 387 </span> -&gt; Icarus 'PaymentK XPub
<span class="lineno"> 388 </span> -&gt; Address
<span class="lineno"> 389 </span><span class="decl"><span class="istickedoff">paymentAddress =</span>
<span class="lineno"> 390 </span><span class="spaces"> </span><span class="istickedoff">Internal.paymentAddress</span></span>
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -51,7 +51,7 @@
<span class="lineno"> 32 </span> , deriveAccountPrivateKey
<span class="lineno"> 33 </span> , deriveAddressPrivateKey
<span class="lineno"> 34 </span> , deriveAddressPublicKey
<span class="lineno"> 35 </span> , deriveStakingPrivateKey
<span class="lineno"> 35 </span> , deriveDelegationPrivateKey
<span class="lineno"> 36 </span>
<span class="lineno"> 37 </span> -- * Addresses
<span class="lineno"> 38 </span> -- $addresses
Expand Down Expand Up @@ -161,7 +161,7 @@
<span class="lineno"> 142 </span>-- @
<span class="lineno"> 143 </span>-- let rootPrivateKey = Jormungandr 'RootK XPrv
<span class="lineno"> 144 </span>-- let accountPubKey = Jormungandr 'AccountK XPub
<span class="lineno"> 145 </span>-- let addressPubKey = Jormungandr 'AddressK XPub
<span class="lineno"> 145 </span>-- let addressPubKey = Jormungandr 'PaymentK XPub
<span class="lineno"> 146 </span>-- @
<span class="lineno"> 147 </span>--
<span class="lineno"> 148 </span>-- @since 2.0.0
Expand Down Expand Up @@ -223,7 +223,7 @@
<span class="lineno"> 204 </span>-- &gt; let addIx = toEnum 0x00000014
<span class="lineno"> 205 </span>-- &gt; let addrK = deriveAddressPrivateKey acctK UTxOExternal addIx
<span class="lineno"> 206 </span>--
<span class="lineno"> 207 </span>-- &gt; let stakeK = deriveStakingPrivateKey acctK
<span class="lineno"> 207 </span>-- &gt; let stakeK = deriveDelegationPrivateKey acctK
<span class="lineno"> 208 </span>
<span class="lineno"> 209 </span>instance Internal.GenMasterKey Jormungandr where
<span class="lineno"> 210 </span> type SecondFactor Jormungandr = ScrubbedBytes
Expand Down Expand Up @@ -323,8 +323,8 @@
<span class="lineno"> 304 </span>deriveAddressPrivateKey
<span class="lineno"> 305 </span> :: Jormungandr 'AccountK XPrv
<span class="lineno"> 306 </span> -&gt; Role
<span class="lineno"> 307 </span> -&gt; Index 'Soft 'AddressK
<span class="lineno"> 308 </span> -&gt; Jormungandr 'AddressK XPrv
<span class="lineno"> 307 </span> -&gt; Index 'Soft 'PaymentK
<span class="lineno"> 308 </span> -&gt; Jormungandr 'PaymentK XPrv
<span class="lineno"> 309 </span><span class="decl"><span class="istickedoff">deriveAddressPrivateKey =</span>
<span class="lineno"> 310 </span><span class="spaces"> </span><span class="istickedoff">Internal.deriveAddressPrivateKey</span></span>
<span class="lineno"> 311 </span>
Expand All @@ -336,26 +336,26 @@
<span class="lineno"> 317 </span>deriveAddressPublicKey
<span class="lineno"> 318 </span> :: Jormungandr 'AccountK XPub
<span class="lineno"> 319 </span> -&gt; Role
<span class="lineno"> 320 </span> -&gt; Index 'Soft 'AddressK
<span class="lineno"> 321 </span> -&gt; Jormungandr 'AddressK XPub
<span class="lineno"> 320 </span> -&gt; Index 'Soft 'PaymentK
<span class="lineno"> 321 </span> -&gt; Jormungandr 'PaymentK XPub
<span class="lineno"> 322 </span><span class="decl"><span class="istickedoff">deriveAddressPublicKey =</span>
<span class="lineno"> 323 </span><span class="spaces"> </span><span class="istickedoff">Internal.deriveAddressPublicKey</span></span>
<span class="lineno"> 324 </span>
<span class="lineno"> 325 </span>-- Re-export from 'Cardano.Address.Derivation' to have it documented specialized in Haddock
<span class="lineno"> 326 </span>--
<span class="lineno"> 327 </span>-- | Derive a staking key for a corresponding 'AccountK'. Note that wallet
<span class="lineno"> 328 </span>-- software are by convention only using one staking key per account, and always
<span class="lineno"> 327 </span>-- | Derive a delegation key for a corresponding 'AccountK'. Note that wallet
<span class="lineno"> 328 </span>-- software are by convention only using one delegation key per account, and always
<span class="lineno"> 329 </span>-- the first account (with index 0').
<span class="lineno"> 330 </span>--
<span class="lineno"> 331 </span>-- Deriving staking keys for something else than the initial account is not
<span class="lineno"> 331 </span>-- Deriving delegation keys for something else than the initial account is not
<span class="lineno"> 332 </span>-- recommended and can lead to incompatibility with existing wallet softwares
<span class="lineno"> 333 </span>-- (Daedalus, Yoroi, Adalite...).
<span class="lineno"> 334 </span>--
<span class="lineno"> 335 </span>-- @since 2.0.0
<span class="lineno"> 336 </span>deriveStakingPrivateKey
<span class="lineno"> 336 </span>deriveDelegationPrivateKey
<span class="lineno"> 337 </span> :: Jormungandr 'AccountK XPrv
<span class="lineno"> 338 </span> -&gt; Jormungandr 'StakingK XPrv
<span class="lineno"> 339 </span><span class="decl"><span class="istickedoff">deriveStakingPrivateKey accXPrv =</span>
<span class="lineno"> 338 </span> -&gt; Jormungandr 'DelegationK XPrv
<span class="lineno"> 339 </span><span class="decl"><span class="istickedoff">deriveDelegationPrivateKey accXPrv =</span>
<span class="lineno"> 340 </span><span class="spaces"> </span><span class="istickedoff">let (Jormungandr stakeXPrv) =</span>
<span class="lineno"> 341 </span><span class="spaces"> </span><span class="istickedoff">deriveAddressPrivateKey accXPrv Stake (minBound @(Index 'Soft _))</span>
<span class="lineno"> 342 </span><span class="spaces"> </span><span class="istickedoff">in Jormungandr stakeXPrv</span></span>
Expand All @@ -375,7 +375,7 @@
<span class="lineno"> 356 </span>-- === Generating a 'DelegationAddress'
<span class="lineno"> 357 </span>--
<span class="lineno"> 358 </span>-- &gt; import Cardano.Address ( DelegationAddress (..) )
<span class="lineno"> 359 </span>-- &gt; import Cardano.Address.Derivation ( StakingDerivation (..) )
<span class="lineno"> 359 </span>-- &gt; import Cardano.Address.Derivation ( delegationDerivation (..) )
<span class="lineno"> 360 </span>-- &gt;
<span class="lineno"> 361 </span>-- &gt; bech32 $ delegationAddress incentivizedTestnet (toXPub &lt;$&gt; addrK) (toXPub &lt;$&gt; stakeK)
<span class="lineno"> 362 </span>-- &gt; &quot;addr1qxpfffuj3zkp5g7ct6h4va89caxx9ayq2gvkyfvww48sdn7nudck0fzve4346yytz3wpwv9yhlxt7jwuc7ytwx2vfkyqmkc5xa&quot;
Expand All @@ -390,11 +390,11 @@
<span class="lineno"> 371 </span><span class="spaces"> </span><span class="istickedoff">expectedLength = 1 + publicKeySize</span></span>
<span class="lineno"> 372 </span>
<span class="lineno"> 373 </span>instance Internal.DelegationAddress Jormungandr where
<span class="lineno"> 374 </span> <span class="decl"><span class="istickedoff">delegationAddress discrimination paymentKey stakingKey = unsafeMkAddress $</span>
<span class="lineno"> 374 </span> <span class="decl"><span class="istickedoff">delegationAddress discrimination paymentKey delegationKey = unsafeMkAddress $</span>
<span class="lineno"> 375 </span><span class="spaces"> </span><span class="istickedoff">invariantSize expectedLength $ BL.toStrict $ runPut $ do</span>
<span class="lineno"> 376 </span><span class="spaces"> </span><span class="istickedoff">putWord8 (invariantNetworkTag 255 $ NetworkTag $ firstByte + 1)</span>
<span class="lineno"> 377 </span><span class="spaces"> </span><span class="istickedoff">putByteString . xpubPublicKey . getKey $ paymentKey</span>
<span class="lineno"> 378 </span><span class="spaces"> </span><span class="istickedoff">putByteString . xpubPublicKey . getKey $ stakingKey</span>
<span class="lineno"> 378 </span><span class="spaces"> </span><span class="istickedoff">putByteString . xpubPublicKey . getKey $ delegationKey</span>
<span class="lineno"> 379 </span><span class="spaces"> </span><span class="istickedoff">where</span>
<span class="lineno"> 380 </span><span class="spaces"> </span><span class="istickedoff">(NetworkTag firstByte) = networkTag @Jormungandr discrimination</span>
<span class="lineno"> 381 </span><span class="spaces"> </span><span class="istickedoff">expectedLength = 1 + 2*publicKeySize</span></span>
Expand Down Expand Up @@ -462,23 +462,23 @@
<span class="lineno"> 443 </span>-- @since 2.0.0
<span class="lineno"> 444 </span>paymentAddress
<span class="lineno"> 445 </span> :: NetworkDiscriminant Jormungandr
<span class="lineno"> 446 </span> -&gt; Jormungandr 'AddressK XPub
<span class="lineno"> 446 </span> -&gt; Jormungandr 'PaymentK XPub
<span class="lineno"> 447 </span> -&gt; Address
<span class="lineno"> 448 </span><span class="decl"><span class="istickedoff">paymentAddress =</span>
<span class="lineno"> 449 </span><span class="spaces"> </span><span class="istickedoff">Internal.paymentAddress</span></span>
<span class="lineno"> 450 </span>
<span class="lineno"> 451 </span>-- Re-export from 'Cardano.Address' to have it documented specialized in Haddock.
<span class="lineno"> 452 </span>--
<span class="lineno"> 453 </span>-- | Convert a public key and a staking key to a delegation 'Address' valid
<span class="lineno"> 453 </span>-- | Convert a public key and a delegation key to a delegation 'Address' valid
<span class="lineno"> 454 </span>-- for the given network discrimination. Funds sent to this address will be
<span class="lineno"> 455 </span>-- delegated according to the delegation settings attached to the delegation
<span class="lineno"> 456 </span>-- key.
<span class="lineno"> 457 </span>--
<span class="lineno"> 458 </span>-- @since 2.0.0
<span class="lineno"> 459 </span>delegationAddress
<span class="lineno"> 460 </span> :: NetworkDiscriminant Jormungandr
<span class="lineno"> 461 </span> -&gt; Jormungandr 'AddressK XPub
<span class="lineno"> 462 </span> -&gt; Jormungandr 'StakingK XPub
<span class="lineno"> 461 </span> -&gt; Jormungandr 'PaymentK XPub
<span class="lineno"> 462 </span> -&gt; Jormungandr 'DelegationK XPub
<span class="lineno"> 463 </span> -&gt; Address
<span class="lineno"> 464 </span><span class="decl"><span class="istickedoff">delegationAddress =</span>
<span class="lineno"> 465 </span><span class="spaces"> </span><span class="istickedoff">Internal.delegationAddress</span></span>
Expand Down

0 comments on commit 6cd4b56

Please sign in to comment.