Simplicity

In brief Built for formal verification, Simplicity avoids recursion, loops, and global state. Simplicity runs on the federated Bitcoin sidechain, Liquid. The …

The newly launched simple language of Blockstream brings formally verifiable contracts to the liquid network of Bitcoin and offers institutions a new …