HPM Education - Plutus
  • Introduction
  • The EUTxO Model
    • Introduction to the EUTxO model
      • The UTxO (Unspent Transaction Output) model
      • The EUTxO model (Extended UTxO) model
  • The Plutus Environment
    • What is Plutus?
    • System requirements for this course
    • Setting up your Plutus development environment
    • Cabal project files
  • Writing the first Plutus scripts
    • General Notes
    • Cabal setup
    • The Simplest Script
    • A Guessing Game Script
    • Exploring Script Context
  • Typed validators
    • Overview
    • A Shared Wallet Script
  • Parameterised validators
    • Overview
    • A Deadline Script
    • Another Shared Wallet Script
  • Stake Validators
    • Overview
    • A Stake Validator Script
  • Minting Policies
    • Overview
    • A Pay-to-Store Policy
  • Plutus Emulator
    • Emulating the blockchain
    • Testing a validator with the emulator
  • References
    • References
Powered by GitBook
On this page
  • General documentation
  • Repositories
  • Research papers
  • Blog posts
  1. References

References

General documentation

Plutus Technical Report Plutus Code Specification The Extended UTxO Model EUTxO Model Handbook Plutus Haskell style guide Cardano Docs - Plutus The Plutus Platform

Repositories

plutus - docs plutus-apps - docs plutus-scripts

Research papers

The Extended UTxO modelNative Custom Tokens in the Extended UTxO Model UTxOma: UTxO with Multi-Asset Support

Blog posts

Plutus Tx: compiling Haskell into Plutus Core

PreviousTesting a validator with the emulator

Last updated 1 year ago