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
-
2:29:30
WeAreChange
5 hours agoBiden WON'T Handle NUCLEAR FOOTBALL If War Breaks Out After 8 PM??
47.2K27 -
57:56
The StoneZONE with Roger Stone
6 hours agoWill Biden Declare A National Emergency To Cancel The 2024 Election? Pete Santilli | The StoneZONE
18K3 -
1:04:17
The Osbournes
17 hours agoOzzy’s Ultimate Dream Band | Fan Questions Answered
45K10 -
4:16:47
Drew Hernandez
11 hours agoWATCH PARTY: TRUMP RALLY DORAL FL
51.9K18 -
23:18
Winston Marshall
6 days ago“We Have Been Betrayed!” What’s Really Going On with Farage’s Reform UK Party
45.9K19 -
17:51
Lauren Chen
4 hours agoMikhaila Peterson CALLS For Elon Musk To Censor X?
42.5K60 -
1:13:11
Redacted News
7 hours agoBREAKING! Deep State Plan to REMOVE Biden Unfolds, Parkinson's COVER-UP | Redacted w Clayton Morris
105K241 -
1:02:24
In The Litter Box w/ Jewels & Catturd
1 day agoBig Boy Biden | In the Litter Box w/ Jewels & Catturd – Ep. 600 – 7/9/2024
83.5K42 -
2:15:28
Tucker Carlson
8 hours agoAri Shaffir: Growing Up Orthodox, How Joe Rogan Saved Comedy, and the Infamous Kobe Bryant Joke
182K241 -
26:34
TudorDixon
6 hours agoThe Left's Power-Hungry Tactics and Disregard for the Rule of Law | The Tudor Dixon Podcast
46.4K13