Plutus programming language

Name: Plutus programming language
Rating: 4.1 (659 reviews)

Reliable smart contracts

Created byAlejandro Garcia

Last updated 4/2019

English

English [Auto],

What you'll learn

Writing reliable smart contracts in Plutus programming language

Course content

2 sections • 15 lectures • 3h 41m total length

Introduction3:43
About this Plutus course. Alejandro Garcia2:23
Professor Philip Wadler on Plutus14:43
Philip Wadler discusses Plutus, a Haskell-based smart contract language for Cardano. He highlights functional design, domain-specific languages like Marlowe, and formal methods for secure contracts.
Manuel Chakravarty on Plutus and extended UTXO15:24
Rebecca Valentine, why Plutus?11:23
Jann Muller and Michael Payton Jones introduce Plutus Playground34:19

Introduction to Plutus Playground7:29
In this lesson we will have an overview of the components of "Plutus playground" and test its features with a guessing game.
Playground quiz
Crowd-funding smart contract in Plutus11:34
In this lesson we will make a simulation for a Crowdfunding campaign. We test both scenarios, when the target amount is reached and when it is not.
Hello World10:20
In this lesson we will write a "Hello world" smart contract in Plutus.
Hello world quiz
Adding actions10:58
Add actions to a Plutus contract to enable it to receive contributions, send funds to contacts, and manage wallet-based transactions.
Event handlers16:30
Learn how to implement automatic refunds in Plutus contracts using event triggers and event handlers to refund contributions after a deadline or a defined slot range.
Event triggers
Watchers13:31
Learn how watchers monitor a campaign contract to collect and redeem funds through a collection action within a specified time window, with automatic refunds if the deadline passes.
Watchers quiz
Defining custom data types26:18
Define custom data types to model crowdfunding campaigns in Plutus. Build a campaign data type and campaign action with collect and refund constructors, enabling json serialization and api schema support.
Custom data type quiz
Validation logic34:48
Validation logic quiz
Key Takeaways8:27
Learn to design Plutus scripts that run on chain using Haskell-like types, define custom data like campaign with deadline and target, and manage interactions via endpoints, actions, and event triggers.

Requirements

Haskell knowledge

Description

NOTICE: This course is out of date. It shows PLUTUS as it was in 2019. We are currently working in the new edition that depicts the latest development of the PLUTUS programming language.

In this course, Alejandro Garcia, software developer at IOHK teaches you the basics of Plutus programing language, designed by IOHK to write secure and reliable smart contracts.

Plutus provides an execution platform and functional programming language that runs on the Cardano settlement layer and provides considerable security advantages. It delivers an easier, more robust way to show that your smart contracts are correct and will not encounter the problems found in previous smart contract language design. By using Plutus you can be confident in the correct execution of your smart contracts. It has been designed with three major audiences in mind: developers, business experts, and academia.

Plutus is embedded in Haskell, is familiar to Haskell programmers, while being easier to analyse than Haskell itself.

Who this course is for:

Blockchain developers
Haskell programmers
Functional programmers

Plutus programming language

What you'll learn

Explore related topics

Course content

Introduction6 lectures • 1hr 22min

Plutus Playground9 lectures • 2hr 20min

Requirements

Description

Who this course is for: