Miniscript Language

Since its inception, bitcoin has used Script- a smart contract development language. Script is an extensive non-Turing complete programming language. The language lets developers encode certain conditions that define the spending of coins. While Script has many capabilities, it's tough to implement, especially when complex smart contract conditions are involved. In addition, writing and verifying a complex contract is prone to human errors that don't go well with money at stake. To improve this, blockchain engineers Pieter Wuille, Andrew Poelstra,…