Tau Chain is a decentralized peer-to-peer network that claims Ethereum’s Turing completeness is the wrong direction as it is undecidable logic and missing an intricate part: proof of language. Tau ...

Proof-of-stake blockchain protocol Algorand and blockchain software firm Blockstack have launched a joint open-source project to support the development of a smart contract language dubbed “Clarity.” ...