But highly inventive contracts, such as leveraged default swaps or schemes based on high-frequency trades, would be created in an entirely new way. They would be denied ambiguity. They would be formally described. Financial invention would take place within the simplified logical world that engineers rely on to create computing-chip logic.
A legitimately interesting idea. I've only heard of "smart contracts" in the context of (stupid) cryptocurrency, has this idea had any traction in traditional finance over the past 15 years?
