BitVM, a system intended to bring smart contract capabilities to the Bitcoin blockchain that enables developers to run complex, Turing-complete programs on Bitcoin without sacrificing security