Ohad,
Instead of using Agoras as a blockchain to support TAU, would it be preferable to port it on top of EOS instead? We would end-up with a truly powerful langage using the latest (scalable to over 1million tx/sec) blockchain platform with not transaction fees ? Then, the Agoras token would be dedicated to create the TAU/AGORAS network effect. Man, I would like to see this happening
Then I suggest using ethereum
lightning network technology that can handle billions of tx/sec.
Just kidding, asking Ohad to make an EOS dapp is like asking him to give up his years of works and start something else from scratch again.
Well, sharding comes with severe limitations when it comes to contracts transacting with other contracts. TX/sec is an incomplete metric to evaluate a platform capacity to handle a project like AGORAS.
In my understanding, the TAU Langage is a project in itself that could be implemented as a smart contract (DAPP) on EOS, taking advantage of parallel processing and other EOS features to create an AGORAS market place based on the TAU Langage. If so, other TAU based Dapps (like AI Dapps) could also be created on EOS. I think that Ohad years of work are related mostly to the TAU Langage. The AGORAS Blockchain is only one implementation of this very powerful paradgim. I would appreciate Ohad's opinion on this.
the most important part of tau is the ability to change itself with time. therefore it cannot rely on a system which doesn't have this property
Thanks Ohad for taking the time to answer. I will try to wrap my mind around this and maybe understand the role of the blockchain infrastructure in relation to TAU. Will TAU be able to evolve the consensus algorithm? Will it be a new consensus (i.e. other thant pow, pos, dpos, ...). What type of projects could result from TAU, etc.
This is a fascinating project. I will study your documentation before getting back with other questions.
Yes, the design of tau is quite ingenious - by using a decidable language and an efficient reasoner it's able to define the blockchain within itself. Thus, users of Tau are able to define new rules of Tau and the reasoner can detect whether consensus is achieved at a logical level, and if so, they will be automatically implemented in subsequent blocks.
This is how Tau will truly be a self amending platform.
The ability to come up with designs of this level is just one part of Ohad's genius. As some others have said, he's the real deal. I do recommend everyone to join the irc channel (I keep it opened in the background) where you'll get daily updates from Ohad, and to read up on the IRC logs for a glimpse of how his mind operates.