The Upgradable Blockchain
Over the past 5 years, our team have been developing a powerful declarative formal language named Tau Language and the Tau Net blockchain. It is a highly novel language where users can synthesize working programs from requirements given in natural …