SC13 Efficient Transaction Validation with Proof of Execution and the Sum-Check Protocol #shorts

Question: Given the Proof of Execution mechanism, what is the minimum setup to validate transactions?

Answer: There is a famous proof of execution algorithm that we are going to use which is the Sum Check Protocol. Why doesn't anyone use this? Why don't they use the Sum-Check protocol and Proof of Execution already? Well, because it works only if you bring your computation into a very certain form and in general it would be extremely hard in practice to bring the computation into that form. But, TML, because it is implemented over BDDs, BDDs are already in that form. So it can readily use the Sum-Check protocol and provide Proof of Execution for BDD operations and in turn for the execution of the TML programs.
Ohad Asor, Founder and CTO of Tau - https://tau.net/our-team/

#Tau #Tauchain #Agoras #shorts #blockchain #formalverification

🎥 https://www.youtube.com/watch?v=UfqqnTQCCJQ&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&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

Follow me on
Facebook: Andrew Onizuka
Twitter: @AndrewOnizuka
Instagram: andrewonizuka
Tiktok: andrewonizuka
Reddit: Andrew_Onizuka