TML13: The Internet of Languages with Proof of Execution #shorts

We finished implementing one logical engine called TML, which is called the internet of languages allowing several languages to coexist. It will support soon, proof of execution. In existing smart contracts, all nodes need to execute all the smart contracts as part of the block verification process. But using proof of execution, only one node will only need to execute them and then supply a short proof, a short cryptographic proof that the execution was correct. This is using the sum check protocol and this is possible because of the specific way that the TML is implemented which is in using BDDs, Binary Decision Diagrams enable us to use the sum check protocol.
- Ohad Asor, Founder and CTO of Tau #shorts https://tau.net/our-team/

🎥 https://www.youtube.com/watch?v=g7J3pnXfvJQ&list=PLeBSjZu0y6vXYCHH38ToqlVoyOd1qeS5f&index=13 👈

🧀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