Blockstream Launches Simplicity Smart Contracts On Bitcoin’s Liquid Network Sidechain
The new language uses Bitcoin’s UTXO model and allows contracts to be verified with math before they are executed.

Source: Bitcoin Magazine
The new language uses Bitcoin’s UTXO model and allows contracts to be verified with math before they are executed.