# Smart Contracts with Simplicity

Developers write SimplicityHL, full nodes execute Simplicity.

Try Now

## Why Simplicity?

### Easy to Write

Simplicity isn’t just powerful—it’s fun! If you know Rust, you already know Simplicity. It’s straightforward, no steep learning curves.

### Easy to Read

No more complicated, messy scripts. Simplicity makes covenants and conditions clean, clear, and easy to understand.

### Easy to Run

You write in SimplicityHL, your full node runs Simplicity. It’s that easy—elegant code, simple execution.

## What Can You Do with Simplicity?

Here’s what you can build:

### 1. Covenants

Set flexible, enforceable rules for how your Bitcoin can be spent with vaults and custom signing conditions.

### 2. Advanced Cryptography

Cryptomagic, new signature types, and zero-knowledge proofs.

### 3. Even silly things like SatoshiDice

Yes, you can even recreate the classic Bitcoin dice game!

## If you know Rust, you already know Simplicity.

"Simplicity’s strength comes from deep, foundational principles in type theory. SimplicityHL, as a frontend, abstracts away much of the complexity, allowing users to write smart contracts, with minimal code and high reliability. SimplicityHL keeps the computer science fundamentals close enough that you can reason about it formally when needed."
- Andrew Poelstra
"The most important Simplicity applications are the ones that I haven't thought of... The idea behind Simplicity is to provide flexibility for people to design applications I haven't even imagined."
- Russell O'Connor

## Try Simplicity

Want to see it in action? Jump into the Simplicity IDE and start writing your own Simplicity contracts today.

Try Now