BitVM proposes a new method for expressing Turing-complete Bitcoin smart contracts without altering the network's consensus rules.