L9 Tau's Use of Logic to Ensure Trust in Blockchain and Cryptocurrencies

All the specifications will be done using logic. This means that whatever decision Tau will ever take, will ever impose on the user will be undisputable and will collect information based on logic. This means that it will not gather information by looking at similarities of the goal, this may be something like this, No, it will take the exact information that is going to be told by the users. And with all this information, we'll answer questions in an undisputable way because, in the context of blockchain and cryptocurrencies and all these things I guess like in relational database success stories in transactions in e-commerce where you don't want to lose money, you want really precision, you want trust I guess in the context of Tau is also quite relevant.  - Prof. Enrico Franconi - Academic Advisor of Tau https://tau.net/our-team/
#Tau #Tauchain #Agoras #shorts #blockchain #formalverification

🎥 https://www.youtube.com/watch?v=GGCeJ5r2d-M&list=PLeBSjZu0y6vW5g7RP8XJL67KPLtrmAiOh&index=9 👈

🧀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
Facebook: Andrew Onizuka
Twitter: @AndrewOnizuka
Instagram: andrewonizuka
Tiktok: andrewonizuka
Reddit: Andrew_Onizuka