Bitcoin Garden Forum
In crypto we trust!
Welcome,
Guest
. Please
login
or
register
.
1 Hour
1 Day
1 Week
1 Month
Forever
Login with username, password and session length
News:
Don't forget to add your logo, website and social accounts to your profile!
Home
Blog
Help
Advertise
Login
Register
click here if you want to see your banner on this site
Bitcoin Garden Forum
»
Cryptocurrencies
»
Coin Home
(Moderators:
vindyne8
,
Joankii
) »
Tau-Chain and Agoras Official Thread: Generalized P2P Network
« previous
next »
Print
Pages: [
1
]
Author
Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network (Read 903 times)
vindyne8
Moderator
Legendary
Posts: 2234
Karma: +23/-1
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
Logged
https://vindynegroup.com/
Print
Pages: [
1
]
« previous
next »
Bitcoin Garden Forum
»
Cryptocurrencies
»
Coin Home
(Moderators:
vindyne8
,
Joankii
) »
Tau-Chain and Agoras Official Thread: Generalized P2P Network
Bitcoin Garden 2013-2024, All rights reserved |
Privacy Policy
|
DMCA
|
About Bitcoin Garden
|
Support & Services