Technology ❯ Blockchain ❯ Bitcoin
Simplicity
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.