Smart contracts will require heavy duty mathematics. There is work nearing release which would employ Haskell in this capacity. These contracts are going to li

Smart contracts will require heavy duty mathematics. There is work nearing release which would employ Haskell in this capacity. These contracts are going to live in a very complex environment and have network effects which approximate a semantic web or a global narrow AI. My own angle on this stuff is collecting environmental information from bird calls heard by smartphones. This could alert us to sudden ecological changes.