Papers, docs, and tools to continue your eUTxO journey.
The original paper by Chakravarty et al. (2020). Formal proofs and Constraint Emitting Machines.
Official documentation on the eUTxO model, validation, and script interaction.
A modern smart contract language for Cardano. Fast, ergonomic, purpose-built for eUTxO validators.
Tutorials, tools, and resources for building on Cardano. The starting point for new developers.
The reference implementation of Cardano’s smart contract execution engine, maintained by Intersect MBO.