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
-
2:36:06
Barry Cunningham
7 hours agoPRESIDENT TRUMP IS TRULY USHERING IN THE GOLDEN AGE OF AMERICA! CAN YOU FEEL IT?
105K44 -
3:47:25
SynthTrax & DJ Cheezus Livestreams
3 days agoFriday Night Synthwave 80s 90s Electronica and more DJ MIX Livestream 2K Celebration SPECIAL EDITION 530pm PST / 830pm EST
46.8K5 -
2:21:54
VapinGamers
4 hours ago $2.97 earnedDestiny 2 - Edge of Fate Legendary Run Part 3 - !rumbot !music
24.9K -
2:04:25
TimcastIRL
7 hours agoTrump DOJ Gives Ghislaine Maxwell Limited IMMUNITY As She Rats On 100+ People | Timcast IRL
227K163 -
1:09:09
Omar Elattar
9 hours agoThe Brain Experts: Your Brain Can Rewire Itself At Any Age & Here's How!
22.5K4 -
4:30:37
IcyFPS
5 hours agoLIVE - Wuchang Fallen Feathers x Borderlands w/ pope!
29.4K2 -
29:24
Afshin Rattansi's Going Underground
19 hours agoWas Epstein a Mossad Agent? Will Obama go to Prison? (Afshin Rattansi vs Alan Dershowitz)
30.8K23 -
4:26:54
Nerdrotic
12 hours ago $34.41 earnedFantastic Four Baby Steps V Superman's James Gunn, South Park Returns | Friday Night Tights 364
114K10 -
3:17:40
megimu32
5 hours agoOFF THE SUBJECT: FAFO Friday! Cops, Crash, Kombat & Chaos!
25.9K6 -
10:17:28
GrimmHollywood
15 hours ago🔴LIVE • GRIMM HOLLYWOOD • CLIP FARMING 101 •
21.4K1