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, both powered by Tau’s groundbreaking approach to formal software specifications. Tau’s Software as Sentences™ paradigm is at the core of Tau Net, enabling logical sentences to serve as executable software.

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.“

The most Decentralized Network, Ever.

Tau Net is a platform entirely developed by its users. They have direct impact in shaping Tau Net’s software according to their preferences. All users are collectively represented as Tau Net continuously evolves by calculating the agreed software between its users’ desires, and creates its next update in a correct-by-construction manner.

Communication has Changed Forever

Users will be able to specify their personal meanings for words and terms they use, allowing Tau Net to accurately process desired requests, and enabling users to discover where all users agree or disagree and much more.

Understand Everyone

Users will instantly see what the entire platform believes across a defined topic, where they agree and disagree, and be able to compare how users think. No need to repeat comments across threads. Instead, each user’s knowledge and opinions are automatically represented in every relevant conversation in the network.

Discussion & Development Scaling

Comprehend discussions & develop Tau Net between any number of people without scaling friction. This results in accelerated discoveries of information and knowledge. Tau Net automatically processes any collaborative decision arising from conversation, removing the need to explicitly vote. This innovation extends to the scaling of the network itself.

Next Level Information Sharing

You control who and how your knowledge and opinions are accessible in any complexity. You may only want people who believe in a certain block size or feature to see those thoughts, ensure your opinions on complex mathematics are represented in all relevant discussions, keep all that knowledge to yourself, or let people pay for access.

Tau Net does for Software what ChatGPT can't

They are both similar in that users describe their desired software in sentences.

ChatGPT employs a Machine Learning (ML) approach that, due to its statistical nature, generates code snippets instead of complete, robust programs. This often results in code that may be inaccurate and necessitates thorough testing, as it lacks the capability for comprehensive reasoning.

Tau Net uses its novel formal language so its process is code-free. It has a wider and more complex scope of software compared to other formal languages and it’s able to fully reason over systems due to its innovations. Software is always guaranteed to be accurate according to the specification, because its sentences are directly executable.

Common Problems in Today's Blockchain World

Decentralized with Centralized Development

Despite claiming to be decentralized, even the most prestigious blockchain projects today rely heavily on centralized development teams. These teams often make major decisions, sidelining non-technical users and alienating them from meaningful involvement.

This centralization challenges even technical users as changes require significant influence. Moreover, providing unrestricted access to all users would make it difficult for projects to scale while simultaneously maintaining accurate alignment with the community’s wishes.

Governance Issues

Rather than relying on transparent systems, users are forced to place their trust in project founders. Control is often in the hands of core teams, developers and significant stakeholders (e.g. miners) due to consensus mechanisms that favor them.

While voting provides an illusion of democratic involvement, it doesn’t guarantee that all proposals receive equal consideration. Even with machine learning techniques employed to amass opinions, the inherent statistical nature of ML combined with influences from economic factors, power dynamics, and popularity means that results often mirror traditional governance approaches.

Bugs & Exploits

Traditional blockchains utilize undecidable programming languages, making them vulnerable to bugs and exploits. While Turing complete languages offer expressiveness, they can also introduce unexpected behaviors, costing the blockchain community billions annually.

Regardless of their capability or talent, code implementations are typically managed by centralized development teams, compelling the community to blindly trust them. Yet, most users cannot verify the integrity of the implemented code themselves.

Misaligned Incentives

Project founders typically secure most of their funding upfront through token sales, creating a potential disconnect from their long-term commitments. The immediate financial success doesn’t necessarily tie to the realization of their promises. Although they might retain some tokens to show some alignment with the community, the rise in token value only adds to their gains. Complicating matters, a gap often exists between a project’s real-world utility and its perceived value, leading some projects to attract users with tactics like high-yield staking, even if it means diluting the token supply.

Tau Net
Decentralized AI in Formal Specification

Tau Net’s blockchain is an entirely formal specification approach through Software as Sentences™ which ensures governance is deeply user-centric, with every user’s desired functionality logically taken into account.

Each agreed specification of Tau Net dynamically evolves from conversations between Tau Net’s entire user base, setting it apart from other blockchains.

Decentralized Development

Users express their vision for the network in sentences using Tau Language or Controlled Natural Languages, which look like everyday languages and work as executable software. Allowing software requirements to work as software, and development being an entirely formal code-free process, ensures rigorous collaborative development.

Development is highly scalable and rapid, as Tau Net calculates the agreed description between all users’ input, which is also executable. This serves as Tau Net’s next consensus-aligned update. Each update is automatically implemented as the next block in its blockchain, and as such Tau Net evolves from block to block.


The upcoming Testnet will be a significant proof of concept that will introduce the potential of Tau Net. This Testnet will uniquely empower users to define what makes a block valid, showcasing Tau Net’s commitment to genuine decentralization and user-driven network evolution. The Tau Net Testnet will soon be followed by the Mainnet, which will possess the full capabilities of a user-controlled, collaborative blockchain discussion network.


Tau Net’s governance goes beyond traditional decentralization. Individuals express their opinion and with that, the implied rules for Tau Net’s system as Tau Net is able to automatically detect the agreements & disagreements across all user inputs. The definition of “agreement” isn’t rigid, allowing for any complex configuration. For example, certain Tau Net features may be amended based on agreements between users with higher expertise or another complex definition. In this framework, Tau Net is a co-creation, with its functionality and rules collaboratively sculpted by the entirety of its community.

Zero Bugs Development

Tau Net has a zero bug development process. As the entire platform is developed as one agreed upon executable formal software specification, Tau Net is wholly correct-by-construction according to user description. This removes the need for formal verification, coding and traditional testing cycle steps, unlike traditional software development approaches. This ensures trust, efficiency and unmatched reliability. Every software component automatically aligns perfectly with the specified requirements.

Flaws of Modern Smart Contracts

Modern smart contracts exhibit significant challenges that can hinder their optimal functionality, ranging from unpredictability and disconnection from real-world knowledge to rigidity and operational inefficiencies.


The undecidable nature of Turing complete languages used in smart contracts can lead to unpredictable outcomes, security vulnerabilities, and inefficiencies. This risks financial losses, system failures, and delays, with corrections made challenging by blockchain immutability.

Limited Knowledge Integration

Modern smart contracts are disconnected from real-world knowledge as they have limited ability to implement knowledge in a machine comprehensive manner.

For example, creating a smart contract to automatically reward cryptographers based on their recognized knowledge and discoveries is not feasible. This confinement severely hampers their applicability as they can’t leverage much of the world’s extremely important information.

Limited Flexibility

Once a smart contract is deployed, altering it to accommodate changes or new scenarios is often impossible without deploying an entirely new contract. This rigidity contrasts starkly with the dynamic and ever-changing nature of real-world agreements and conditions.

Inefficiencies in Complex Operations

Turing complete systems, while powerful and expressive, are inefficient and costly when executing complex operations, leading to higher transaction fees and slower processing times.

Logic-Based Smart Contracts via Software as Sentences™

Tau Net reshapes how smart contracts are conceptualized and executed.


Users describe their contract in everyday language. The description works directly as a provably-correct smart contract according to their description. It bypasses traditional programming hurdles such as the need to code, ensuring a quick and efficient contract development process.

Predictable Outcomes & Enhanced Security

Users are able to query contracts prior to activation using questions such as “what does this entail?” or “will it result in X?” ensuring predictability. Moreover, Tau Net contracts are decidable and are void of vulnerabilities and inefficiencies associated with undecidability.


The adaptive nature of Tau contracts, built on the Software as Sentences™ foundation, allows for modifications in response to evolving scenarios, addressing the inherent rigidity found in many current smart contracts.

Example Contract using Knowledge


“I wish to trade 5 hours of my GPU power and use of my legal knowledge for 3.14 AGRS and a specific program.”

This effectively acts as a smart contract.

Tau Net:

Verifies when the predefined conditions are met and autonomously executes the contract fairly and accurately.

Powering Tau Net's Collective Knowledge Base

Tau Net reimagines static user profiles as “Worldviews”, dynamic knowledge bases that integrate users’ real-world knowledge, digital assets, and implicit and explicit preferences. Worldviews wholly automatically represent users across all relevant discussions, ensuring their opinions are logically accounted for in Tau Net’s development.

Example: Exploring the Frontier of Tech


“Who in the network is actively discussing and experimenting with quantum computing and its implications for cryptography?”

Tau Net:

“Highlighting active members and their profound discussions and insights on quantum computing and its potential impact on cryptographic methods.”


Worldviews allow for seamless discovery of like-minded individuals or those with contrasting views, fostering deep conversations, partnerships in research, and business networking. A user’s expressed viewpoint in their Worldview is echoed across the network, aligning them with related discussions and individuals automatically.

Collective Intelligence

Imagine a world where knowledge logically interconnects, enabling users to uncover new discoveries and solve complex problems by deducing new information from its Knowledgebase. Tau Net is positioned to become the global hub of collective intelligence, accessible by smart agents. Further, Tau Net enables users to monetize their knowledge, automatically connecting problems to solutions that are rewarded with Agoras ($AGRS).

Tau Broker

Tau Broker excels at getting you the best deals across Tau Net, finding the path from the assets and knowledge to the assets you want. Tau Broker instantly handles deal-to-deal chains, automatically creating and executing smart contracts that align with your semantically expressed desires and ethical standards in your Worldview, ensuring every transaction is efficient and aligns with your personal values.

Fastest Road to AGI

Empowering Tau Net with the necessary knowledge to advance humanity, coupled with its evolving collective intelligence, holds the fastest potential to evolve into Decentralized Artificial General Intelligence (AGI).

For the first time in history, Tau offers combining brain power at massive scale using advanced reasoning and inference, where new knowledge will emerge. The number of possible connections between nodes and Worldviews grows quadratically at a fourth power of acceleration, times a large constant.  It is the case that a network of users are able to recover the logical consequences that humans inferred over the course of history in the form of math, philosophy, and science, overnight.

Agoras ($AGRS) is the central pillar of Tau Net’s economy, with formal specification at its core. Users adapt Agoras’ tokenomics in real-time by dictating its functional requirements, and Tau Net implements their agreed requirements as its tokenomics. Agoras facilitates trade in knowledge, computational resources, and financial instruments on Tau Net.

Example: Shaping Token Behavior


I envision a deflationary system where active participants are rewarded.

Users agree:

50% of transaction fees should be burned to create a deflationary effect, and the remaining 50% should be distributed amongst active $AGRS wallets.

Tau Net:

In alignment with user consensus, Tau Net dynamically modifies its tokenomics to reflect the community’s collective vision.

Computational Resources Market

Tau Net’s ecosystem allows users to monetize their idle tech resources, from smartphone CPUs to laptop or desktop GPUs. By renting them out for Agoras, they contribute to a decentralized supercomputer that rivals major tech firms’ capabilities. Those in need are able to access this vast processing power through Agoras, creating a seamless exchange for both providers and renters.

Derivatives Market

Tau Net’s derivatives market allows you to engage in advanced financial trades using Agoras and other digital assets. This market supports a broad array of financial instruments, encompassing more than just futures and options. Uniquely, users are able to earn interest on deposits in a way that neither induces inflation nor results in the minting of new coins. This approach safeguards the integrity of the interest, reflecting the time value of money and genuine hedging demands of participants.

Tau Net Advanced DAOs

Tau Net goes beyond typical DAO capabilities by integrating all information, assets, and knowledge within its ecosystem. This fosters robust connections, enabling alliances based on varied factors, from shared interests to specialized expertise. Tau’s smart contracts manage resources in these DAOs, driven by member consensus, ensuring adaptability and efficiency. With Tau Net, users are able to:

Combine diverse assets, skills, and knowledge to form super-entities that act as one, e.g. large law firms or research groups.

Collaboratively design smart contracts that autonomously manage services, knowledge distribution, rewards distribution & other operations.

Instantly identify members suitable for your DAO based on their knowledge, interests, ethics and assets.

Project Progress

The Road To Decentralized AI

In Progress

   Tau Language Alpha Release

Projected Release - TBD

Release of a minimalistic Tau Language Alpha implementation, video presentation of the simple Tau Programs, Tau Language explanation, and its abilities.

   Tau Net Testnet

Projected Release - TBD post Tau Language

Tau Net Testnet will be a minimalistic yet significant proof of concept that will empower users to define block validity, exemplifying true decentralization. Testnet phase will include extensive testing of user implemented rules along with additional features that are added over time, setting the stage for the fully capable, user-controlled Mainnet.

   Tau Net Mainnet

Projected Release - TBD post Testnet

Tau Net MainNet will enable a fully user-controlled decentralized ecosystem and set the scene for the future of blockchain applications.


   Tau Language


Completed NSO language with recurrence relations.

   Prof. Paweł Parys joins the Team as a Scientific Advisor

June 2022

Prof. Paweł Parys is a scientist from Poland with a Ph.D. in computer science from the University of Warsaw. His research focuses on automata theory, extensions of finite automata, and connections between logics and automata. He has significant contributions to theoretical computer science and programming.

   Tau Language Research

May 2022

Enhancing NSO with a time dimension, making it suitable for software specification. It is a novel and groundbreaking software specification logic, but also an important scientific breakthrough in the project, marking the finalization of all research advancements required for the project.

   Earley Parser Implementation

   Accessible Parsing

March 2022

Tau team developed a high-performance parser based on the Earley parsing algorithm in March 2022, enhancing its capabilities for parsing context-free languages and beyond.

   The language NSO

May 2021

The most important scientific breakthrough in the project so far. It solves problems raised in the whitepaper in a much more robust way, in particular a novel and groundbreaking method to extend languages with the ability to deal with their own sentences and their truth value as any other objects, while preserving consistency and decidability.

   Prof. Enrico Franconi joins the Team as a Scientific Advisor

November 2020

Prof. Enrico Franconi is a professor in knowledge representation databases. His research focuses on applying database, artificial intelligence, and semantic technologies to information systems design, data integration, and ontology modeling. He provides valuable research advice to Tau’s technical developments, further strengthening the project’s scientific foundation.

   TML IDE Initial Release

   Empowering the Community


The release of the TML IDE in Q3-2020 empowered Tau’s community to explore and experiment with the Tau Meta-Language, fostering collaboration and innovation.

   Full Design Published in an Updated Whitepaper

   A Comprehensive Design Blueprint


Tau shared its complete design in Q3-2020 through an updated whitepaper, providing a comprehensive blueprint for the project’s development.

   Maturity of Basic TML

   P-Datalog Engine based on Binary Decision Diagrams (BDDs)


In Q1-2019, Tau reached a significant milestone with the maturity of basic TML. This included the development of a P-Datalog engine, forming some of the technological core of Tau.

   Demonstrating Basic Consensus Calculation

   Core Feature of Tau Showcased


Tau’s progress in Q4-2019 included the development of a Tau bot that demonstrated basic consensus calculation using logical engines we developed, highlighting a core feature of the project and our ability to build industry-level logical solvers.

   Tau V2.0 Design and Scalable Discussions

   Adding Consensus Mechanism


In the period from Q3-2016 to Q4-2017, Tau underwent significant development, resulting in the Tau V2.0 design. During this phase, Tau improved its consensus mechanism and scalable discussions, making it feature-complete, as well as fixing substantial mistakes in the old design, most notably abandoning Nomic and type theory, in favor of classical logic and a novel large-scale consensus method.

   AGRS Private Sale

   The Project’s Early Funding Phase

Q2-2015 to Q3-2017

The mid-2010s witnessed Tau’s AGRS Private Sale, securing initial funding for the project’s visionary goals.

   The Birth of Tau V1.0

   The Beginning of a Revolutionary Project


Tau’s journey began in the first quarter of 2015 with the publication of the Tau V1.0 Whitepaper. This marked the birth of a visionary project that aimed to redefine blockchain by using a decidable logical language. It was based on the game Nomic as well as type theory as the logical foundation.

Technical papers

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

Tau Net Whitepaper (ENG)

Tau Language Summary

Tau Net Whitepaper (CN)