Building on Cardano: Haskell, Plutus, and the eUTXO Model

Cardano is a peer-reviewed, academically rigorous blockchain that makes fundamentally different architectural choices from Ethereum. Its extended UTXO model and Haskell-based Plutus language attract a specific type of developer and create a genuinely different programming model for smart contracts.

The Extended UTXO (eUTXO) Model

Ethereum uses a world-state model — transactions change accounts' balances in a global state tree. Bitcoin uses UTXO (Unspent Transaction Output) — every coin is a discrete output, and transactions consume outputs and create new ones. Cardano extends UTXO with a datum (arbitrary data attached to an output) and a validator script (code that must succeed to spend the output). This eUTXO model preserves UTXO's parallelism benefits while enabling smart contract logic.

The key difference: in Ethereum, smart contract state is mutable and shared. In Cardano, script outputs carry their state in the datum, and spending a script output creates new outputs with updated state. There's no mutable global state — just UTXO consumption and creation. This makes Cardano transactions deterministic and locally verifiable before submission.

Plutus: Smart Contracts in Haskell

Plutus is Cardano's smart contract language — a subset of Haskell. This is either attractive or repellent depending on your background. Haskell's strong static type system and functional programming model make certain correctness properties provable by the compiler. The learning curve is steep for non-functional programmers. Plutus scripts run as validator functions: given the datum, redeemer (input from the spender), and transaction context, return True/False.

Aiken: The Modern Alternative

Aiken is a newer smart contract language for Cardano with a much more developer-friendly syntax (Rust-inspired). It compiles to UPLC (Untyped Plutus Core), the same target as Plutus. For developers comfortable with Rust or modern functional languages, Aiken provides a significantly better developer experience than raw Plutus. Most new Cardano projects in 2026 use Aiken rather than Plutus directly.

Native Tokens

Cardano's native token system is a first-class protocol feature — not implemented via smart contracts (unlike ERC-20). Tokens are defined by a minting policy (a validator script that controls when they can be minted or burned) and stored directly in UTXOs alongside ADA. No ERC-20-style contract overhead: transfers are just transactions, and the protocol enforces token rules natively. This makes token transactions cheaper and simpler than EVM token transfers.

Ecosystem Maturity

DeFi: Minswap (DEX), MuesliSwap, Liqwid Finance (lending). NFT marketplaces: jpg.store (dominant NFT marketplace). Wallets: Nami, Eternl, Yoroi. Infrastructure: Blockfrost (API to Cardano node), Maestro (Cardano infrastructure). The ecosystem is significantly smaller than Ethereum or Solana, but has a dedicated community and is growing steadily following the smart contract launches that began in 2021.

Concurrency Challenge

Cardano's eUTXO model creates a concurrency challenge for DEXes. In Ethereum, multiple users can interact with the same AMM in the same block — they all modify the same state. In Cardano, only one transaction can consume a specific UTXO per block. Early Cardano DEXes had low throughput for this reason. Solutions: batching (off-chain order aggregation submitted as one transaction), order book models, or multi-UTXO designs that shard state across many UTXOs.