The first ever Smart contract in the bitcoin mainnet was just deployed Sept 8, 2020. The contract was a "Discreet Log contract". Two crypto users made a bet as to whoever will win the the upcoming U.S. presidential election. They both betted $10,000 for it. Bitcoin engineers says that they have all the things covered which also includes refunds if ever there is a seperate candidate that will win from either Trump or Biden.