SC3 Trusted Smart Contracts with Tauchain: Know the Consequences Before Running Them

"With the ability to have smart contracts that are able to be trusted, that I can know the consequences of the contracts before I run it".

Ohad Asor, Founder and CTO of Tau - https://tau.net/our-team/
#Tau #Tauchain #Agoras #shorts #blockchain #formalverification

🎥 https://www.youtube.com/watch?v=RMgLCq-3Jno&list=PLeBSjZu0y6vV-vSKu9EcoaceQEiWtYcP6&index=3 👈

🧀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

Many thanks to:
Video by artemy tavrasov: https://www.pexels.com/video/3d-blue-object-4696278/
Video by cottonbro: https://www.pexels.com/video/reflection-of-codes-in-a-woman-5473981/