Overview

Quick Start Recommendations

For beginners and experimentation, we recommend starting with the WebIDE - it runs directly in your browser and requires no setup.

For script development, start with SimplicityHL - the Rust-like high-level language that compiles down to core Simplicity.

Language/Tool	Purpose
Haskell Simplicity	The reference implementation and also used to generate code for Rust and C implementations
Coq/Rocq Simplicity Proofs	The formal implementation
C	The consensus implementation
Rust Simplicity	The practical implementation in the form of a Rust library.
SimplicityHL	Rust-like high-level language that compiles down to Simplicity. Recommended starting point
WebIDE	A good way to test out Simplicity scripts directly in your browser.
Command line tool	Hal-Simplicity is a command line tool (written in Rust) based on `hal` by Stephen Roose
VSCode Extension	Provides syntax highlighting for the SimplicityHL programming language.
ZKP	A zero knowledge prover written in SimplicityHL

Next Steps: Try out the WebIDE to get a feel for Simplicity, then dive into SimplicityHL for your first real projects.