Skip to content

AlainMgz/plutus-pioneer-program

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

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.
  • Lecture #5

    • Values.
    • Native tokens & minting policies.
    • NFT's.
  • Lecture #6

    • Oracles.
    • Using the PAB.
  • Lecture #7

    • Commit schemes.
    • State machines.
  • Lecture #8

    • Another state machine example: token sale.
    • Automatic testing using emulator traces.
    • Interlude: optics.
    • Property based testing with QuickCheck.
    • Testing Plutus contracts with property based testing.
  • Lecture #9

    • Marlowe overview (slides).
    • Marlowe in Plutus.
    • Marlowe Playground demo.
  • Lecture #10

    • Uniswap overview.
    • Uniswap implementation in Plutus.
    • Deploying Uniswap with the PAB.
    • Demo.
    • Using curl to interact with the PAB.

Code Examples

Exercises

  • Week #1

    • Build the English Auction contract with cabal build (you may need to run cabal update first). (DONE)
    • Clone the The Plutus repository, check out the correct commit as specified in cabal.project. (DONE)
    • 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." (DONE)
    • Enter a nix-shell. (DONE)
    • Go to the plutus-playground-client folder. (DONE)
    • Start the Playground server with plutus-playground-server. (DONE)
    • Start the Playground client (in another nix-shell) with npm run start. (DONE)
    • Copy-paste the auction contract into the Playground editor - don't forget to remove the module header! (DONE)
    • Compile. (DONE)
    • Simulate various auction scenarios. (DONE)
  • Week #2

    • Fix and complete the code in the Homework1 module. (DONE)
    • Fix and complete the code in the Homework2 module. (DONE)
  • Week #3

    • Fix and complete the code in the Homework1 module. (DONE)
    • Fix and complete the code in the Homework2 module. (DONE)
  • Week #4

    • Write an appropriate EmulatorTrace that uses the payContract contract in the Homework module. (DONE)
    • Catch errors in the payContract contract in the same module. (DONE)
  • Week #5

    • Add a deadline to the minting policy in the Homework1 module. (DONE)
    • Fix the token name to the empty ByteString in the NFT contract in the Homework2 module. (DONE)
  • Week #6

    • Get the Oracle demo running and extend it in some way. (DONE)
  • Week #7

    • Implement the game of "Rock, Paper, Scissors" using state machines.
  • Week #8

    • Add a new operation close to the TokenSale-contract that allows the seller to close the contract and retrieve all remaining funds (including the NFT).
    • Modify the tests accordingly.
  • Week #9

    • Modify the example Marlowe contract, so that Charlie must put down twice the deposit in the very beginning, which gets split between Alice and Bob if Charlie refuses to make his choice.
  • Week #10

    • Get the Uniswap demo running and extend it in some way.

Solutions

Some Plutus Modules

Plutus community playground

Additional Resources

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 99.1%
  • Shell 0.9%