📄️ Overview
This conceptual guide to an auction smart contract in Plutus introduces fundamentals for educational use.
📄️ The EUTXO model, datum, redeemer and script context
On the Cardano blockchain, a transaction contains an arbitrary number of inputs and an arbitrary number of outputs.
📄️ Auction properties
In this example, Alice wants to auction some asset she owns, represented as a non-fungible token (NFT) on Cardano.
📄️ Plutus Tx code
Recall that Plutus Tx is a subset of Haskell.
📄️ Life cycle of the auction smart contract
With the Plutus script written, Alice is now ready to start the auction smart contract.
📄️ Libraries for writing Plutus Tx scripts
This auction example shows a relatively low-level way of writing scripts using Plutus Tx.
📄️ Alternatives to Plutus Tx
There are languages other than Plutus Tx that can be compiled into Plutus Core.
📄️ Off-chain code
Since the main purpose of this example is to introduce Plutus Tx and Plutus Core, we walked through only the on-chain code, which is responsible for validating transactions (in the sense of determining whether a transaction is allowed to spend a UTXO).
📄️ Further reading
The EUTXO model