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.
Author(s): Lars Brünjes, Polina Vinogradova;
Year: 2019
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
