click here if you want to see your banner on this site

Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 903 times)

vindyne8

  • Moderator
  • Legendary
  • *****
  • Posts: 2234
  • Karma: +23/-1
    • View Profile
    • Vindyne Group
Tau-Chain and Agoras Official Thread: Generalized P2P Network
« on: October 18, 2015, 10:14:10 AM »
Respected Community, let me introduce tau-chain.

Short info: http://www.idni.org/tauchain
Medium size (open for comments): https://docs.google.com/document/d/16239hEjL_IgXYsk2I6RMjMKhmUte30leYI3jJ-Vgp3M/edit
Long version: http://tauchain.org/tauchain.pdf
Code: http://github.com/naturalog/tauchain
IRC: #zennet at freenode

This thread is also for Agoras, the generalization and new technology of Zennet and Bitagoras to be implemented over tau-chain: https://bitcointalk.org/index.php?topic=736447.0

Presale Info: http://www.idni.org/pre-sale
Exchange: https://masterxchange.com/market.php?currency=msctau
Special time-limited offer: http://www.idni.org/blog/sep-special

Blog Posts:
Notes about Tau and Agoras
Omni Cooperation
Agoras, Votes, and JSON
Updates
More Updates and Uses
Tau Primer
Code and Money: Which Comes First?
Tau as a Generalized Blockchain

Official code repository: http://github.com/naturalog/tauchain

Follow us on our official Twitter
Our Reddit




Overview

We propose taking the language of Ontologies to unify languages of:

* Knowledge
* Rules
* Logic
* Computer Programs
* Network Protocols

Ontologies are expressed in RDF language family (Resource Description Framework), or simply JSON-LD.
We propose a software client that stores an ontology of local rules, and determines its actions using a Reasoner. Reasoners are tools that infer new rules or conclusions given old ones. They do it intelligently - using pure logical reasoning, and they also supply proofs for their results. Tauchain node is therefore an intelligent agent able to communicate with other agents, at the very same language they're written with, which is quite human-readable.

It can communicate with other languages as well, like HTTP, once implemented in RDF.
Arrow of time is brought into the network using the Blockchain algorithm. Items can get into a Merkle tree that will be signed by a miner, roughly speaking. The network will also function an RDF-speaking distributed storage, namely Kademlia DHT, letting hashes of items to be time-stamped in a mechanism which is up to the rules.

The rules of the network are determined by its users. Conversly, many independent universes can be created over tau-chain, that may or may not share tau's timestamping. They can also reference to each other, allowing code-reuse: recall that rules are code, since we have a unified language. Moreover: we give an ability to implement Decidable computer programs with RDF, namely DTLC languages rather Turing Complete ones. The implications of those languages will be described on the paper.

Agoras is basically like tau that has the notions of proofs and communication, but with additional notions of time, ledger, and reward. It is basically implementing a Bitcoin-like thing over tau, but it has far going powers: the ability to prove now get a new meaning.
The strength of Agoras over existing cryptocurrencies is based on the logical properties and strengths of the representations and the network, mainly this logic being decidable, so every truth statement can be proved, yet expressive enough.
On say Bitcoin, you can reward coins to one who provides a cryptographic signature proof. In tau we can express our own rules and demand a proof that the rules have met. You can set a rule that one will get coins if they, for example:

* Write a code that passes a given unit-test.
* Prove a fact or a consequence from wikipedia's data (dbpedia).
* Run some code by supplying an execution proof.
* Meet some custom achievements e.g. financial or educational tests.

You can also create a DAC with your own custom rules and combine methods from different sources (code reuse): like some auctioning or trading or voting or pricing algorithms that were already implemented over tau.

Once everything can be expressed in human comprehensible knowledge and rules, and given a software that is able to figure out by itself from this data what to do, and given this software can communicate with others, electronic markets get a whole new meaning.

Team:
Ohad Asor
HunterMinerCrafter


Please beware of many faked pages that came recently and we have nothing to do with:
fake: http://tauchain.blogspot.co.il
fake: http://taochain.blogspot.co.il
fake: https://www.facebook.com/tauchain
fake: https://twitter.com/tauchain
fake: https://bitcointalk.org/index.php?action=profile;u=439062 (user tauchain on BTT)
fake: https://github.com/tauchain/tauchain

 

Bitcoin Garden 2013-2024, All rights reserved | Privacy Policy | DMCA | About Bitcoin Garden | Support & Services