05 · Go Deeper

Resources

Papers, docs, tools, and examples to continue your eUTxO journey.

Start here

The Extended UTxO Model

The foundational paper behind Cardano’s eUTxO design. Formal proofs and Constraint Emitting Machines.

Read the paper

Why start here?

  • Introduces the eUTxO model
  • Defines the formal semantics
  • Basis for everything on this site

Recommended path

  1. Read the paper Understand the eUTxO model
  2. Explore the portal Tooling and tutorials for Cardano
  3. Learn a language Write validators with Aiken or Plutus
  4. Try it in the lab Apply your knowledge in the Playground

Ready to apply what you learned?

Jump into the interactive playground and start building transactions with real eUTxO logic.

Open Playground Continue your Journey