* Added currentValueOf function in `Ledger.Value` * Modified the StateMachine thread token Co-authored-by: David Eichmann <[email protected]>
threadTokenValue :: CurrencySymbol -> ValidatorHash -> Value
threadTokenValue currency (ValidatorHash vHash) = Value.singleton currency (TokenName vHash) 1
-- | Check exactly `n` thread tokens and no other tokens with the given
-- @[email protected] are in the given @[email protected]
{-# INLINABLE checkThreadTokenInner #-}
checkThreadTokenInner :: CurrencySymbol -> ValidatorHash -> Value -> Integer -> Bool
checkThreadTokenInner currency (ValidatorHash vHash) vl i =
Value.valueOf vl currency (TokenName vHash) == i
checkThreadTokenInner ::
-- | The currency symbol of the thread token.
CurrencySymbol ->
-- | The hash of the (state machine) validator script using this thread
-- token. This is used as the @[email protected] of the thread token.
ValidatorHash ->
-- | The value to check.
Value ->
-- | The expected number of thread tokens in the given value, `n`.
Integer ->
-- | True if and only if exactly `n` thread tokens (and no other tokens)
-- with the given @[email protected] are in the given @[email protected]
Bool
checkThreadTokenInner currency (ValidatorHash vHash) value n =
Value.currencyValueOf value currency == Value.singleton currency (TokenName vHash) n
{-# INLINABLE checkThreadToken #-}
checkThreadToken :: Maybe ThreadToken -> ValidatorHash -> Value -> Integer -> Bool
, noAdaValue
, adaOnlyValue
, isAdaOnlyValue
, currencyValueOf
) where
import Ledger.Ada qualified as Ada
import Plutus.V1.Ledger.Value as Export
import PlutusTx.Prelude (Bool, Eq (..), (-))
import PlutusTx.AssocMap qualified as Map
import PlutusTx.Prelude (Bool, Eq ((==)), Maybe (Just, Nothing), mempty, (-))
{-# INLINABLE noAdaValue #-}
-- | Value without any Ada.
{-# INLINABLE isAdaOnlyValue #-}
isAdaOnlyValue :: Value -> Bool
isAdaOnlyValue v = adaOnlyValue v == v
{-# INLINABLE currencyValueOf #-}
-- | Get the quantities of just the given 'CurrencySymbol' in the 'Value'. This
-- is useful when implementing minting policies as they are responsible for
-- checking all minted/burnt tokens of their own 'CurrencySymbol'.
currencyValueOf :: Value -> CurrencySymbol -> Value
currencyValueOf (Value m) c = case Map.lookup c m of
Nothing -> mempty
Just t -> Value (Map.singleton c t)
Ada: Lovelace: 100000000
==== Slot #1, Tx #0 ====
TxId: 411a7fdd3b09e06b400565f672734c320610bde421aa726b6c59518ff79501bc
TxId: 554791af2ac99e9cc552ca9ba54986fb7a1b54ca0576859d2311b143d07d097c
Fee: Ada: Lovelace: 178173
Mint: -
Inputs:
Outputs:
---- Output 0 ----
Destination: Script: b5a7dcffb6a357dfdf4230be9537a035ce738c2cf35e398cbc1e2921
Destination: Script: dc457d55084bd23618630162337ac43b48ac340b96052d67061f8f36
Value:
Ada: Lovelace: 8000000
Value:
Ada: Lovelace: 100000000
Script: b5a7dcffb6a357dfdf4230be9537a035ce738c2cf35e398cbc1e2921
Script: dc457d55084bd23618630162337ac43b48ac340b96052d67061f8f36
Value:
Ada: Lovelace: 8000000
\ No newline at end of file
tracing the un-hashed bytes of the script integrity
SCP-4880 GetTransaction Query
* Moved the JSON serialization of the types of the UtxoIndexer in `marconi-chain-index` instead of `marconi-mamba` * Updated README of `marconi-mamba` Co-authored-by: koslambrou <[email protected]>
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
3993: PLT-106: Add encoder and decoder for `LedgerState` r=zliu41 a=zliu41 One use case is for `foldBlocks` to checkpoint the ledger state to avoid having to start from Genisys. cc `@JaredCorduan` Co-authored-by: Ziyang Liu <[email protected]>
