-
-
Save discosultan/c03a1ea29d8b3bec8b2825c8fd879afa to your computer and use it in GitHub Desktop.
A Plutus validator script that always succeeds.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "txFeePerByte": 44, | |
| "minUTxOValue": null, | |
| "decentralization": 0, | |
| "utxoCostPerWord": 34482, | |
| "stakePoolDeposit": 500000000, | |
| "poolRetireMaxEpoch": 18, | |
| "extraPraosEntropy": null, | |
| "collateralPercentage": 150, | |
| "stakePoolTargetNum": 500, | |
| "maxBlockBodySize": 73728, | |
| "minPoolCost": 340000000, | |
| "maxTxSize": 16384, | |
| "treasuryCut": 0.2, | |
| "maxBlockExecutionUnits": { | |
| "memory": 50000000, | |
| "steps": 40000000000 | |
| }, | |
| "maxCollateralInputs": 3, | |
| "maxValueSize": 5000, | |
| "maxBlockHeaderSize": 1100, | |
| "maxTxExecutionUnits": { | |
| "memory": 12500000, | |
| "steps": 10000000000 | |
| }, | |
| "costModels": { | |
| "PlutusScriptV1": { | |
| "cekConstCost-exBudgetMemory": 100, | |
| "unBData-cpu-arguments": 150000, | |
| "divideInteger-memory-arguments-minimum": 1, | |
| "nullList-cpu-arguments": 150000, | |
| "cekDelayCost-exBudgetMemory": 100, | |
| "appendByteString-cpu-arguments-slope": 621, | |
| "sha2_256-memory-arguments": 4, | |
| "multiplyInteger-cpu-arguments-intercept": 61516, | |
| "iData-cpu-arguments": 150000, | |
| "equalsString-cpu-arguments-intercept": 150000, | |
| "trace-cpu-arguments": 150000, | |
| "lessThanEqualsByteString-cpu-arguments-intercept": 103599, | |
| "encodeUtf8-cpu-arguments-slope": 1000, | |
| "equalsString-cpu-arguments-constant": 1000, | |
| "blake2b-cpu-arguments-slope": 29175, | |
| "consByteString-memory-arguments-intercept": 0, | |
| "headList-cpu-arguments": 150000, | |
| "listData-cpu-arguments": 150000, | |
| "divideInteger-cpu-arguments-model-arguments-slope": 118, | |
| "divideInteger-memory-arguments-slope": 1, | |
| "bData-cpu-arguments": 150000, | |
| "chooseData-memory-arguments": 32, | |
| "cekBuiltinCost-exBudgetCPU": 29773, | |
| "mkNilData-memory-arguments": 32, | |
| "equalsInteger-cpu-arguments-intercept": 136542, | |
| "lengthOfByteString-cpu-arguments": 150000, | |
| "subtractInteger-cpu-arguments-slope": 0, | |
| "unIData-cpu-arguments": 150000, | |
| "sliceByteString-cpu-arguments-slope": 5000, | |
| "unMapData-cpu-arguments": 150000, | |
| "modInteger-cpu-arguments-model-arguments-slope": 118, | |
| "lessThanInteger-cpu-arguments-intercept": 179690, | |
| "appendString-memory-arguments-intercept": 0, | |
| "mkCons-cpu-arguments": 150000, | |
| "sha3_256-cpu-arguments-slope": 82363, | |
| "ifThenElse-cpu-arguments": 1, | |
| "mkNilPairData-cpu-arguments": 150000, | |
| "constrData-memory-arguments": 32, | |
| "lessThanEqualsInteger-cpu-arguments-intercept": 145276, | |
| "addInteger-memory-arguments-slope": 1, | |
| "chooseList-memory-arguments": 32, | |
| "equalsData-memory-arguments": 1, | |
| "decodeUtf8-cpu-arguments-intercept": 150000, | |
| "bData-memory-arguments": 32, | |
| "lessThanByteString-cpu-arguments-slope": 248, | |
| "listData-memory-arguments": 32, | |
| "consByteString-cpu-arguments-intercept": 150000, | |
| "headList-memory-arguments": 32, | |
| "subtractInteger-memory-arguments-slope": 1, | |
| "appendByteString-memory-arguments-intercept": 0, | |
| "unIData-memory-arguments": 32, | |
| "remainderInteger-memory-arguments-minimum": 1, | |
| "lengthOfByteString-memory-arguments": 4, | |
| "encodeUtf8-memory-arguments-intercept": 0, | |
| "cekStartupCost-exBudgetCPU": 100, | |
| "remainderInteger-memory-arguments-slope": 1, | |
| "multiplyInteger-memory-arguments-intercept": 0, | |
| "cekForceCost-exBudgetCPU": 29773, | |
| "unListData-memory-arguments": 32, | |
| "sha2_256-cpu-arguments-slope": 29175, | |
| "indexByteString-memory-arguments": 1, | |
| "equalsInteger-memory-arguments": 1, | |
| "remainderInteger-cpu-arguments-model-arguments-slope": 118, | |
| "cekVarCost-exBudgetCPU": 29773, | |
| "lessThanEqualsInteger-cpu-arguments-slope": 1366, | |
| "addInteger-memory-arguments-intercept": 1, | |
| "sndPair-cpu-arguments": 150000, | |
| "lessThanInteger-memory-arguments": 1, | |
| "cekLamCost-exBudgetCPU": 29773, | |
| "chooseUnit-cpu-arguments": 150000, | |
| "decodeUtf8-cpu-arguments-slope": 1000, | |
| "fstPair-cpu-arguments": 150000, | |
| "quotientInteger-memory-arguments-minimum": 1, | |
| "lessThanEqualsInteger-memory-arguments": 1, | |
| "chooseUnit-memory-arguments": 32, | |
| "fstPair-memory-arguments": 32, | |
| "quotientInteger-cpu-arguments-constant": 148000, | |
| "mapData-cpu-arguments": 150000, | |
| "unConstrData-cpu-arguments": 150000, | |
| "mkPairData-cpu-arguments": 150000, | |
| "sndPair-memory-arguments": 32, | |
| "decodeUtf8-memory-arguments-slope": 8, | |
| "equalsData-cpu-arguments-intercept": 150000, | |
| "addInteger-cpu-arguments-intercept": 197209, | |
| "modInteger-memory-arguments-intercept": 0, | |
| "cekStartupCost-exBudgetMemory": 100, | |
| "divideInteger-cpu-arguments-model-arguments-intercept": 425507, | |
| "divideInteger-memory-arguments-intercept": 0, | |
| "cekVarCost-exBudgetMemory": 100, | |
| "consByteString-memory-arguments-slope": 1, | |
| "cekForceCost-exBudgetMemory": 100, | |
| "unListData-cpu-arguments": 150000, | |
| "subtractInteger-cpu-arguments-intercept": 197209, | |
| "indexByteString-cpu-arguments": 150000, | |
| "equalsInteger-cpu-arguments-slope": 1326, | |
| "lessThanByteString-memory-arguments": 1, | |
| "blake2b-cpu-arguments-intercept": 2477736, | |
| "encodeUtf8-cpu-arguments-intercept": 150000, | |
| "multiplyInteger-cpu-arguments-slope": 11218, | |
| "tailList-cpu-arguments": 150000, | |
| "appendByteString-cpu-arguments-intercept": 396231, | |
| "equalsString-cpu-arguments-slope": 1000, | |
| "lessThanEqualsByteString-cpu-arguments-slope": 248, | |
| "remainderInteger-cpu-arguments-constant": 148000, | |
| "chooseList-cpu-arguments": 150000, | |
| "equalsByteString-memory-arguments": 1, | |
| "constrData-cpu-arguments": 150000, | |
| "cekApplyCost-exBudgetCPU": 29773, | |
| "equalsData-cpu-arguments-slope": 10000, | |
| "decodeUtf8-memory-arguments-intercept": 0, | |
| "modInteger-memory-arguments-slope": 1, | |
| "addInteger-cpu-arguments-slope": 0, | |
| "appendString-cpu-arguments-intercept": 150000, | |
| "quotientInteger-cpu-arguments-model-arguments-slope": 118, | |
| "unMapData-memory-arguments": 32, | |
| "cekApplyCost-exBudgetMemory": 100, | |
| "quotientInteger-memory-arguments-slope": 1, | |
| "mkNilPairData-memory-arguments": 32, | |
| "ifThenElse-memory-arguments": 1, | |
| "equalsByteString-cpu-arguments-slope": 247, | |
| "sliceByteString-memory-arguments-slope": 1, | |
| "sha3_256-memory-arguments": 4, | |
| "mkCons-memory-arguments": 32, | |
| "verifySignature-cpu-arguments-intercept": 3345831, | |
| "cekBuiltinCost-exBudgetMemory": 100, | |
| "remainderInteger-memory-arguments-intercept": 0, | |
| "lessThanEqualsByteString-memory-arguments": 1, | |
| "mkNilData-cpu-arguments": 150000, | |
| "equalsString-memory-arguments": 1, | |
| "chooseData-cpu-arguments": 150000, | |
| "remainderInteger-cpu-arguments-model-arguments-intercept": 425507, | |
| "tailList-memory-arguments": 32, | |
| "sha2_256-cpu-arguments-intercept": 2477736, | |
| "multiplyInteger-memory-arguments-slope": 1, | |
| "iData-memory-arguments": 32, | |
| "divideInteger-cpu-arguments-constant": 148000, | |
| "cekDelayCost-exBudgetCPU": 29773, | |
| "encodeUtf8-memory-arguments-slope": 8, | |
| "subtractInteger-memory-arguments-intercept": 1, | |
| "nullList-memory-arguments": 32, | |
| "lessThanByteString-cpu-arguments-intercept": 103599, | |
| "appendByteString-memory-arguments-slope": 1, | |
| "blake2b-memory-arguments": 4, | |
| "unBData-memory-arguments": 32, | |
| "cekConstCost-exBudgetCPU": 29773, | |
| "consByteString-cpu-arguments-slope": 1000, | |
| "trace-memory-arguments": 32, | |
| "quotientInteger-memory-arguments-intercept": 0, | |
| "mapData-memory-arguments": 32, | |
| "verifySignature-cpu-arguments-slope": 1, | |
| "quotientInteger-cpu-arguments-model-arguments-intercept": 425507, | |
| "modInteger-cpu-arguments-constant": 148000, | |
| "appendString-cpu-arguments-slope": 1000, | |
| "unConstrData-memory-arguments": 32, | |
| "mkPairData-memory-arguments": 32, | |
| "equalsByteString-cpu-arguments-constant": 150000, | |
| "equalsByteString-cpu-arguments-intercept": 112536, | |
| "sliceByteString-memory-arguments-intercept": 0, | |
| "lessThanInteger-cpu-arguments-slope": 497, | |
| "verifySignature-memory-arguments": 1, | |
| "cekLamCost-exBudgetMemory": 100, | |
| "sliceByteString-cpu-arguments-intercept": 150000, | |
| "modInteger-cpu-arguments-model-arguments-intercept": 425507, | |
| "modInteger-memory-arguments-minimum": 1, | |
| "appendString-memory-arguments-slope": 1, | |
| "sha3_256-cpu-arguments-intercept": 0 | |
| } | |
| }, | |
| "protocolVersion": { | |
| "minor": 0, | |
| "major": 6 | |
| }, | |
| "txFeeFixed": 155381, | |
| "stakeAddressDeposit": 2000000, | |
| "monetaryExpansion": 3.0e-3, | |
| "poolPledgeInfluence": 0.3, | |
| "executionUnitPrices": { | |
| "priceSteps": 7.21e-5, | |
| "priceMemory": 5.77e-2 | |
| } | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE TypeApplications #-} | |
| {-# LANGUAGE TypeFamilies #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| module Success (script, scriptShortBs) where | |
| import Cardano.Api.Shelley (PlutusScript (..), PlutusScriptV1) | |
| import Codec.Serialise | |
| import qualified Data.ByteString.Lazy as LBS | |
| import qualified Data.ByteString.Short as SBS | |
| import qualified Ledger.Typed.Scripts as Scripts | |
| import qualified Ledger.Typed.Scripts.Validators as Plutus | |
| import Plutus.V1.Ledger.Contexts (ScriptContext) | |
| import qualified Plutus.V1.Ledger.Scripts as Plutus | |
| import qualified PlutusTx | |
| import PlutusTx.Prelude hiding (Semigroup (..), unless) | |
| {-# INLINEABLE mkValidator #-} | |
| mkValidator :: () -> () -> ScriptContext -> Bool | |
| mkValidator _ _ _ = True | |
| data Burn | |
| instance Scripts.ValidatorTypes Burn where | |
| type DatumType Burn = () | |
| type RedeemerType Burn = () | |
| typedValidator :: Scripts.TypedValidator Burn | |
| typedValidator = | |
| Plutus.mkTypedValidator @Burn | |
| $$(PlutusTx.compile [||mkValidator||]) | |
| $$(PlutusTx.compile [||wrap||]) | |
| where | |
| wrap = Scripts.wrapValidator @() @() | |
| validator :: Plutus.Validator | |
| validator = Scripts.validatorScript typedValidator | |
| scriptShortBs :: SBS.ShortByteString | |
| scriptShortBs = SBS.toShort . LBS.toStrict . serialise $ Plutus.unValidatorScript validator | |
| script :: PlutusScript PlutusScriptV1 | |
| script = PlutusScriptSerialised scriptShortBs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "type": "PlutusScriptV1", | |
| "description": "", | |
| "cborHex": "5909c25909bf01000033233223232332232333222323332223233333333222222223233322232333322223232332232333222323332223232332233223232333332222233223322332233223322332233222222323253353033333006300800530070043333573466e1cd55cea8012400046601664646464646464646464646666ae68cdc39aab9d500a480008cccccccccc064cd409c8c8c8cccd5cd19b8735573aa004900011980f981d1aba15002302c357426ae8940088d4170d4c174cd5ce2481035054310005e49926135573ca00226ea8004d5d0a80519a8138141aba150093335502e75ca05a6ae854020ccd540b9d728169aba1500733502704335742a00c66a04e66aa0a8098eb4d5d0a8029919191999ab9a3370e6aae754009200023350213232323333573466e1cd55cea80124000466a05266a084eb4d5d0a80118239aba135744a00446a0c06a60c266ae712401035054310006249926135573ca00226ea8004d5d0a8011919191999ab9a3370e6aae7540092000233502733504275a6ae854008c11cd5d09aba250022350603530613357389201035054310006249926135573ca00226ea8004d5d09aba2500223505c35305d3357389201035054310005e49926135573ca00226ea8004d5d0a80219a813bae35742a00666a04e66aa0a8eb88004d5d0a801181c9aba135744a00446a0b06a60b266ae71241035054310005a49926135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135573ca00226ea8004d5d0a8011919191999ab9a3370ea00290031180f181d9aba135573ca00646666ae68cdc3a801240084603a608a6ae84d55cf280211999ab9a3370ea00690011180e98181aba135573ca00a46666ae68cdc3a80224000460406eb8d5d09aab9e50062350533530543357389201035054310005549926499264984d55cea80089baa001357426ae8940088d4130d4c134cd5ce249035054310004e49926104d13504b35304c3357389201035054350004d4984d55cf280089baa001504250422212330010030022001222222222212333333333300100b00a00900800700600500400300220012212330010030022001122123300100300212001122123300100300212001122123300100300212001212222300400521222230030052122223002005212222300100520011232230023758002640026aa06a446666aae7c004940388cd4034c010d5d080118019aba200203623232323333573466e1cd55cea801a4000466600e6464646666ae68cdc39aab9d5002480008cc034c0c4d5d0a80119a8098169aba135744a00446a0726a607466ae712401035054310003b49926135573ca00226ea8004d5d0a801999aa805bae500a35742a00466a01eeb8d5d09aba25002235035353036335738921035054310003749926135744a00226aae7940044dd50009110919980080200180110009109198008018011000899aa800bae75a224464460046eac004c8004d540bc88c8cccd55cf80112804919a80419aa81718031aab9d5002300535573ca00460086ae8800c0c44d5d08008891001091091198008020018900089119191999ab9a3370ea002900011a80418029aba135573ca00646666ae68cdc3a801240044a01046a0586a605a66ae712401035054310002e499264984d55cea80089baa001121223002003112200112001232323333573466e1cd55cea8012400046600c600e6ae854008dd69aba135744a00446a04c6a604e66ae71241035054310002849926135573ca00226ea80048848cc00400c00880048c8cccd5cd19b8735573aa002900011bae357426aae7940088d4088d4c08ccd5ce24810350543100024499261375400224464646666ae68cdc3a800a40084a00e46666ae68cdc3a8012400446a014600c6ae84d55cf280211999ab9a3370ea00690001280511a8129a981319ab9c490103505431000274992649926135573aa00226ea8004484888c00c0104488800844888004480048c8cccd5cd19b8750014800880188cccd5cd19b8750024800080188d4074d4c078cd5ce249035054310001f499264984d55ce9baa0011220021220012001232323232323333573466e1d4005200c200b23333573466e1d4009200a200d23333573466e1d400d200823300b375c6ae854014dd69aba135744a00a46666ae68cdc3a8022400c46601a6eb8d5d0a8039bae357426ae89401c8cccd5cd19b875005480108cc048c050d5d0a8049bae357426ae8940248cccd5cd19b875006480088c050c054d5d09aab9e500b23333573466e1d401d2000230133016357426aae7940308d4088d4c08ccd5ce2481035054310002449926499264992649926135573aa00826aae79400c4d55cf280109aab9e500113754002424444444600e01044244444446600c012010424444444600a010244444440082444444400644244444446600401201044244444446600201201040024646464646666ae68cdc3a800a400446660106eb4d5d0a8021bad35742a0066eb4d5d09aba2500323333573466e1d400920002300a300b357426aae7940188d404cd4c050cd5ce2490350543100015499264984d55cea80189aba25001135573ca00226ea80048488c00800c888488ccc00401401000c80048c8c8cccd5cd19b875001480088c018dd71aba135573ca00646666ae68cdc3a80124000460106eb8d5d09aab9e500423500d35300e3357389201035054310000f499264984d55cea80089baa001212230020032122300100320011122232323333573466e1cd55cea80124000466aa010600c6ae854008c014d5d09aba2500223500a35300b335738921035054310000c49926135573ca00226ea8004448848cc00400c00844800448cccd5cd19b8735573a6ea800520002005235003353004335738921035054310000549926126120012001112323001001223300330020020013322333222333222333333332222222233223333322222333222333322223322332233223332223322332233322233223322332233222220222212330010030022001222222222212333333333300100b00a0090080070060050040030022001221233001003002200122212333001004003002200111220021221223300100400312001112212330010030021120012212330010030022001121223002003112200112001122123300100300212001122123300100300212001122123300100300212001121222300300411222002112220011200112200212200120012122223004005212222300300521222230020052122223001005200122123300100300220012122222223007008221222222233006009008212222222300500812222222004122222220032212222222330020090082212222222330010090082001212230020032221223330010050040032001212230020032122300100320011200120011" | |
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # TESTNET | |
| # Construct a transaction. This will fail because the datum is not set. | |
| cardano-cli transaction build \ | |
| --alonzo-era \ | |
| --testnet-magic 1097911063 \ | |
| --tx-in 10668bed901733bb0977ec72d1abad481865b34ea1c18302caaaa1eafe5784d2#1 \ | |
| --tx-in-script-file Success.plutus \ | |
| --tx-in-redeemer-value 0 \ | |
| --tx-in-collateral a07c30abe3910173333b8e1c3ff9758e11afc17d6385b21910ad82ffe002564f#0 \ | |
| --change-address addr_test1qqr3rq08qum792z4nut6548wh88rj40epq4cxx4seq2a4sra8q9cfv00jsmgp86fneqm4fxex5vh2jrsc6f5gd7tnpxqpmra6d \ | |
| --protocol-params-file pparams.json \ | |
| --out-file tx.build | |
| # Query the payment and script addresses. | |
| cardano-cli query utxo --address addr_test1qqr3rq08qum792z4nut6548wh88rj40epq4cxx4seq2a4sra8q9cfv00jsmgp86fneqm4fxex5vh2jrsc6f5gd7tnpxqpmra6d --testnet-magic 1097911063 | |
| cardano-cli query utxo --address addr_test1wpsatq4f4zkq27f6fr5jt2us7klv7dsmwcv2wet50yxsfgqga8nl7 --testnet-magic 1097911063 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment