Leaner

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