BitVM

Blockstream Launches Simplicity on Liquid Network for Verifiable Bitcoin Smart Contracts

Blockstream’s rollout brings formal verification to Bitcoin sidechain contracts using a UTXO-based design, setting the stage for a developer-oriented higher-level layer.