This is for the purpose of profiling the script's execution using Plutus' `uplc evaluate` program but it does not work as expected right now. Still troubleshooting the issue w/ Plutus team.
{-# LANGUAGE TemplateHaskell #-}
module Main where
import Hydra.Prelude
import Cardano.Api (ScriptDataJsonSchema (ScriptDataJsonDetailedSchema), scriptDataToJson, serialiseToTextEnvelope)
import Cardano.Api.Shelley (fromPlutusData)
import qualified Data.Aeson as Aeson
import qualified Data.ByteString as BS
import qualified Data.ByteString.Lazy as BL
import Data.Text (pack)
import Data.Text.Prettyprint.Doc.Extras (pretty)
import Ledger (Datum (..), datumHash)
import Ledger.Scripts (Script, toCardanoApiScript)
import Ledger.Value
import Plutus.V1.Ledger.Api (Data, dataToBuiltinData, toData)
import PlutusTx (getPlc)
import qualified Plutus.MerkleTree as MT
import Plutus.V1.Ledger.Api (BuiltinByteString, Data, dataToBuiltinData, toBuiltin, toData)
import PlutusTx (compile, getPlc)
import qualified PlutusTx
import PlutusTx.Code (CompiledCode)
import Prettyprinter (defaultLayoutOptions, layoutPretty)
import Prettyprinter.Render.Text (renderStrict)
import Test.QuickCheck (vectorOf)
-- | Serialise Hydra scripts to files for submission through cardano-cli.
-- This small utility is useful to manually construct transactions payload for Hydra on-chain
putTextLn "Datum hashes:"
forM_ datums $ \(aDatum, datumName) ->
putTextLn $ toText $ datumName <> ": " <> show (datumHash $ Datum $ dataToBuiltinData $ aDatum)
putTextLn $ toText $ datumName <> ": " <> show (datumHash $ Datum $ dataToBuiltinData aDatum)
where
writeScripts :: [(Script, String)] -> IO ()
writeScripts plutus =
[ (Compiled $ Head.compiledValidator policyId, "headScript")
, (Compiled Initial.compiledValidator, "initialScript")
, (Compiled Commit.compiledValidator, "commitScript")
, (Compiled appliedMTBuilderScript, "hashScript")
]
appliedMTBuilderScript =
$$( PlutusTx.compile
[||
MT.fromList
||]
)
`PlutusTx.applyCode` PlutusTx.liftCode utxos
utxos = generateWith genFakeUtxo 12
datums =
[ (headDatum, "headDatum")
, (abortDatum, "abortDatum")
headRedeemer = toData Head.Abort
genFakeUtxo :: Gen [BuiltinByteString]
genFakeUtxo = vectorOf 20 (toBuiltin . BS.pack <$> vectorOf 60 arbitrary)
data Compiled = forall a. Compiled {compiledCode :: CompiledCode a}
, optparse-applicative
, plutus-ledger
, plutus-ledger-api
, plutus-merkle-tree
, plutus-tx
, plutus-tx-plugin
, prettyprinter
, QuickCheck
, serialise
, text
![iohk-bors[bot]](https://avatars.githubusercontent.com/in/17473?v=4&s=80)
3852: cardano-tracer: init RTView r=deepfire a=denisshevchenko This is pre-MVP for RTView. 3880: Old peers tracing was erroneously called in new tracing r=deepfire a=jutaro /nix/store/qaplqccmisqy8n7ai65nssafzkxyyc7p-cabal-install-exe-cabal-3.6.2.0/bin/cabal --project-file=/home/deepfire/cardano-node/.nix-shell-cabal.project run exe:cardano-node -- +RTS -sghc-rts-report.txt -RTS run --config config.json --database-path run/current/node-0/db-testnet --topology topology.json --host-addr 127.0.0.1 --port 30000 --socket-path node.socket +RTS -N2 -I0 -A16m -qg -qb --disable-delayed-os-memory-return -RTS cardano-node: ExceptionInLinkedThread (ThreadId 11) The name ""peersFromNodeKernel"" is already taken by a metric. CallStack (from HasCallStack): error, called at ./System/Metrics.hs:214:5 in ekg-core-0.1.1.7-FjoslY1tzknIAl90c73kOZ:System.Metrics 3882: Fix datum in tx and ref scripts r=Jimbo4350 a=ch1bo (Couldn't reopen https://github.com/input-output-hk/cardano-node/pull/3881, so created this one) :snowflake: Add a roundtrip property `TxBodyContent -> TxBody -> TxBodyContent` This helped in fixing the :bug: and uncover the two additional gaps in the code. I'm not 100% happy with the current implementation of the property though! I needed to accept two exceptions to the general `===`: 1. `SimpleScriptV1` reference scripts may become `SimpleScriptV2` 2. A `TxOutDatumHash` + a matching `ScriptData` may become a `TxOutDatumTx` :snowflake: Resolve datum hash + matching datum in transaction to `TxOutDatumInTx`, fixes #3866 :snowflake: Add missing script languages to `scriptLanguageSupportedInEra` for `BabbageEra` :snowflake: Allow scripts in any language as refeference scripts Co-authored-by: Denis Shevchenko <[email protected]> Co-authored-by: Kosyrev Serge <[email protected]> Co-authored-by: Yupanqui <[email protected]> Co-authored-by: Sebastian Nagel <[email protected]>
- you're no exception, patroni!
