/post BitVM: A Turing-complete computing paradigm for Bitcoin smart contracts as optimistic rollups