Please enable scripts for all features of this site to work.
Skills and requirements
Cardano and Plutus
Writing contracts in Plutus
Using the Plutus Playground
Compiling the code
Executing contracts in Plutus
Sample smart contracts
Support and help
The following resources about Plutus are available:
Formal Specification of the Typed Plutus Core Language by Rebecca Valentine
Plutus is designed to be simple and easy to reason about using mechanized proof assistants and automated theorem provers.
An Ontology for Smart Contracts by Rebecca Valentine
Introduces a basic ontology that attempts to capture the essential features of many smart contracts, in order to aid in formal reasoning about their behavior.
Smart contracts language for Cardano launches at Plutusfest
by Professor Philip Wadler senior research fellow.
IOHK | Philip Wadler, area leader, programming languages
Professor Wadler explains the design philosophy behind Plutus and programming languages in general.
IOHK | Philip Wadler on smart contracts
Professor Wadler explains some of the trade-offs made in designing Plutus.
Darryl McAdams: Writing Smart Contracts on Plutus
Video from 2017 discussing an early version of Plutus.