In 2017, Blockstream set out to develop a smart contract language that outperforms Bitcoin Script and EVM, offering more expressiveness with stronger safety assurances. Eight years later, we believe w...