- What you will learn
- Prerequisites
- Key resources
Welcome to SCR403 — Delving Into Simplicity!
This course is based on the "Delving Simplicity" article series written by Dr. Russell O'Connor, an Infrastructure Tech Developer at Blockstream and the creator of Simplicity. The original articles were published on the Delving Bitcoin forum and form the primary source material for this course. We are grateful for his pioneering work, which made this educational content possible.
What you will learn
This course explores the design philosophy and mathematical foundations behind Simplicity, the next-generation scripting language activated on the Liquid Network in July 2025. It follows the complete five-part article series and is structured in two main content sections:
- Foundations of Simplicity — Why blockchain computation demands a fundamentally different language, the three ways to combine operations (sequential, parallel, conditional), and the nine core combinators that form a mathematically complete language
- From Data Types to Programs — Building boolean logic, arithmetic, and SHA-256 from first principles; understanding the Failure and Reader side effects that enable blockchain interaction; and learning how programs are committed to Taproot addresses via Commitment Merkle Roots and redeemed with witness data
Prerequisites
This is an expert-level course (approximately 10 hours). You should be comfortable with:
- Basic Bitcoin scripting concepts (what transaction validation does)
- Fundamental programming concepts (types, functions, composition)
- Some familiarity with mathematical notation is helpful but not required. We introduce everything as we go
Key resources
- Original articles: "Delving Simplicity" by Dr. Russell O'Connor on Delving Bitcoin
- Simplicity repository: BlockstreamResearch/simplicity — source code and Rocq formal proofs
- Official website: simplicity-lang.org — documentation and SimplicityHL reference
- Blockstream blog: Simplicity on GitHub — technical overview
Ready to dive into one of the most elegant pieces of Bitcoin engineering? Let's go!