Plutus: Writing Reliable Smart Contracts

This practical ebook is a guide to programming with the Plutus language for highly secure smart contracts on the Cardano blockchain, home of the ada cryptocurrency. Plutus is based on the Haskell functional programming language and comes complete with a full testing environment accessed via GitHub or any browser. The ebook will help you get to grips with using smart contracts on a blockchain by providing real-life examples and functional sample code. Plutus: Writing Reliable Smart Contracts is the first ebook about this new and exciting language and is written by experts from IOHK, the developers of Cardano and ada. This ebook is concise and focused and uses sample scenarios to help the reader grasp the concepts of this new language. The pitch and flow of this book makes it appealing and is it easy to navigate through the samples which get progressively more complex. Plutus: Writing Reliable Smart Contracts Table of Contents About the Authors Dedication Colophon Chapter 1. Preface Chapter 2. UTXO Style Accounting Chapter 3. Smart Contracts 3.1. The Power of the Smart Contract 3.2. Real-world and Non Fungible Tokens 3.3. Loans 3.4. ACTUS Chapter 4. Welcome to Plutus - A New Language for Reliable Smart Contracts 4.1. Why Plutus? 4.2. About the Plutus Framework 4.3. Running Plutus Playground Chapter 5. Plutus Tx 5.1. What is Plutus Tx? 5.2. Writing basic PlutusTx programs 5.3. Functions and datatypes 5.4. The Plutus Tx Prelude and Plutus Tx Builtins 5.5. Lifting values Chapter 6. Extended UTXO Model 6.1. Scripts 6.2. Validator, Redeemer, and Data Scripts 6.3. Additional Extended Model Notes Chapter 7. Writing Off-Chain Code Chapter 8. Our First On-Chain Code Chapter 9. A Contract with Parameters Chapter 10. Multi-Stage Contracts Chapter 11. Looking Beyond Ada and Using Arbitrary Custom Tokens Chapter 12. A Complex Example: Secure Non-Fungible Tokens Endmatter Glossary References