Simplicity simply received a contemporary new look. The redesigned website matches the place the language is at this time: stay on Liquid mainnet, operating actual monetary contracts, and constructed for the builders and establishments creating the subsequent technology of Bitcoin purposes.

The refresh lands on the again of actual progress. Post-quantum signatures are stay on Liquid mainnet, the Lending v1 contract code is finalized, and groups throughout the ecosystem are already writing monetary logic in Simplicity. The new website is constructed to present that off and to give each type of customer a spot to begin.

Proof Before Deployment

The thought behind Simplicity is one most Bitcoin builders will acknowledge as overdue. Countless good contract failures of the previous decade traces again to the identical hole: code that no one might show was protected earlier than it shipped. Reentrancy bugs, logic errors, runaway gasoline prices, and exploits that drained a contract in a single transaction all grew out of that one weak point.

Simplicity closes that hole. It’s a low-level language expressive sufficient for superior covenants and monetary devices, and formally verifiable sufficient to show precisely how a contract behaves earlier than it goes stay. Because useful resource prices are calculated forward of execution, there are not any shock charges and no out-of-gas failures mid-transaction. Developers write SimplicityHL, a Rust-like high-level language, and full nodes execute the compiled Simplicity beneath. A developer can open the IDE and deploy a primary contract in a single click on, then learn the proof that it does precisely what it claims.

That mixture of expressiveness and provability is what units Simplicity other than general-purpose good contract platforms. It’s purpose-built for finance, the place a single unprovable assumption can break the bank.

Built for Capital Markets

The new website speaks immediately to monetary establishments by a devoted Capital Markets web page. The headline? High-assurance monetary programming on Bitcoin. Simplicity allows contracts which can be auditable and provable earlier than deployment, predictable in value, and settled on Liquid.

For establishments, that mixture is the distinction between hoping a system holds and figuring out it would. 

A Simplicity contract might be checked in opposition to its specification mathematically, so the safety ensures a monetary utility is determined by are a part of the language itself moderately than bolted on afterward. Teams can construct programmable capital markets, challenge belongings, and settle trades on Liquid, then attain out immediately to put a contract into manufacturing.

A Growing Catalog of What’s Possible

The new Apps web page collects what’s already being constructed on Simplicity: lending, automated financial savings, asset tokenization with enforced royalties, Bitcoin inheritance, peer-to-peer buying and selling, post-quantum wallets, and two-party escrow. 

It additionally works as a head begin for brand spanking new builders. Instead of opening an empty file, a developer can adapt a contract from the current library, which shortens the path from an thought to a deployed utility operating on an actual community.

Take a Look

We’re excited to kick off the subsequent period of Simplicity. Explore the new website at simplicity-lang.org!

• Deploy a contract in the SimplicityHL IDE.
• Schedule a call to consider Simplicity for a monetary utility.
• Read the docs to go deeper on the language.