想了解Tauchain请加入官方QQ群，群号203884141
【1.TauChain的简介】
TauChain是以色列数学家Ohad Asor正在开发的基础链，是一个去中心化的区块链网络，旨在解决人类交流过程中所固有的规模化瓶颈，以人工智能为基础，提高协作水平，加速生产力的发展。
目前，人类进行大规模的集体讨论和协作的效率非常低。为了解决这一问题，我们开发了一种人-机器-人的交流模式：其核心原则是，不仅用户之间可以沟通，而且用户可以将自己的观点通过一定的方式向Tau客户端表述。Tau能够实时地推导出用户群体的共识点和分歧点，从而以一种中间人的角色促进人类之间的交流。Tau能够做到这一点，是因为它可以汇集用户群体希望分享的知识和观点，以逻辑的方式进行重建，并整合进语义知识库。在理解集体讨论和推导共识的基础上，Tau能够以共识为基础自动生成和执行代码，这个过程被称为代码合成。在当今世界，这将极大地促进知识的生产, 并将人类大规模协作的能力提高到一个新的水平。
TauChain的主要特征为以下：
（1）创建一种新的编程语言，Tau Meta Language (Tau语言)：Tau语言用来定义其他语言，而且这些语言可以在保持语义相同的前提下通过Tau语言互相转换翻译。因此，Tau语言能够使各种语言之间的顺畅交流和语义翻译得以实现，这些语言包括编程语言，知识表示语言（knowledge representation languages），可视化和组织格式（visualization and organization formats）语言，以及某领域专用语言（domain-specific languages）等等。Tau语言是一种具有革命性创新的编程语言，它非图灵完备的。而知名的以太坊智能合约语言Solidity是图灵完备的，世界上大部分的编程语言也是图灵完备的。根据计算机理论，用图灵完备语言编写的代码，无法正确的判断其运行结果，无法判断代码中是否有安全漏洞。这是在数学上已经被证明的。只有用非图灵完备的编程语言编写的代码，可以判断其代码中是否存在安全漏洞。在以太坊上，发生了许多件因为智能合约安全漏洞而使得资金被盗的事件。例如，著名的DAO事件，几亿美元的资金被盗。而在TauChain上，只需要使用工具扫描一下代码，就可以确认是否存在安全漏洞，可以完全的避免这类事件。这是因为Tau语言是“非图灵完备的”。
（2）使用Tau语言，TauChain的用户之间可以实现大规模的讨论。目前,采用传统方式的大规模的讨论效率很低，通常在500人之间进行讨论产生的效果不如5人之间的讨论。而Tau语言是可由机器自动理解并推理的语言。通过Tau作为组织平台，可促进人-机器-人之间的交流，我们可以高效地总结和查询讨论过程中产生的数据，而且参与讨论的人数不受任何限制，这将是史无前例的创新。从理论上讲, 在Tau平台上参与讨论的人数增加100倍，对信息的利用度以及产生的知识也将增加100倍。
（3）以Tau语言定义知识表示语言（knowledge representation languages），任何用户都能够自由地将自己的知识和观点以逻辑语言（logical predicates）的形式提交到自己的Tau 客户端，或者广播到Tau网络用来形成知识库。另一方面，用户可以查询这个知识库，Tau将帮助用户推导出问题的答案。知识的产生很大程度上取决于讨论的效率。因此, 通过解决大规模讨论的瓶颈, 可以大大提升世界范围内创造知识的效率。
（4）人类的很多工作任务依靠团队协作。提高协作水平可以有效加速人类的发展。在实现规模化讨论的基础上，Tau的可判定性逻辑框架（decidable logical framework）使之能够以用户的共识规范为基础合成和执行代码。用户可以在Tau平台上就某一项目进行讨论协作，形成私有的知识库。团队能够通过可扩展性讨论平台迅速地达成共识，形成一系列的规范，据此Tau能够自动生成和执行代码，完成团队任务。
（5）Tau网络的规则是可以自我修正的。当Tau社区用户希望对网络的代码，规则或者协议做出修改，他们仅仅需要使用TML定义的语言表达自己的观点。Tau区块链网络拥有自我定义的逻辑能力，能够检测到全体成员观点中的共识，并依此自动修正自身的代码。与普通的投票方式不同，Tau能够考虑到全体成员的建议，任何成员都可以实时地自由地投票表决，以及提出自己的观点供全体成员投票表决。Tau的这种独一无二的特征将成为唯一的动态的去中心化方案。
【2. Agoras的简介】
Agoras是TauChain开发团队所开发的，在TauChain中附带的市场模块。Agoras（AGRS）这个词也被用作Agoras在线经济社会的货币。Agoras代表了Tau网络上所有可交易的知识和计算资源，同时也担当了一个无需增发货币而能获得无风险收益的货币市场的角色。Agoras的高效性使我们能够拥有一个合理定价的衍生品市场，使对冲风险，稳定价格以及无风险收益得以实现。
Agoras将实现以下的主要功能：
（1）计算资源市场。谷歌、苹果和 Facebook 的所有服务器的计算资源仅仅相当于普通用户群体手中智能手机和个人电脑闲置计算资源的一小部分。为了使Tau网络上的用户能够利用这些闲置资源，Agoras建立了算力资源租赁市场。
（2）金融交易市场。参与Agoras经济活动的用户可分为多种角色，比如算力提供者和租用者，知识的卖方和买方，矿工，交易所等，每种用户都有对冲风险的需求。Agoras将包含一个先进的电子化金融衍生品市场，无需杠杆，无需增发货币（代币），允许无风险收益（risk-free interest）。
（3）商业自动化。Agoras充分利用Tau的优势，其参与者有机会接触到海量的知识，包括可以想到的方方面面，比如经济，法律，社会，以及市场上有关商家和商品的信息。它可以充当用户私人的自动化商务助理，智能化地定制各种复杂的交易，从而获得竞争优势。
网友评论