Premium Only Content

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
-
3:55:35
Badlands Media
21 hours agoThe Narrative Ep. 30: Patriot Games
94.1K29 -
2:34:45
Matt Christiansen
11 hours agoBondi v Bongino Epstein Debacle, CA Weed Farm ICE Raid, Guest Liberty Doll | MC Live 7/13/25
32.7K42 -
2:27:02
TheSaltyCracker
10 hours ago1 Year Ago Today ReEEeStream 7-13-25
142K357 -
1:11:43
Sarah Westall
14 hours agoHow Long will Humans Live? Immortal Reproductive Cells, Future of Anti-Aging w/ Dr. Bill Andrews
55.7K9 -
7:32:32
SpartakusLIVE
11 hours agoLAST CHANCE for Spartakus' Loadouts w/ ADVANCEDgg || 25% off! - Code "Spartakus"
69.4K1 -
4:35:37
EricJohnPizzaArtist
6 days agoAwesome Sauce PIZZA ART LIVE Ep. #54: I WANT MY PUDGE TV!
62.4K2 -
2:08:06
Nerdrotic
12 hours ago $20.00 earnedLost History of Ancient Peru with Pillars of the Past | Forbidden Frontier #108
79.7K10 -
2:17:57
TruthStream with Joe and Scott
17 hours agoRound Table with Mark Abrahams/NewsTreason, Patriot Underground and Bruce Poppy Screw Big Gov live 7/13 #461
37.7K7 -
2:45:33
IsaiahLCarter
1 day ago $12.84 earnedFighting Crime in NYC, For Real This Time || APOSTATE RADIO EPISODE 023 (Guest: Maud Maron)
60.8K3 -
7:41:56
MissesMaam
10 hours agoCan We Find All The Artifacts ?!? 💚✨
30.9K3