In brief Built for formal verification, Simplicity avoids recursion, loops, and global state. Simplicity runs on the federated Bitcoin sidechain, Liquid. The project aims to attract institutions with auditable contracts for finance, custody,…