Cardano’s eUTxO model takes Bitcoin’s proven foundation and adds three powerful ingredients: Datum, Redeemer, and Context.
Custom data attached to every output. This is the “state” of a smart contract, think of it as a note pinned to a banknote that says what it’s for.
Data provided by the person spending the output. It’s the “action” or argument passed to the validator: claim, swap, vote, cancel, whatever the contract expects.
The full transaction visible to the validator script. Inputs, outputs, fees, signatories, time range, everything needed to decide if this spend is valid.
The critical advantage: because the script sees only the transaction (not global state), validation is fully deterministic. You know whether your transaction will succeed before you submit it. With honest pre-validation, transactions don’t fail on-chain unexpectedly — and if a script does fail in phase-2 validation, only the dedicated collateral is consumed, not the full transaction value.
Explore how an eUTxO validator evaluates a transaction. Configure the inputs and see the result.
Satoshi introduces the UTxO model: simple, robust, designed for decentralized value transfer.
Vitalik chooses accounts to enable richer smart contracts. Trade-off: shared mutable state.
Chakravarty et al. formally prove UTxO can support expressive contracts while preserving dataflow properties.
Cardano brings eUTxO smart contracts to mainnet with Plutus scripts.
Design patterns emerge: CEM, multi-validator protocols, batch processing at scale.
Optional. Score 3/3 to earn mastery badges. Your first attempt counts for the Polymath badge.