项目介绍
Taraxa 是一种高效、可扩展的分布式公共账本，致力于帮助物联网生态变得更值得信任、更自主、更有价值。采用区块DAG拓扑结构，并且以最低的协调成本，结合模糊分片技术与VRF （随机算法）驱动的PBFT（拜占庭）共识，确保实现快速且异步的账本最终确认。Taraxa希望通过赋予设备独特的身份、可证明的数据与消息源、以及匿名交易的能力来解决设备实体可信度问题。
总而言之，Taraxa是一个物联网+区块链的项目。下面我们来详细介绍一些细节。
技术特性
Taraxa采用 Block DAG 的数据结构来实现横向并行处理（即节点之间的并行分工），speculative concurrency 来实现纵向并行处理（即智能合约的并行处理），并且为物联网设备专门设计了轻节点，大大降低了对于全节点依赖，另外还发明了一套链上技术参数可以自动进化的算法机制。Taraxa的共识机制解决了几个行业内的难题。
DAG 的快速确认：区块 DAG 可以很好的实现横向并发，但是无法做到真正的最终确认。但真正的最终确认对智能合约来说尤为重要，因为其中大部分可能会在区块链上众多账户中引发级联效应。针对这个痛点，Taraxa 推出了一种异步的、VRF 驱动的 PBFT 流程来实现真正的最终确认。
借助 STM 实现的并发：Taraxa 借用了 STM （软件事务存储器）的一些原理。Taraxa 通过事务处理的推测并行化实现节点级别的并发，并通过内置并发数据实现冲突最小化。
模糊分片：为了最大化区块的利用率，网络会以最低成本自动界定区块提议资格，并通过加密抽选的方式为每个全节点的待确认交易界定管辖权。这个过程是“模糊”的（fuzzy），以最大程度通过最低耗损减少实时协调的需求。
无需信任的轻节点：大多数物联网的边缘设备受资源限制，无法运行完整节点，但这并不意味着它们应该成为所依赖的全节点的傀儡。Taraxa 开创了一个实用的解决方案，使轻节点能够获取网络的随机子集，来检查已知信息的真实性。
自适应协议：网络条件不断变化，管理协议行为的规则也应该自动适应 - 而不是通过在线论坛去调整。Taraxa 中的重要协议规则，例如区块生成率、区块大小和委员会规模等，是通过动态计算得出和决定的，可以最大限度地减少对硬分叉（和激烈争论）的需求。
