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
-
LIVE
Fresh and Fit
7 hours agoCall In Show
6,956 watching -
LIVE
Slightly Offensive
7 hours agoTrump ASSASSIN “Accidentally” CREMATED by FBI | Guests: Revenge of the Cis
2,535 watching -
1:46:12
Glenn Greenwald
6 hours agoUkraine’s Incursion Into Russia, Nord Stream Pipeline Revelations, and More with Michael Tracey and Russia Analyst Prof. Glenn Diesen | SYSTEM UPDATE 316
90.5K113 -
1:57:20
Kim Iversen
8 hours agoWe’re Being Duped About The Homelessness Crisis: The Dark Truth Behind The Cleanup Efforts
60.5K67 -
4:41:20
Nerdrotic
11 hours agoAlien: Ridiculous | Disney is EVIL | Rings Of Power DESPERATION - Friday Night Tights 315 Chris Gore - Friday Night Tights 315 w/ Chris Gore
109K50 -
22:56
Stephen Gardner
12 hours ago🔴BREAKING: Well, well, well...What do we have here? KAMALA Cheating Exposed!
46.7K114 -
1:26:13
Savanah Hernandez
9 hours agoKamala promises to crash the US economy with $1.7 trillion dollar handout plan
91K109 -
8:58
After Skool
15 days agoWhat Is In The Great Beyond? - Graham Hancock
88.6K82 -
7:33:34
MissesMaam
14 hours agoCozy Games + Coffee 💚✨
94.5K10 -
1:53:26
Twins Pod
1 day agoFrom America's General To Political Target! | Twins Pod - Episode 26 - General Flynn
123K32