All Questions
Tagged with plutustx smart-contract
7
questions
1
vote
0
answers
24
views
PlutusTx TxInfo Type Mismatch
I am building a PlutusTx V1 Smart Contract for NFT Royalty distribution. Part of that requires totaling up the amount of Lovelace sent to the contract from the most recent tx. I came up with the ...
2
votes
1
answer
89
views
How expressive & secure is the Plutarch eDSL?
The Plutarch eDSL tries to control how plutus core is generated to create a smaller and thus a more efficient validator script (their GitHub).
I am not an in depth user of this tool. Does its approach ...
2
votes
2
answers
108
views
can't understand which part of the code is not "PlutusTx"
I'm trying to write a very simple NFT minting policy myself and I can't get rid of the following error
Program error: GHC Core to PLC plugin: E043:Error: Reference to a name which is not a local, a ...
2
votes
1
answer
131
views
Understand purpose of tx-out-datum-hash in Lars' lobster NFT minting example
When the Alonzo era started on mainnet, Lars deployed a smart contract example, in which he minted a lobster NFT as part of a lobster naming challenge.
In the policy script used to mint the lobster ...
3
votes
1
answer
125
views
Canonical example of Smart Contract Verification?
Given that the chief benefit of Cardano Smart Contracts over Ethereum Smart Contracts is formal verification (and thus its implied validity, security, and robustness), is there a non-trivial example ...
3
votes
2
answers
90
views
plutus pioneer week01 src code explain
I'm a little confused about the following code(from EnglishAuction.hs):
auctionInstance :: Scripts.ScriptInstance Auctioning
auctionInstance = Scripts.validator @Auctioning
$$(PlutusTx.compile [|| ...
4
votes
1
answer
249
views
Writing basic validator scripts
I need someone to explain to me line by line. The code is from plutu tutorials. https://docs.cardano.org/projects/plutus/en/latest/plutus/tutorials/basic-validators.html
All the code in that page I ...