Plutus programming language

Learn the Fundamentals of Plutus Programming with IOHK!

This course offers an introduction to Plutus, the powerful smart contract language developed by IOHK for the Cardano blockchain. While this specific version reflects the state of Plutus in 2019, we're actively developing a new edition showcasing the latest advancements in the Plutus programming language.

Taught by Alejandro Garcia, a software developer at IOHK, this course demystifies the basics of Plutus and how it enables the creation of secure and reliable smart contracts.

What is Plutus?

• Smart Contract Language: Plutus is a functional programming language designed specifically for building smart contracts.
• Cardano Platform: It runs on the Cardano settlement layer, leveraging its inherent security.
• Enhanced Security: Plutus provides significant security advantages over previous smart contract language designs, ensuring your contracts are robust and less prone to errors.
• Formal Verification: Plutus facilitates easier and more reliable verification of smart contract correctness. Gain confidence in the accurate execution of your code.

Who is this course for?

Plutus is designed with three key audiences in mind:

• Developers: Learn to build cutting-edge decentralized applications.
• Business Experts: Understand how to leverage smart contracts for business innovation.
• Academia: Explore the latest advancements in blockchain technology and smart contract development.

Haskell Familiarity:

Plutus is embedded in Haskell, making it accessible to programmers already familiar with the language. It offers a more analyzable structure compared to standard Haskell, simplifying the process of auditing and verifying smart contracts.

Keywords: Plutus, Plutus programming, Cardano, smart contracts, blockchain, IOHK, Haskell, functional programming, secure smart contracts, decentralized applications, formal verification.