SC6 TML: Certifying the Correct Execution of Smart Contracts #shorts

The really big news is the realization of how we can give a short certificate for the cryptographic level through a correct running of a tml program. To take an example in Ethereum, everyone needs to write the smart contracts while it is not the case that one can run it and provide a certificate that they run it correctly. Well, you will be able to do so in TML. This is because TML is based on BDDs and therefore the running of TML can very straightforwardly convert it to QBF formula, QBF formula says that the running is correct and using the Sum Check Protocol, and the proof that IP equals PSPACE, the Interactive Proofs in polynomial time equals polynomial space without cryptographic assumptions or without probabilistic a weakening of the problem, short proofs, polynomial proofs are NP, but if we allow probabilistic proofs, we can go up to PSPACE. That's really a big thing that one node runs a tml program and can convince all the others efficiently in short proofs that the running is correct.

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

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

#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