SC1 Preventing Ethereum-Like Hardforks with Tauchain: The Power of Decidable Programming Languages

Q: Can situations like the one that led to the Ethereum hard fork be avoided on Tauchain?

A: The case on Ethereum could be avoided by another feature of Tau, which is about knowing what the code should do. Tau language is also a programming language and is a decidable language which means I can ask the computer what a given code is doing and have mathematical proof that it is indeed what it is doing. So in Ethereum's DAO case, we could query for example, in which case something is eligible to withdraw funds or to restrict that only certain entities are able to withdraw funds. And we could either get proof that this code meets those requirements and trust it or not and fix it.

🎥 https://www.youtube.com/watch?v=8gvZ4AcwYto&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6 👈

#Tau #Tauchain #Agoras #shorts #blockchain #formalverification

🧀Test Tau Meta Language.
🔗 tml.tau.net
📄Abstract: Draft for Community Review
🔗https://lnkd.in/gWJZj9sN
😼Published Codes
🔗 github.com/IDNI/TML
🌐Website of Tau
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain

Follow me on
Facebook: Andrew Onizuka
Twitter: @AndrewOnizuka
Instagram: andrewonizuka
Tiktok: andrewonizuka
Reddit: Andrew_Onizuka

Many thanks to:
Video by artemy tavrasov: https://www.pexels.com/video/3d-blue-object-4696278/