Tau Net explained by its Founder
OHAD ASOR - FOUNDER
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.
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.
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.
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.
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 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
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.
Click on the photo to see it in full screen mode.
Testnet Genesis Diagram
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.