facebook

The User-Controlled Blockchain

Tau Net is generated from the Collective Specification of its Participants using program synthesis.

Tau Net explained by its Founder

OHAD ASOR - FOUNDER

Product

A Blockchain Defined by Its Participants

Tau Net is a blockchain automatically synthesized from the Collective Specification of its Participants with guaranteed accuracy. Its tokenomics, behavior, governance rules, and rules of changing the specification are defined within its specification.

Agoras ($AGRS) is the native token of Tau Net. It facilitates the trade of formal knowledge, computational resources, DeFAI instruments and other assets.

Our Mission

Decentralized Collaborative Development

OHAD ASOR - FOUNDER

Large-Scale Automated Human-Machine Collaboration

To pioneer a new era of large-scale automated development between humans and machines through collaborative specification and Reactive Synthesis.

Token

Tokenomics from Collective Specification

Agoras ($AGRS) is the native token of Tau Net. Unlike static token models, its tokenomics evolves based on the collective specification of Participants in a precise manner.

Agoras enables users to exchange formalized knowledge including algorithms, computational resources, DeFAI assets, in logic-based smart contracts.

CURRENT AGRS PRICE (USD)

TOKEN TICKER:
CONTRACT:
TOTAL SUPPLY:
CIRCULATING SUPPLY:
EMISSION:
INITIAL SALE BONUS:

$AGRS
0x738…bdda
42M AGRS
30M AGRS
None, Fixed Supply
Info

* The current $AGRS token is an intermediary token, there will be a swap to its Mainnet token after Mainnet is complete.

CURRENT AGRS PRICE (USD)

TOKEN TICKER:
TOKEN:
TOTAL SUPPLY:
CIRCULATING SUPPLY:
EMISSION:
INITIAL SALE BONUS:

$AGRS
0x738…bdda
42M AGRS
30M AGRS
None, Fixed Supply
Info

* The current $AGRS token is an intermediary token, there will be a swap to its Mainnet token after Mainnet is complete.

Get Agoras Tokens

Governance

Governance by Specification

Participants formalize their rules and intent for Tau Net. Agreements and disagreements between participants are logically identified and highlighted in an Opinion Map, replacing manual voting. Tau Net synthesizes its updates from the agreed-upon specification in a verifiably correct manner, according to the rules governing changes.

Governance FAQ

How do Participants agree on updates?

Participants wield significant influence in the Tau Net governance process. They form a coherent specification when their new requirements align with the existing specification and adhere to the rules for modifying it. Participants can revise their requirements or propose changes to update the logic governing system changes, thereby shaping the future of Tau Net.

What can governance look like on Tau Net?

Governance includes any rules and their conditions for change, as long as the Participants agree to them. For example, rules may require that only participants with logically verified knowledge in the system govern a feature until they violate defined principles. Any change must follow the existing logic conditions for updates.

How can Participants prevent hostile takeovers?

Participants play a crucial role in preventing hostile takeovers. Because Participants can define the logic of what it means to “collectively agree”, they can implement governance rules that prevent such a takeover from occurring, ensuring the network’s security. Takeovers are only possible if the governance logic permits them to happen.

For example, rules can contain requirements for participant authentication, restrict majority voting, and mandate approval from domain experts in the system.

How are malicious outcomes prevented?

Participants can define constraints, such as “Never transmit private data.” The protocol then enforces the specification automatically, and the constraints remain active until new governance logic formally modifies them.

Will the Tau Net team create all the rules?

No, as that wouldn’t adhere to our decentralized ethos, though we will assist in establishing the initial ruleset. The Testnet provides participants with the freedom to control the initial ruleset before the Mainnet is launched. From there, the system can change based on the governance framework as users participate. Our role is to facilitate this process, not to dictate the rules.

Testnet

Testnet enables Participants to evolve governance logic before the Mainnet release. Each phase demonstrates how logic-based requirements drive system behavior, tokenomics, and automate collaboration.

Testnet Alpha

Testnet Alpha introduces a lightweight blockchain, giving Participants the ability to refine block validity according to specification. An extralogical API handles some functionality that isn’t yet expressible in Tau Language, while users control how Tau calls the API, as well as everything written in Tau Language.

Future Phases

Functionality will increasingly shift to Testnet as arithmetic and tables are added to Tau Language, alongside expansion of the initial rules, smart contracts, and ease of use. Contribute by submitting useful requirements and testing features, to prepare the network for a seamless transition to Mainnet.

Click on the photo to see it in full screen mode.

Testnet Genesis Diagram

Transactions

Transactions on Testnet can contain both coin transfers and new requirement proposals.

Transactions are logical tuples of Boolean algebra elements e.g. Boolean functions, finite bit strings, (of which Testnet looks at only these two initially), Tau formulas, tables, or elements of any Boolean algebra supported by Tau.

Tuples are assembled as a table in a new proposed block. From there, coin transfers and new rule proposals are treated differently.

Requirement Proposals

All new requirements in a block are conjucted together making the part participants agree on, denoted in the diagram as “psi(Ψ)”. The “Agreed New Requirement” is fed into the “Update Built-in” output stream (having access to the rules at time T), which performs the Pointwise Revision procedure to produce the new requirement at time T+1.

Coin Transfers

The Coin Transfer part of a transaction is expressed as a “Local delta” which is a table of addresses and amounts to transfer from each (positive or negative) transaction.

The Local deltas are then summed by address to form a “Global delta”, giving the net balance change for each address. Finally, the Global delta is summed with the Current Balances Table, resulting in a New Balances table. During the Balance Verification step, if any of the new balances are found to be negative, the entire proposed new block is rejected.

The New State

Finally, the new balances table at time T+1 and the new rules at time T+1 form the new state at time T+1. The new rules at time T+1 will govern the calculation of the state at time T+2, effectively, the New State determines how the next block is evaluated.

Mainnet

Logically Automated Blockchain

Visualize an automated economy that dynamically adapts to the evolving needs of its participants. Formalized specialized knowledge, software, and information, such as contracts, applications, agents, and the governance of the system itself, are both Participant and system-generated in a logically verified manner.

Tau Net will be a significant improvement to collaboration among humans and machines, as well as to the internet itself.

Smart Agents & Contracts

An economy of interoperable formal knowledge smart contracts, AI agents & DApps.

Contracts with Formal Knowledge

Smart contracts accurately utilize formalized knowledge in the network and act as an automatic agent. They can logically reason over the knowledge, information and assets in the ecosystem and adapt to new goals and requirements.

Formally Verified Contracts

Smart contracts are synthesized from your requirements with mathematical proof of accuracy. Contracts on Tau Net use Tau Language, a decidable specification language for accurate software synthesis.

Logical Automated Collaboration

Tau Net enables meaningful automated coordination at scale. Its infrastructure supports large-scale concurrent discussions, adding logical semantic clarity to discourse, unlike today’s social communication.

Autonomous Collaboration & Development

Tau Net facilitates collaboration without the need for manual coordination.
It identifies agreements and disagreements between Participants, automatically determining agreed constraints, and synthesizes functional software based on those requirements.

Logic-based Participant Discovery

Identify Participants who match your given criteria, such as formalized knowledge, interests, ethics, and assets. Tau Net utilizes logical reasoning to highlight matches in a clear, accurate manner.

Interview with MLST

Roadmap
Road to Mainnet

MILESTONE
DESCRIPTION
DATE
LINKS
Tau Net Mainnet
Enabling a fully user-controlled decentralized ecosystem and set the scene for the future of blockchain applications.
Projected Release - TBD post Testnet
N/A
Tau Net Testnet
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.
In Development
N/A
Tau Language Alpha Release
Release of a minimalistic Tau Language Alpha implementation, video presentation of the simple Tau Programs, Tau Language explanation, and its abilities.
November 2024
Tau Language
Completed NSO language with recurrence relations.
Q3-Q4-2023
N/A
Prof. Paweł Parys joins the Team as a Scientific Advisor
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.
June 2022
N/A
Tau Language Research
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.
May 2022
N/A
Earley Parser Implementation
- Accessible Parsing
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.
March 2022
N/A
The language NSO
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.
May 2021
N/A
Prof. Enrico Franconi joins the Team as a Scientific Advisor
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.
November 2020
N/A
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.
Q3-2020
N/A
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.
Q3-2020
N/A
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.
Q1-2019
N/A
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.
Q4-2019
N/A
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.
Q4-2017
N/A
AGRS Private Sale
- The Project’s Early Funding Phase
The mid-2010s witnessed Tau’s AGRS Private Sale, securing initial funding for the project’s visionary goals.
Q2-2015 to Q3-2017
N/A
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.
Q1-2015
N/A