Binary Decision Diagram on Tau 1 ⚡

A network where you can pay for certain computations, for computation of BDD operations. One of the main characteristics of TML is that it converts its computation into BDD operations, and for those BDD operations, it’s a common practice across the whole BDD world to store previous computations and reuse them, and in this sense, TML is no different. But what we expect for the upcoming network is that this caching of computations first will be stored across the whole network, and second you will be able to ask some node to perform the computation for you for money and that node will not be able to cheat because they will be able to give a short certificate that the computation is correct.

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

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

Watch it: 🎥 https://youtube.com/shorts/OSK6a-2IAkE 👈

🧀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

Many thanks to:
Video by Ruvim Miksanskiy: https://www.pexels.com/video/a-rocky-river-in-the-forest-5896379/

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