SC9 Revolutionizing Smart Contract Verification with Proof of Execution and the Sum-Check Protocol

Q: At what stage of development are you currently and when do you expect to release Tau or a part of Tau, in order for users to start using it?

A: In an existing smart contract, 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 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 the TML is implemented which is using BDDs, and Binary Decision Diagrams. This enables us to use the Sum-Check protocol.

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

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

#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