Introduction

SimplicityHL is a high-level language for writing Bitcoin smart contracts. In other words, SimplicityHL is a language for expressing spending conditions of UTXOs on the Bitcoin blockchain.

SimplicityHL looks and feels like Rust. Developers write SimplicityHL, Bitcoin full nodes run Simplicity.