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. Cointelegraph spoke with Tau Chain developers HunterMinerCrafter (HMC) and Ohad Asor of the Tau team on the project and how it differs from other decentralized networks such as its ability to prove assertions about code using “ decidable logic .”
The Tau system is weaved like […]