SC5 Tau Smart Contracts: The Future of Blockchain Contract Language

Q: How are the contracts that are used in Tau different from other blockchain smart contracts?

A: Existing smart contracts are nothing but code, where code is again just machine instructions. And also existing contract languages in the blockchain world are so-called Turing-complete. This implies that it is mathematically impossible to fully reason and answer questions about the outcomes of contracts. In Tau, you will be able to write contracts in languages that are much closer to real-life languages and to real-life concepts. Less about machine instructions, and more about the objects in real life.

In existing smart contracts, they don't know What is money? What is property?
They know to add a number, that's what they do know. In Tau, you will be able to speak in much more human concrete terms about what the contracts should do.

Ohad Asor, Founder and CTO of Tau - https://tau.net/our-team/

🎥 https://www.youtube.com/watch?v=mcgFzMldHsQ&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&index=5 👈

#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