305Course · Practitioner
Smart Contracts
The general theory.
The general theory of the contract as a piece of institutional software. Invariants, specifications, upgradeability patterns — with an honest view of their risks.
- 01
Distinguish a contract from an application.
- 02
Explain the pattern of upgradeability.
- 03
Judge a contract by its invariants.
Prerequisites
- — Solidity.
Pacing
~3 hours.
- IModule
Design
How contracts are actually designed.
A Note from the Faculty
A contract is a legal instrument, not just a program.