From 0f0910053fbdb4878137e5a11bddb83ac5b5a887 Mon Sep 17 00:00:00 2001 From: Simon Tennant Date: Mon, 11 Aug 2025 14:57:25 +0200 Subject: [PATCH 1/2] Update README.md to point out rust-simplicity and simplicity-hl also linked to Github discussions and Telegram group --- README.md | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index b87e7a4f8..dd93125fa 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,9 @@ Simplicity is a blockchain programming language designed as an alternative to Bitcoin script. -The language and implementation is still under development. +The language and implementation is still under development. + +It's recommended to start with [SimplicityHL](https://github.com/BlockstreamResearch/SimplicityHL) which looks and feels like Rust and compiles down to Simplicity Bytecode. There is also [rust-simplicity](https://github.com/BlockstreamResearch/rust-simplicity), a general purpose library for processing Simplicity programs. ## Contents @@ -191,5 +193,6 @@ A recent PDF version can be found in the [pdf](https://github.com/ElementsProjec ## Contact -Interested parties are welcome to join the [Simplicity mailing list](https://lists.ozlabs.org/listinfo/simplicity). -Issues and pull-requests can be made through GitHub's interface. +Discussions are hosted on [Github discussions](https://github.com/BlockstreamResearch/simplicity/discussions), and there's a [Simplicity Telegram Community](https://t.me/simplicity_community). + +We welcome issues and pull-requests. From 2d9a6d93df5454942c0c24622aa926c6a9689651 Mon Sep 17 00:00:00 2001 From: Simon Tennant Date: Tue, 28 Oct 2025 12:58:50 +0000 Subject: [PATCH 2/2] text fixes based on @apoelstra's suggestions --- README.md | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/README.md b/README.md index dd93125fa..3686e60c1 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,6 @@ # Simplicity -Simplicity is a blockchain programming language designed as an alternative to Bitcoin script. - -The language and implementation is still under development. - -It's recommended to start with [SimplicityHL](https://github.com/BlockstreamResearch/SimplicityHL) which looks and feels like Rust and compiles down to Simplicity Bytecode. There is also [rust-simplicity](https://github.com/BlockstreamResearch/rust-simplicity), a general purpose library for processing Simplicity programs. +Simplicity is a very low-level language. This repository contains the consensus code implementation, an experimental Haskell library, the tech report and the a Rocq library for producing formal proofs. We recommend that users who just want to *use* Simplicity start with [SimplicityHL](https://github.com/BlockstreamResearch/SimplicityHL) which looks and feels like Rust and compiles down to Simplicity. There is also [rust-simplicity](https://github.com/BlockstreamResearch/rust-simplicity), a general purpose library for processing Simplicity programs. ## Contents