Plutus Pioneer Program

Lectures

• Lecture #1

  • Welcome
  • The (E)UTxO-model
  • Running an example auction contract on a local Playground
  • Homework

• Lecture #2

  • Triggering change.
  • Low-level, untyped on-chain validation scripts.
  • High-level, typed on-chain validation scripts.

• Lecture #3

  • Script context.
  • Time handling.
  • Parameterized contracts.

• Lecture #4

  • Monads
  • The EmulatorTrace monad.
  • The Contract monad.

Code Examples

• Lecture #1: English Auction
• Lecture #2: Simple Validation
• Lecture #3: Validation Context & Parameterized Contracts
• Lecture #4: Monads, EmulatorTrace & Contract

Exercises

• Week #1

  • Build the English Auction contract with cabal build (you may need to run cabal update first).
  • Clone the The Plutus repository, check out the correct commit as specified in cabal.project.
  • Set-up IOHK binary caches How to set up the IOHK binary caches. "If you do not do this, you will end up building GHC, which takes several hours. If you find yourself building GHC, STOP and fix the cache."
  • Enter a nix-shell.
  • Go to the plutus-playground-client folder.
  • Start the Playground server with plutus-playground-server.
  • Start the Playground client (in another nix-shell) with npm run start.
  • Copy-paste the auction contract into the Playground editor - don't forget to remove the module header!
  • Compile.
  • Simulate various auction scenarios.

• Week #2

  • Fix and complete the code in the Homework1 module.
  • Fix and complete the code in the Homework2 module.

• Week #3

  • Fix and complete the code in the Homework1 module.
  • Fix and complete the code in the Homework2 module.

• Week #4

  • Write an appropriate EmulatorTrace that uses the payContract contract in the Homework module.
  • Catch errors in the payContract contract in the same module.

Solutions

• Week #2

  • Homework1
  • Homework2

• Week #3

  • Homework1
  • Homework2

Some Plutus Modules

• Plutus.Trace.Emulator, contains types and functions related to traces.
• Plutus.V1.Ledger.Contexts, contains the definition of the context-related types.
• Plutus.V1.Ledger.Interval, contains the definition of and helper functions for the Interval type.
• Plutus.V1.Ledger.Slot, contains the definition of the Slot type.
• PlutusTx.Data, contains the definition of the Data type.
• PlutusTx.IsData.Class, defines the IsData class.

Plutus community playground

• Week 1 Community Playground(Legacy)
• Week 2 Community Playground(Legacy)
• Week 3 Community Playground(Current)

Additional Resources

• The Plutus repository
• Learn You a Haskell for Great Good!
• Haskell & Cryptocurrencies course Mongolia