Contact us
Copyright © 2024 – IDNI. All rights reserved.
Join The AI Blockchain that Adapts to Your Requirements
Network & Tokenomics That Adapt to You
Meet the Tau Net layer 1 AI blockchain, and its token Agoras ($AGRS) used for trade. Its Logic AI infrastructure & Tokenomics automatically adapt to the collective requirements of the entire userbase. Get ready for a network of interoperable AI agents, dApps & contracts that adapt to you.
Product
Unleash The Power of Adaptive AI
Use the first Blockchain powered by a mechanized Logical AI reasoning engine, that detects and continuously adapts to the agreed Software and Governance rules from its users’ collective requirements.
Create Logical AI profiles called “Worldviews” that hold your personal set of requirements for how you want the network to function as a whole, and for you, enabling individualized dApps, Agents and more, customized to you.
Our Vision
True Decentralization and Governance
Most blockchains claim to be decentralized but have a centralized development team, or governance mechanisms that don’t allow true participation by every community member. Tau Net is the first blockchain capable of becoming everything its users collectively want it to be.
Collective Creation and Intelligence
Current social systems lack true collective intelligence due to the inability to reason over shared knowledge. Tau Net holds a future in which knowledge has maximum potential because its AI is able to logically connect human knowledge at large scale to solve incredible problems, and users will simply be able to collectively and rapidly develop dApps, Agents and system components in collaborative groups using its mechanized logical reasoning over software requirements.
Better Software and Applications for All
Software is built for end-users, yet users rarely have influence in the software that gets developed. Current programming languages often exclude non-technical users, often leaving them to tolerate bugs and exploits. Tau Net changes everything by giving users direct input into how the software functions, with no uncertainty about the outcome. All user requirements on Tau Net function as correct-by-construction working software, ensuring users get exactly what they describe.
Click on the photo to see it in full screen mode.
Mainnet
Intelligent Everything
Visualize billions of applications, AI Agents, scientific knowledge, information and a global economy, automatically adapting to their individual stakeholders needs, and autonomously collaborating, on a network that adapts to the collective userbase. Tau Net will be much more powerful than today’s internet.
Testnet
Testnet will demo Tau Net’s logical AI engine reasoning over your requirements and adapting to the specifications and collective governance rules, in a consistently correct manner from block to block.
Launch Phase 1
Define block validity on Phase 1 Testnet, which will demo our method of futuristic democracy on a lightweight Blockchain that adapts to user requirements.
Future Phases
Get involved in Testnet development in the future Testnet Phases. They focus on creating the initial ruleset, dApps & Contracts for its AI infrastructure, with a simpler way giving requirements using Controlled Natural Language. Aide us by testing new features and building products on each Phase release, making the transition to Mainnet seamless.
Click on the photo to see it in full screen mode.
Tau Net Genesis Diagram
Transactions
Transactions on the Tau Net blockchain initially contain coin transfer orders and new requirement proposals.
Generally, transactions are tuples of Boolean algebra elements, e.g. Boolean functions, finite bit strings, Tau formulas, tables, or elements of any Boolean algebra supported by Tau. Initially, as above, the chain looks only at the first two elements of these tuples.
The tuples are then assembled as a table in a new proposed block. From there, coin transfer orders and new rule proposals follow two different paths.
Requirement Proposals
New requirements follow a different path; all new requirements in a block are conjuncted together, and this makes the part that everyone agrees on, denoted by “psi(Ψ)”.
In a third step, the “Agreed New Requirement Ψ” is fed to 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 the transactions is expressed as “local deltas,” which are a table of addresses and amounts to transfer from each (positive or negative) transaction.
The local deltas are then summed by address to form the “Global delta”, which gives the net balance change for each address. Finally, the global delta is summed up 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.
Get Early Access: Build on Tau Net
We invite developers to create applications or migrate their existing blockchains and dApps from platforms like Ethereum or Solana to Tau Net. Your applications and blockchain will gain all the logical AI features of the Tau Net ecosystem such as real user control, AI agents, and so much more.
Join our waitlist to get early access and support for building on our network.
AI Tokenomics That Adapt to You
Agoras ($AGRS) is Tau Net’s AI token. Its Tokenomics adapt to the collective requirements of users and connected AI, evolving to facilitate a global economy. Trade human knowledge, RWA’s and; financial, digital and computational assets.
CURRENT AGRS PRICE (USD)
TOKEN TICKER:
TOKEN:
TOTAL SUPPLY:
CIRCULATING SUPPLY:
EMISSION:
INITIAL SALE BONUS:
* 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:
* The current $AGRS token is an intermediary token, there will be a swap to its Mainnet token after Mainnet is complete.
Example
Shaping Tokenomics
* This is only one possible way to visualize how user-governed tokenomics could work.
User-controlled tokenomics on Tau Net can take many forms, with logical AI at its core.
Worldviews
AI Profiles
Forget static user profiles. Worldviews are AI knowledge-bases that hold your requirements that Tau Net and its Apps adapt to, integrating your knowledge and assets into the ecosystem.
Build Ai smart contracts, automate deal-matching, collaborate and logically connect knowledge, from requirements that incorporate your Worldview.
Connect your Worldview with Apps
Control how your knowledge and assets are accessible in the network. Earn with pay-for-access contracts, or keep your knowledge private.
Features
Truly Decentralized
Developed by the Entire Userbase
Powered by Tau’s logical AI engine, Tau Net ensures an error-free development process, ensuring trust, efficiency and unmatched reliability. Every software component automatically aligns perfectly with the specified requirements. In addition, by leveraging Tau’s Software as Sentences™ technology, all users are able evolve the network simply by describing how they want it to be like. Tau Net calculates the agreed description between all users’ input, which is automatically implemented as Tau Net’s next update.
A Logical AI Governance Mechanism
Go beyond traditional decentralization. Tau Net is able to automatically detect the agreements and disagreements across all user inputs, removing the need to explicitly vote. The definition of “agreement” isn’t rigid, allowing for any complex configuration and making Tau Net a co-creation, with its functionality and rules collaboratively sculpted by the entirety of its community.
It’s worth speaking up on Tau
Many people do not speak, vote, propose or voice their opinions due the fact they won’t be heard or even counted. On Tau Net, you will be accounted for by its logical AI. Tau Net enfranchises and encourages everyone to speak their ideas for a better system.
Governance FAQ
What does consensus mean on Tau Net?
Consensus means everyone decides rules on how specific parts of Tau Net should work and be governed, as well as the rules for changing the rules. Rules, and the rules for changing rules, can be created with deep complexity. E.g. there could be a rule that certain groups are elected to control parts of Tau Net’s functionality and are automatically removed if they perform an action against the community’s interests.
How will Tau Net stop 51% attacks, bots or a dictator?
To prevent bot attacks, 51% attacks, and dictatorship risks, users can collectively implement governance rules that prevent such a takeover from happening. For example, for a 51% attack to happen, the rules to allow for that would have to be put in place first by the users collectively, e.g. unchecked majority voting by the entire user base. Our patented “Method and System for Arbitrary Attestation to Anonymous Internet Users” enables users to decide that certain governance decisions may only be undertaken by authenticated users, further preventing bots or malicious actors from manipulating the system.
How will we be able to prevent malicious outcomes?
Users are able to decide on positive and negative global statements that affect the entire system, e.g. “Never send private data over the network”. Tau’s logical AI engine ensures that these statements, once agreed upon by the collective user base, are guaranteed to be met with 100% accuracy according to users’ descriptions and adhered to across all future versions of Tau Net unless changed by community consensus.
Will the Tau Net team create all the rules?
Tau Net’s first rules are created by its first users. Which is why Testnet is a crucial chrysalis state, where you, the users, have significant direct input into forming its foundation and metamorphosis to Mainnet.
Road to Decentralized AI
For the first time in history, Tau Net offers combining all human brain power at massive scale using advanced logical reasoning and inference, where new and fundamental knowledge will emerge.
Collective Intelligence
In Development with KRR Implementation
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.
Semantic Network
In Development with KRR Implementation
Allowing users to formalize information like books and publications can enable Tau Net to become a semantic network that will reason over and connect collective knowledge. Users will be able to see which people, research, and sources align with their views as soon as they express them, harnessing the power of truly connected information.
Scaling Tau Net Logical AI
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.
Smart Agents & Contracts
Smart contracts on Tau Net are more versatile and effectively work as AI agents that are capable of automatically interacting and reasoning over information, knowledge and assets across the platform.
Tau Net’s efficient contract development process enables you to describe your smart contract or agent into existence in Controlled Natural Language, removing traditional coding from the development process.
Your Superagent: 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 desires and ethical standards captured in your Worldview.
Adaptive AI Contracts
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.
Predictable Outcomes & Enhanced Security
Query contracts prior to activation using questions such as “what does this entail?” or “will it result in X?” ensuring predictability. Tau Net contracts are decidable and void of vulnerabilities and inefficiencies associated with undecidability.
Super Social
A core component of Tau Net is enabling mass-scale understanding between its users. It is capable of supporting the first million+ person concurrent discussion where everyone understands everyone.
Understand & Speak to Everyone
Develop Tau Net without scaling friction. Instantly understand the opinions, beliefs, agreements and disagreements of the entire platform and compare how users think through their Worldviews. Tau Net automatically processes any collaborative decision arising from discussions, scaling the network exponentially and effortlessly.
Discover Your People
Instantly identify members suitable for your DAO based on their knowledge, interests, ethics and assets. Tau Net will highlight users that possess the solution to your problem without you having to explicitly search for them.
Semantic Search
Search beyond keywords. Searching for answers on Tau Net will return personalized results based on your knowledge and the information captured in your Worldview.
First Markets on Tau Net
Knowledge Trading
Trade your knowledge for Agoras and other assets on Tau Net's economy. Tau Net integrates your knowledge into its powerful Knowledgebase that can be harnessed by other users. It is able to highlight when it knows your knowledge solves another user's problem and automatically execute trades in such scenarios.
Cloud Computing Market
Monetize your idle tech resources, from smartphone CPUs to laptop or desktop GPUs. By renting them out for Agoras, users can 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
Engage in advanced financial trades using Agoras and other digital assets. 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.
Build your own
Applications over Tau Net
Applications over Tau Net
Roadmap
Road to Decentralized AI
|
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.
|
Projected Release - Q2 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
|
Tau Net E-Book
Spread the Word
Want to share Tau Net with friends? Check out our E-book for a comprehensive explainer of the Tau Net Layer 1 AI blockchain, Agoras token, and the powerful logical AI they utilize for true decentralization and collective intelligence.