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 Net Testnet Alpha Release
|
MVP Blockchain: Decentralized user control. Adapt consensus and features to collective requirements using our Pointwise Revision (update) mechanism.
|
In Development
|
N/A
|
|
Tau Net Testnet Alpha Release
|
Developer CLI and Testnet Packaging
|
In Development
|
N/A
|
|
🔄 Tau Net Testnet Alpha Release
|
Fork Choice Mechanism: Resolve Competing Chains
|
In Development
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Gossip Protocol for Transactions & Blocks
|
October 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Peer-to-Peer Networking Foundation
|
September 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Persistent Chain State
|
August 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Block Production Phase
|
July 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Block Schema & Storage with Merkle Root
|
June 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Transaction Validation & Internal State
|
May 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Persistent Mempool
|
May 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
String-ID Service
|
May 2025
|
N/A
|
|
✅ Tau Net Testnet Alpha Release
|
Extralogical API
|
May 2025
|
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
|