Members
  • Total Members: 14176
  • Latest: toxxxa
Stats
  • Total Posts: 42869
  • Total Topics: 16078
  • Online Today: 3355
  • Online Ever: 51419
  • (01. January 2010., 10:27:49)









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

0 Members and 1 Guest are viewing this topic.

vindyne8

  • SCF Hero Member
  • *****
  • Posts: 1891
  • KARMA: 13
  • Gender: Male
    • Vindyne Group
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
vindynegroup.com

Samker's Computer Forum - SCforum.info


 

With Quick-Reply you can write a post when viewing a topic without loading a new page. You can still use bulletin board code and smileys as you would in a normal post.

Name: Email:
Verification:
Type the letters shown in the picture
Listen to the letters / Request another image
Type the letters shown in the picture:
Second Anti-Bot trap, type or simply copy-paste below (only the red letters):www.scforum.info:

Enter your email address to receive daily email with 'SCforum.info - Samker's Computer Forum' newest content:

Terms of Use | Privacy Policy | Advertising