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/
-
LIVE
Mally_Mouse
3 hours agoLet's Play!! Super Mario Party Jamboree
526 watching -
LIVE
TheMonicaCrowleyPodcast
1 hour agoThe Monica Crowley Podcast: What Kamala's Meltdown Reveals About the System
887 watching -
1:44:47
QAGamer.com
2 hours agoX-Box Event WatchParty 👀 & Gaming News
3.09K3 -
2:11:14
The Dilley Show
3 hours ago $11.49 earnedKamala Lights Campaign on Fire! 19 Days left! w/Author Brenden Dilley 10/17/2024
42.4K7 -
11:07
Jamesons Travels
17 hours ago $0.08 earned“Marine Corps is the Most RACIST Institution in America” (Navy Seal Officer)
3.7K10 -
DVR
vivafrei
6 hours agoTrain-Wreck Kamala is TRENDING! Debate Recap! FBI Lies! Georgia Election Ruling & MORE!
50.2K45 -
LIVE
Danny Haiphong
4 hours agoBREAKING: Israel TAKES OUT Sinwar, Iran Strike IMMINENT, WW3 Next? w/Col. Larry Wilkerson & Matt Hoh
716 watching -
57:26
Grant Stinchfield
3 hours ago $4.12 earnedKamala Implodes... Trump Shines... The Tale of Two Interviews You Can Use to Predict the Outcome!
24K16 -
55:49
Dave Portnoy
5 hours agoThe Unnamed Show With Dave Portnoy, Kirk Minihane, Ryan Whitney - Episode 33
32.2K6 -
1:13:32
TheAlecLaceShow
5 hours agoGuest: Chairman Michael Whatley | Kamala Gets Cooked by Bret Baier | FBI Lied | The Alec Lace Show
12.6K4