Economics ❯ Digital Economy ❯ Cryptocurrency Economy ❯ Bitcoin Economy
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.