Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Attack.AddToken

Description

This module provides two automated attacks to mint and give extra tokens to a certain target.

Synopsis

addTokenAttack :: (MonadTweak m, IsTxSkelOutAllowedOwner o) => (VScript -> [(TokenName, Integer)]) -> o -> m Value
data AddTokenLbl = AddTokenLbl
dupTokenAttack :: (MonadTweak m, IsTxSkelOutAllowedOwner o) => (VScript -> TokenName -> Integer -> Integer) -> o -> m Value
data DupTokenLbl = DupTokenLbl

Documentation

addTokenAttack Source #

Arguments

:: (MonadTweak m, IsTxSkelOutAllowedOwner o)
=> (VScript -> [(TokenName, Integer)])	For each policy that occurs in some `Mint` constraint, return a list of token names together with how many tokens with that name should be minted.
-> o	The attacker, who receives the extra tokens.
-> m Value

This attack adds extra tokens of any kind for minting policies already present in the minted value. The additional minted value is redirected to a certain owner in a dedicated output.

This attack adds an AddTokenLbl label.

data AddTokenLbl Source #

A label that is added to a TxSkel that has successfully been modified by addTokenAttack

Constructors

AddTokenLbl

Instances

Instances details

Show AddTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods showsPrec :: Int -> AddTokenLbl -> ShowS # show :: AddTokenLbl -> String # showList :: [AddTokenLbl] -> ShowS #
PrettyCooked AddTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods prettyCookedOpt :: PrettyCookedOpts -> AddTokenLbl -> DocCooked Source # prettyCooked :: AddTokenLbl -> DocCooked Source #
Eq AddTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods (==) :: AddTokenLbl -> AddTokenLbl -> Bool # (/=) :: AddTokenLbl -> AddTokenLbl -> Bool #
Ord AddTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods compare :: AddTokenLbl -> AddTokenLbl -> Ordering # (<) :: AddTokenLbl -> AddTokenLbl -> Bool # (<=) :: AddTokenLbl -> AddTokenLbl -> Bool # (>) :: AddTokenLbl -> AddTokenLbl -> Bool # (>=) :: AddTokenLbl -> AddTokenLbl -> Bool # max :: AddTokenLbl -> AddTokenLbl -> AddTokenLbl # min :: AddTokenLbl -> AddTokenLbl -> AddTokenLbl #

dupTokenAttack Source #

Arguments

:: (MonadTweak m, IsTxSkelOutAllowedOwner o)
=> (VScript -> TokenName -> Integer -> Integer)	A function describing how the amount of tokens specified by a `Mint` constraint should be changed, depending on the asset class and the amount specified by the constraint. The given function `f` should probably satisfy `f ac i > i` for all `ac` and `i`, i.e. it should increase the minted amount. If it does not, the tweak will still succeed but this might result in negative portions in the value paid to the attacker.
-> o	The target of the extra tokens. Any additional tokens that are minted by the modified transaction but were not minted by the original transaction are paid to this target.
-> m Value

This attack is similar to addTokenAttack with the exception that it only tampers with token names already present.

This attack adds an DupTokenLbl label

data DupTokenLbl Source #

A label that is added to a TxSkel that has successfully been modified by the dupTokenAttack

Constructors

DupTokenLbl

Instances

Instances details

Show DupTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods showsPrec :: Int -> DupTokenLbl -> ShowS # show :: DupTokenLbl -> String # showList :: [DupTokenLbl] -> ShowS #
PrettyCooked DupTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods prettyCookedOpt :: PrettyCookedOpts -> DupTokenLbl -> DocCooked Source # prettyCooked :: DupTokenLbl -> DocCooked Source #
Eq DupTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods (==) :: DupTokenLbl -> DupTokenLbl -> Bool # (/=) :: DupTokenLbl -> DupTokenLbl -> Bool #
Ord DupTokenLbl Source #
Instance details Defined in Cooked.Attack.AddToken Methods compare :: DupTokenLbl -> DupTokenLbl -> Ordering # (<) :: DupTokenLbl -> DupTokenLbl -> Bool # (<=) :: DupTokenLbl -> DupTokenLbl -> Bool # (>) :: DupTokenLbl -> DupTokenLbl -> Bool # (>=) :: DupTokenLbl -> DupTokenLbl -> Bool # max :: DupTokenLbl -> DupTokenLbl -> DupTokenLbl # min :: DupTokenLbl -> DupTokenLbl -> DupTokenLbl #