# Latest **URL:** https://community.simplicity-lang.org/latest.md [Latest](https://community.simplicity-lang.org/latest.md) · [Categories](https://community.simplicity-lang.org/categories.md) · [Tags](https://community.simplicity-lang.org/tags.md) --- ## [Welcome to Simplicity Community! 👋](https://community.simplicity-lang.org/t/welcome-to-simplicity-community/5)
**Author:** [@system](https://community.simplicity-lang.org/u/system)\ **Replies:** 2\ **Last updated:** [September 16, 2026, 8:57pm UTC](https://community.simplicity-lang.org/t/welcome-to-simplicity-community/5 "2026-09-16T20:57:08Z")
We are so glad you joined us. Here are some things you can do to get started: :speaking\_head: Introduce yourself by adding your picture and information about yourself and your interests to your profile. What is one thi… --- ## [ECDSA implementation in Simplicity-std](https://community.simplicity-lang.org/t/ecdsa-implementation-in-simplicity-std/98)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 0\ **Last updated:** [October 23, 2026, 2:37pm UTC](https://community.simplicity-lang.org/t/ecdsa-implementation-in-simplicity-std/98 "2026-10-23T14:37:22Z")
I’ve created an implementation of ECDSA verification in SimplicityHL. The main purpose was to verify oracles that use this signature scheme instead of the bip0340 style that Simplicity supports via jets. In future, maybe… --- ## [Multi-error reporting and raw\_hash in the LSP and VS Code extension](https://community.simplicity-lang.org/t/multi-error-reporting-and-raw-hash-in-the-lsp-and-vs-code-extension/97)
**Author:** [@LesterEvSe](https://community.simplicity-lang.org/u/LesterEvSe)\ **Replies:** 0\ **Last updated:** [October 20, 2026, 2:01pm UTC](https://community.simplicity-lang.org/t/multi-error-reporting-and-raw-hash-in-the-lsp-and-vs-code-extension/97 "2026-10-20T14:01:10Z")
SimplicityHL upstream branch now keeps analysing after an error, and adds a new unstable raw\_hash builtin. Both are available in development branches of simplicityhl-lsp and the VS Code extension. You get all errors in t… --- ## [Simplex 0.1.1 released](https://community.simplicity-lang.org/t/simplex-0-1-1-released/96)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 0\ **Last updated:** [October 20, 2026, 3:40am UTC](https://community.simplicity-lang.org/t/simplex-0-1-1-released/96 "2026-10-20T03:40:04Z")
Simplex 0.1.1 has been released. You can get it on GitHub or via simplexup. From the changelog: \[0.1.1\] Fixed broken dependencies. --- ## [Selecting the chain (Elements or Bitcoin) in SimplicityHL source](https://community.simplicity-lang.org/t/selecting-the-chain-elements-or-bitcoin-in-simplicityhl-source/88)
**Author:** [@LesterEvSe](https://community.simplicity-lang.org/u/LesterEvSe)\ **Replies:** 6\ **Last updated:** [October 20, 2026, 3:38am UTC](https://community.simplicity-lang.org/t/selecting-the-chain-elements-or-bitcoin-in-simplicityhl-source/88 "2026-10-20T03:38:14Z")
I’m working on Bitcoin support in SimplicityHL. #437 adds the Bitcoin jets. it’s independent and ready for review. #436 (draft) lets programs be compiled for Bitcoin. It depends on rust-simplicity #385–#388, which add Bi… --- ## [Bitcoin support in Simplex: how I think it should work](https://community.simplicity-lang.org/t/bitcoin-support-in-simplex-how-i-think-it-should-work/92)
**Author:** [@ivanlele](https://community.simplicity-lang.org/u/ivanlele)\ **Replies:** 1\ **Last updated:** [October 20, 2026, 3:33am UTC](https://community.simplicity-lang.org/t/bitcoin-support-in-simplex-how-i-think-it-should-work/92 "2026-10-20T03:33:50Z")
Proposal 1: the chain is picked in Simplex.toml \[build\] target = "bitcoin" # default is "elements" This decides the jet set, the tapleaf and address format, the transaction environment, the sighash, and which nodes s… --- ## [Progress on formally verifying Simplicity](https://community.simplicity-lang.org/t/progress-on-formally-verifying-simplicity/91)
**Author:** [@Breno](https://community.simplicity-lang.org/u/Breno)\ **Replies:** 3\ **Last updated:** [October 19, 2026, 9:20pm UTC](https://community.simplicity-lang.org/t/progress-on-formally-verifying-simplicity/91 "2026-10-19T21:20:04Z")
Over the past few weeks, I’ve been working on formally verifying Simplicity’s C jets—optimized implementations of Simplicity operations—against their formal specifications. The objective is to establish whether the actu… --- ## [Nominal Types and Module Identification in SimplicityHL](https://community.simplicity-lang.org/t/nominal-types-and-module-identification-in-simplicityhl/62)
**Author:** [@apoelstra](https://community.simplicity-lang.org/u/apoelstra)\ **Replies:** 9\ **Last updated:** [October 19, 2026, 2:27pm UTC](https://community.simplicity-lang.org/t/nominal-types-and-module-identification-in-simplicityhl/62 "2026-10-19T14:27:01Z")
In this Github issue about Ctx8 ergonomics it is proposed that we should have a built-in method to compute the hashes of Simplicity values. Currently, to do this you must manually destructure your object into basic Simpl… --- ## [SimplicityHL now reports more than one error per run](https://community.simplicity-lang.org/t/simplicityhl-now-reports-more-than-one-error-per-run/94)
**Author:** [@LesterEvSe](https://community.simplicity-lang.org/u/LesterEvSe)\ **Replies:** 0\ **Last updated:** [October 16, 2026, 11:48am UTC](https://community.simplicity-lang.org/t/simplicityhl-now-reports-more-than-one-error-per-run/94 "2026-10-16T11:48:14Z")
Until recently, simc reported the first error in a program and stopped, so a program with several mistakes had to be fixed one compiler run at a time. Analysis now keeps going in many cases. Take this program: type Alia… --- ## [Simplex 0.1.0 released](https://community.simplicity-lang.org/t/simplex-0-1-0-released/89)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 0\ **Last updated:** [October 12, 2026, 2:07am UTC](https://community.simplicity-lang.org/t/simplex-0-1-0-released/89 "2026-10-12T02:07:08Z")
Simplex 0.1.0 has been released. You can get it on GitHub or via simplexup. From the changelog: \[0.1.0\] Added fuzz testing: #\[simplex::fuzz\], simplex test --fuzz and the \[test.fuzz\] config section. Added the Guided (d… --- ## [Txw codespace now supports Bitcoin signet](https://community.simplicity-lang.org/t/txw-codespace-now-supports-bitcoin-signet/87)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 0\ **Last updated:** [October 6, 2026, 12:52pm UTC](https://community.simplicity-lang.org/t/txw-codespace-now-supports-bitcoin-signet/87 "2026-10-06T12:52:04Z")
The txw (txmanifest example wallet) codespace has been updated with Bitcoin signet support, so you can now lock and spend Simplicity programs on signet as well as Liquid testnet. Here’s an example Simplicity program spe… --- ## [Padding problem: execution cost exceeded budget limit](https://community.simplicity-lang.org/t/padding-problem-execution-cost-exceeded-budget-limit/85)
**Author:** [@KyrylR](https://community.simplicity-lang.org/u/KyrylR)\ **Replies:** 2\ **Last updated:** [October 5, 2026, 11:22am UTC](https://community.simplicity-lang.org/t/padding-problem-execution-cost-exceeded-budget-limit/85 "2026-10-05T11:22:48Z")
When working on contracts that are doing a lot of hashes (checking Merkle Tree Proofs), quite often I had to add “padding” to the program itself to avoid having an error that says that execution cost exceeded budget. I a… --- ## [Can we improve structural typecasts in SimplicityHL?](https://community.simplicity-lang.org/t/can-we-improve-structural-typecasts-in-simplicityhl/84)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 1\ **Last updated:** [October 5, 2026, 4:11am UTC](https://community.simplicity-lang.org/t/can-we-improve-structural-typecasts-in-simplicityhl/84 "2026-10-05T04:11:43Z")
Low-level Simplicity has no built-in integer types, and integers are interpretations of trees of bits. As a result, SimplicityHL supports a feature called structural typecasting which allows joining and splitting integer… --- ## [Std lib implementation of spend time SIGHASH modes](https://community.simplicity-lang.org/t/std-lib-implementation-of-spend-time-sighash-modes/83)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 0\ **Last updated:** [October 2, 2026, 11:22am UTC](https://community.simplicity-lang.org/t/std-lib-implementation-of-spend-time-sighash-modes/83 "2026-10-02T11:22:02Z")
I’ve added an implementation allowing the spender to choose a SIGHASH mode at spend time. It’s unaudited, so use with caution. It is not meant to replace other plans of sighash modes, like the disconnect method in check\_… --- ## [Yet another padding option: Tapleaves](https://community.simplicity-lang.org/t/yet-another-padding-option-tapleaves/72)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 4\ **Last updated:** [October 1, 2026, 1:59pm UTC](https://community.simplicity-lang.org/t/yet-another-padding-option-tapleaves/72 "2026-10-01T13:59:06Z")
Currently, you cannot submit a program that has a budget above the transaction’s weight. There are a few solutions to this, but the main one we are waiting for is the PR in elements that adds a standardness rule to allow… --- ## [Simplicity on Bitcoin signet is live](https://community.simplicity-lang.org/t/simplicity-on-bitcoin-signet-is-live/81)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 1\ **Last updated:** [October 1, 2026, 1:49am UTC](https://community.simplicity-lang.org/t/simplicity-on-bitcoin-signet-is-live/81 "2026-10-01T01:49:15Z")
We’ve started a Bitcoin signet with Simplicity enabled, and it’s open to anyone who wants to play with it: It’s a custom signet running Bitcoin Inquisition (the Core fork people use to test soft fork proposals). The S… --- ## [Raw\_hash: one-call SHA-256 for tuples of integers in SimplicityHL](https://community.simplicity-lang.org/t/raw-hash-one-call-sha-256-for-tuples-of-integers-in-simplicityhl/78)
**Author:** [@LesterEvSe](https://community.simplicity-lang.org/u/LesterEvSe)\ **Replies:** 6\ **Last updated:** [September 28, 2026, 10:54pm UTC](https://community.simplicity-lang.org/t/raw-hash-one-call-sha-256-for-tuples-of-integers-in-simplicityhl/78 "2026-09-28T22:54:08Z")
Hashing several values in SimplicityHL currently means threading a SHA-256 context through a chain of jets: let ctx1: Ctx8 = jet::sha\_256\_ctx\_8\_init(); let ctx2: Ctx8 = jet::sha\_256\_ctx\_8\_add\_2(ctx1, 0x5120); let ctx3: … --- ## [Simplex 0.0.12 released](https://community.simplicity-lang.org/t/simplex-0-0-12-released/77)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 0\ **Last updated:** [September 26, 2026, 5:00am UTC](https://community.simplicity-lang.org/t/simplex-0-0-12-released/77 "2026-09-26T05:00:44Z")
Simplex 0.0.12 has been released. You can get it on GitHub or via simplexup. From the changelog: \[0.0.12\] Added transaction sanity check to the Signer to not sign obviously malformed transactions. Added dependencies v… --- ## [Styx stablecoin contract](https://community.simplicity-lang.org/t/styx-stablecoin-contract/48)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 7\ **Last updated:** [September 24, 2026, 10:35am UTC](https://community.simplicity-lang.org/t/styx-stablecoin-contract/48 "2026-09-24T10:35:25Z")
https://styx.network/ is a pseudonymous stablecoin project based on Simplicity that we’ve come across run by a user named Χάρων (the original Greek spelling of Charon). It was originally posted as a self-contained site … --- ## [Web-to-wallet communication specification](https://community.simplicity-lang.org/t/web-to-wallet-communication-specification/73)
**Author:** [@gerau](https://community.simplicity-lang.org/u/gerau)\ **Replies:** 3\ **Last updated:** [September 17, 2026, 10:19am UTC](https://community.simplicity-lang.org/t/web-to-wallet-communication-specification/73 "2026-09-17T10:19:21Z")
Hi everyone, I want to share a specification for web-to-wallet communication, which describes the way a dApp and a wallet could connect and exchange messages with each other. You can think of this as a simpler WalletCon… --- ## [Documentation updates (live and pending)](https://community.simplicity-lang.org/t/documentation-updates-live-and-pending/65)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 1\ **Last updated:** [September 11, 2026, 10:40pm UTC](https://community.simplicity-lang.org/t/documentation-updates-live-and-pending/65 "2026-09-11T22:40:01Z")
Hi everybody, I’ve pushed a bunch of clean-ups on https://docs.simplicity-lang.org/, including streamlining our Welcome pages and some other material, and removing a few obsolete or redundant pages. We also have Simplex… --- ## [Simplex 0.0.11 released](https://community.simplicity-lang.org/t/simplex-0-0-11-released/70)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 0\ **Last updated:** [September 10, 2026, 2:55pm UTC](https://community.simplicity-lang.org/t/simplex-0-0-11-released/70 "2026-09-10T14:55:14Z")
Simplex 0.0.11 has been released. You can get it on GitHub or via simplexup. From the changelog: \[0.0.11\] Bumped simplicityhl dependency to 0.7.2. Added simplex clean --all flag to also delete installed dependencies. A… --- ## [ELIP-206: Clear Signing for Liquid Wallets](https://community.simplicity-lang.org/t/elip-206-clear-signing-for-liquid-wallets/67)
**Author:** [@KyrylR](https://community.simplicity-lang.org/u/KyrylR)\ **Replies:** 1\ **Last updated:** [September 9, 2026, 12:54pm UTC](https://community.simplicity-lang.org/t/elip-206-clear-signing-for-liquid-wallets/67 "2026-09-09T12:54:31Z")
This thread is dedicated to discussing ELIP-206, which clarifies how wallets should explain the consequences of signing a particular transaction to users and provides examples. Link to the PR: Add ELIP: Clear Signing fo… --- ## [Linear and affine types in SimplicityHL](https://community.simplicity-lang.org/t/linear-and-affine-types-in-simplicityhl/66)
**Author:** [@apoelstra](https://community.simplicity-lang.org/u/apoelstra)\ **Replies:** 2\ **Last updated:** [September 6, 2026, 11:59am UTC](https://community.simplicity-lang.org/t/linear-and-affine-types-in-simplicityhl/66 "2026-09-06T11:59:46Z")
In SimplicityHL, all objects are currently passed to functions “by value” and by copying the value. (Under the hood, we use the pair “parallel composition” combinator which does exactly this, copies a value into the inpu… --- ## [Effects, witnesses, parameters and purity](https://community.simplicity-lang.org/t/effects-witnesses-parameters-and-purity/63)
**Author:** [@apoelstra](https://community.simplicity-lang.org/u/apoelstra)\ **Replies:** 4\ **Last updated:** [September 1, 2026, 8:09am UTC](https://community.simplicity-lang.org/t/effects-witnesses-parameters-and-purity/63 "2026-09-01T08:09:03Z")
In this post I talked about a new quote operator that would be used to transform a Simplicity expression into a new expression which computes the CMR of the original expression. In such expressions witness nodes all turn… --- ## [A Liquid-to-NOSTR bridge built on unused rangeproof space](https://community.simplicity-lang.org/t/a-liquid-to-nostr-bridge-built-on-unused-rangeproof-space/64)
**Author:** [@stringhandler](https://community.simplicity-lang.org/u/stringhandler)\ **Replies:** 0\ **Last updated:** [August 31, 2026, 1:18pm UTC](https://community.simplicity-lang.org/t/a-liquid-to-nostr-bridge-built-on-unused-rangeproof-space/64 "2026-08-31T13:18:13Z")
Every confidential Liquid output has a rangeproof attached to it. The rangeproof is usually about 4 KB, which is quite large compared to other schemes like Bulletproofs. But that size comes with a benefit that’s mostly u… --- ## [SimplicityHL standard library 0.1.0 released](https://community.simplicity-lang.org/t/simplicityhl-standard-library-0-1-0-released/61)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 1\ **Last updated:** [August 31, 2026, 7:27am UTC](https://community.simplicity-lang.org/t/simplicityhl-standard-library-0-1-0-released/61 "2026-08-31T07:27:41Z")
The first public release of the SimplicityHL standard library has landed! From the changelog: The initial release with checked arithmetic operations for u8, u16, u32, u64, and u128; OP\_RETURN detection utilities; imp… --- ## [Experimenting with a Liquid Web Wallet Interface](https://community.simplicity-lang.org/t/experimenting-with-a-liquid-web-wallet-interface/59)
**Author:** [@tvolk131](https://community.simplicity-lang.org/u/tvolk131)\ **Replies:** 2\ **Last updated:** [August 26, 2026, 3:06pm UTC](https://community.simplicity-lang.org/t/experimenting-with-a-liquid-web-wallet-interface/59 "2026-08-26T15:06:40Z")
Hey everyone! While building Apogee, Resolvr’s self-custodial Liquid browser wallet, I’ve been experimenting with how web apps should discover and communicate with Liquid wallets. The draft Liquid Wallet RPC Profile def… --- ## [SimplicityHL updates: enum types and witness type inference](https://community.simplicity-lang.org/t/simplicityhl-updates-enum-types-and-witness-type-inference/50)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 7\ **Last updated:** [August 26, 2026, 11:05am UTC](https://community.simplicity-lang.org/t/simplicityhl-updates-enum-types-and-witness-type-inference/50 "2026-08-26T11:05:03Z")
I just pushed a documentation update to (and a couple of other related documentation pages) reflecting some significant changes in SimplicityHL 0.7.0: type inference in witness parsing and enum types. You can see the… --- ## [Simplex 0.0.10 released](https://community.simplicity-lang.org/t/simplex-0-0-10-released/60)
**Author:** [@schoen](https://community.simplicity-lang.org/u/schoen)\ **Replies:** 0\ **Last updated:** [August 26, 2026, 5:39am UTC](https://community.simplicity-lang.org/t/simplex-0-0-10-released/60 "2026-08-26T05:39:29Z")
Simplex 0.0.10 has been released. You can get it on GitHub or via simplexup. From the changelog: \[0.0.10\] Added SECURITY.md for security reporting guidelines. wasm Implemented new wasm crate with wasm bindings for t… [Next page](https://community.simplicity-lang.org/latest.md?page=1)