Has there been any significant progress toward using Bitcoin’s purported Turing complete semantics to implement smart contracts general enough to support something like Silk Road? I ask in part because while wondering what became of Nick Szabo (who went all-but-silent on social media a few years ago) I ran across the above article that, in the process of debunking the idea Nick is Satoshi (which Nick has also denied), linked to a video demonstrating Turing capability which Nick seemed to deny in a prior public appearance.