Bitcoin Core developer Peter Wuille unveiled a new Bitcoin smart contract programming language called Miniscript