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

PreviousTesting a validator with the emulator

Last updated 1 year ago

General documentation

Repositories

- -

Research papers

Blog posts

Plutus Technical Report
Plutus Code Specification
The Extended UTxO Model
EUTxO Model Handbook
Plutus Haskell style guide
Cardano Docs - Plutus
The Plutus Platform
plutus
docs
plutus-apps
docs
plutus-scripts
The Extended UTxO model
Native Custom Tokens in the Extended UTxO Model
UTxOma: UTxO with Multi-Asset Support
Plutus Tx: compiling Haskell into Plutus Core