A Blockchain for Building and
Evolving Automatically
Tau Net is automatically synthesized from the Collective Specification of its Participants. Its tokenomics, behavior, governance and rules of change are defined within its specification.
Tau Net is designed to be a global network connecting its technology with external blockchains and software.
New Governance
Capabilities
There are 4 fundamental concepts that enable Participants to govern Tau Net, all which require the use of Tau Language’s logical reasoning.
Worldviews
Participants can create a logical set of their desires, proposed rules and requirements called a “Worldview”, and maintain it over time as their opinions change.
Agreements
are simply areas where participants agree, similarly for disagreements. Agreements are highlighted to the users in a real-time opinion map. Even as users agree and disagree, Tau Net will only update according to its conditions for change.
Consensus & Rules
Users create Tau Net’s governance rules, including the conditions for the rules to change. Consensus is where Participant agreement meets conditions to change existing system specification.
Automatic Synthesis
Tau Net automatically builds its next version from the agreed upon new specification, enabling updates to happen with guaranteed accuracy according to the specification itself.
Outcome
New software abilties: Automatically evolving DAO's, Personalized trustworthy software and hardware, Safer AI agents, and more
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.
How Tau Net works
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.
Industry supporters
Prof. Enrico Franconi
Tau is for engineers who understand the significance of model-based Software development and pushing its boundaries. It is a precision tool, supporting in a streamlined fashion, the requirements, analysis, verification and validation of complex systems.
Prof. Wulf A. Kaal
Tau is genuinely unprecedented. The idea that a network can continuously adapt its own rules through the collective formal specification of its participants with logical guarantees rather than social consensus represents a fundamental breakthrough. The implications for how institutions, protocols, and regulatory frameworks evolve over time are only beginning to be understood.
Dr Marcos Cramer
Tau opens up new technological avenues for large-scale consensus building.