Tau Net & Agoras Token. Powered by Tau Software Specification

We are excited to introduce Tau Net and Agoras. They, respectively, are a decentralized collaborative platform and token that will use our novel method of logic-based collaborative software specification, combined with knowledge representation. This method makes it possible for users to request and receive answers and functionality automatically, with provably correct results.

We thank our team of researchers, scientists, experts and supporters for almost a decade-long undertaking of dedicated effort.

In its decentralized setting, Tau Net is the ultimate DAO.



Prof. E. Franconi

Founder of KRDB Research Centre for Knowledge and Data

“I find the vision on Tau revolutionary and game-changing.“

Dr. M. Cramer

Doctor in Knowledge Representation at TU Dresden

“Tau opens up the possibility of having large-scale discussions without getting lost, of coming to an agreement between many actors in an efficient way.“

Prof. C. Benzmüller

AI systems engineering professor at University of Bamberg

“The Tau project is fascinating and visionary.“

Tau Net is the ultimate user-defined experience

We invented a breakthrough logic-based AI to enable an evolving platform entirely defined by its users. It will begin as a sophisticated combination of large scale discussions and collaborative software specification between any number of people, and its self-evolving nature will allow it to become whatever its users want it to be.

Just say it

On Tau Net, users will be able to just say what they want, and trust it to happen, and to be faithfully represented in discussions. To be represented faithfully, users will also be able to specify their own meaning of individual words and terms to the system. Tau Net will offer a ‘Just say it’ AI interface between humans and logically organized information, thereby granting its users the ability to automatically obtain provably accurate action and results from the system.

The potential of being able to 'Just say it'

The potential of this AI embedded in Tau Net in just ‘saying the thing you want’ in as complex a requirement as desired, will shape the future of technology, communication & economy.

Individual and collaborative understanding

Tau Net will automatically represent users in any number of large-scale discussions after they have provided the relevant information once. Tau Net will highlight areas where people agree, disagree, and contradict, between any number of people, and will act on these collaborative decisions, solving the need to explicitly vote. Users will be able to make their own individual requests, where Tau Net will respond with a logically accurate result.

Efficient discussion & development scaling

Tau Net will enable efficient discussion of billions of people, as well as the acceleration of personal and scientific discoveries. Users will write their ideas and opinions in a form Tau Net can process, and it will automatically generate an opinion map showing the overlapping points of agreements and disagreements, exponentially increasing information utility.

This innovation will also enable scaling the network itself. Users will be able to make statements that cover aspects of the software’s behavior partially or completely, globally or locally. Tau Net will combine all agreements of all users into one program, so there will be no loss of productivity in development as users increase and make even more statements.

Controlling self-evolving software

Users simply say what software they want, this can be anything such as asking the system to create new software or for the system itself to become something new entirely. Users will have unprecedented ability to have direct control in every aspect of the software’s behavior, with the system being able to prove requirements are met.

Tau Net's AI compared to ChatGPT

At the face, they are both similar in that users may ‘Just say it’, however, Tau Net uses a software specification & KRR approach, whereas ChatGPT uses a ML-based approach. ML is excellent at certain tasks and to the untrained, gives the impression that requests are understood because of its ability to occasionally generate coherent and semantically meaningful text.

However, because of ML’s statistical nature, it’s mathematically impossible for an ML-based system to always give users accurate results in return or even do logical reasoning, so we require a stronger form of AI which is absolute.

Examples of 'Just say it'

Decentralized development

Tau Net’s entire user base will effectively control and collaboratively implement any desired aspect of its behavior as each block in the blockchain will contain a new agreed definition of Tau Net. Before making governance decisions users will be able to ask how the system itself works, including its current rules for change and conclusions, inconsistencies and potential outcomes before further implementations.

Example: “I want Tau Net to have X feature.”


I want my assets on Tau Net to be more secure. I define secure as not hackable by brute force, using a certain hash function, and not sending private data over the network.


I want to make sure my personal details are protected. I consider my personal details as being protected when private data isn’t sent over the network.

Tau Net AI:

Calculates the entire user base’s agreement on network security, then automatically synthesizes its own next version. What users want can be logically implied from what they say. This opens up endless possibilities for the creation of killer apps & features.

Tau Net compared to other blockchains

Many blockchain projects claim to have decentralized development. We don’t find their methods sound because they ask their users to vote on code patches manually or use ML techniques for mass voting, which are statistical in nature. Further, code is implemented by a centralized development team who has to be trusted, and even if trusted, cannot write code with a proof of accurate outcome.

On Tau Net, users will govern the development of the system by saying what they want the network to be like in the form of statements that satisfy rules and changes to be implemented. The system will then calculate the agreement amongst the users and implement the next version of Tau Net into the next block in the blockchain.

Automatic Logic-based smart contracts

The ability to use knowledge representation languages makes it possible for a user to write a contract using real world concepts and even include their own knowledge as an asset for trade. This establishes a novel knowledge economy within Tau Net. Contracts may include anything, such as rental of computer resources, financial instruments and Agoras ($AGRS). Tau Net will be able to automatically calculate and perform a chain of multiparty trades to exchange one asset to a desired outcome.

Example: “I want to sell my X for Y.”


I want to sell 5hr’s of my GPU power and my knowledge on law in exchange for the code to the app I want.

Tau Net AI:

Tau Net will automatically create a novel smart contract with KRR. This allows users to use languages and concepts that include everyday life and knowledge, like their own personal definition of ‘fair’ or anything defined within Tau Net. Users say whatever complex deal they want and will automatically get a provably-correct smart contract, instantly creating a market for it on the platform. Tau Net will be able to accurately ascertain when requirements are met and automatically perform the trade.


Different to other smart contracts because

(1) Users may query any contract and receive accurate answers about it, like “what it will entail”, or “will it achieve X”, even before it is run.
(2) In other blockchains, the client Is code and the smart contracts are code. Our software specification approach applies to both the client and smart contracts.
(3) No other smart contract allows for KRR in this form.

Agoras ($AGRS), is at the centre of trade within the Tau Net economy. It will be used in trade of knowledge, computer resources and financial instruments within Tau Net smart contracts, representing the total purchasing capability of all increasingly available assets in the system. Users can continuously evolve its utility and features from block to block.

Example: The token should function like X


I prefer a deflationary system that rewards active participants in the network.

Users agree:

Agoras should change its consensus mechanism and become deflationary by burning 50% of all transaction fees and reward active network participants by redistributing 50% of all transaction fees across all active wallets that hold $AGRS.

Tau Net AI:

Will automatically adjust the tokenomics based upon the collective agreement on its desired behavior from Tau Net’s user base.


On Tau Net, your user profile is called a Worldview. It is a personal repository of your knowledge, opinions and assets, where you can make changes to your opinions in all posts and relevant discussions across the entire network. A traditional user profile is centralized and limited to chronological posts of your thoughts and beliefs, which may not be in alignment with how you currently think.

Examples of Just say it AI incorporating Worldviews

Example: “I want to see users that think like X”


I want to see everyone who thinks like Warren Buffet on economics and disagrees with Steve on climate change.

Tau Net AI:

Can show information and users based on knowledge users hold within the system.


For example, users can query which users are interested in similar questions and outcomes as them, which users certain opinions and knowledge or even which users disagree on anything. This opens up possibilities in discoveries, finding people, global discussion, research, business, recruiting, dating, and more. Users only have to express themselves once and their opinion can automatically be reflected across the network.

Technical papers

Read our technical papers to learn about some of the breakthroughs we have made in software development and blockchain, and how Tau Net works.

Tau Net Whitepaper (ENG)

Tau Language Summary

Tau Net Whitepaper (CN)