OP_CAT Proposal to Bring Smart Contracts to Bitcoin Finally Gets a 'BIP Number'