【Harmony】为百亿人打造的开放式去中心化共识协议

作者: d5a37ff83f8f | 来源:发表于2018-07-09 17:23 被阅读18次

项目细则

项目名称：Harmony

代币总量：21,000,000,000

可用于令牌销售：20％

预售时间：2018年第3季度

价格：ETH的1小时内美元价格计算，所有解锁都从交易所上市开始。

代币分配

销售和浮动：20％代币（40％没有锁定，6个月内每月10％;奖金，1年锁定后100％释放）

40％奖励，种子轮

20％奖励，最初的私人销售

无奖励，最终（公开或私人）销售

开发者和社区：40％令牌（1年28％锁定，4年1.5％）

开放基准，采矿，空投

基础与研究：28％的代币（28％没有锁定，6年内每月1.0％）

审查出版物，研究补助金，储备金

创始人和团队：12％代币（1年28％锁定，3年每月2%）

资金分配

40％协议平台的技术开发

20％社区参与，开发者计划

15％营销，业务发展

10％运营，设备，云服务器

10％学术研究合作

5％合规，法律，财务方面

项目简介

Harmony是一个开放，分散的市场。Harmony协议的创建是为了在分散经济的谷歌规模上建立一个开放市场。Harmony的目标是，在开放的互联网上，提供一个去中心化的共识协议，做到每秒处理千万条交易和数据，保证100毫秒左右的延迟，同时让每笔交易的手续费低于0.1%。Harmony将有助于加速并容纳多达1000次，将市场扩展到约100亿人和1000亿台设备。

Harmony旨在通过所有组成部分的10倍创新来建立分散经济：传输网络（Google的UDP，Bloom表，5G移动），共识协议（拜占庭委员会机制，无环图，垄断费用）和系统工具（（Rust下Unikernel单内核并行计算，和零拷贝数据流）。Harmony的方法是将研究创新生产到为数十亿人和设备服务的规模。

运输网络

谷歌UDP（谷歌的用户数据报协议）的网络，也称为QUIC（快速UDP互联网连接），占据了流量的88％，谷歌流量的35％和互联网流量的7％。QUIC改进了不同情况的组合，实现了零往返的延迟。没有往返延迟的广播使得同步更强，并且能够抵抗变化和不稳定性。

系统工具

删除协议实现中的瓶颈

使用Unikernel

共识协议

使用OmniLedger共识协议

使用一种称为垄断费用的新方法：利用博弈论来收取费用，以免浪费。

主要解决的问题

经过广泛的研究，Harmony得出结论，OmniLedger是最具扩展性的无权协议。因此OmniLedger是Harmony协议的基础。扩展的原则和优化包括：

1、10k节点与16节点PBFT的代表性分片 - O（1）大小多重签名。通过多方计算和commit-then-揭示步骤的随机性进行加密排序。

2、逐渐过渡 - Sybil抗性身份，以便在交换碎片时保持活力。从固定排列的滑动窗口，以确保⅔诚实多数。

3、原子分片提交 - 每个分片使用O（log n）基于组播树的BFT一致接受具有O（1）-size协调的跨分片事务。

4、并行块 - 非循环图以传递性地捕获事务依赖性。将每个分片分成组，以使用视图更改替换故障节点。

5、精简检查站 - 用于存储和引导拜占庭DoS的状态块。多跳，集体签名后退指针，节省100倍空间。

6、乐观证实 - 信任但验证带有碎片存款的低价值交易。保证在1s内完成，罚分与损失成线性关系，并在几分钟内检测到。

技术创新

地点和人工智能

通过紧密整合地点，Harmony将非常适合支持智能城市的应用。例如，自动驾驶车辆可以在即将到来的行程中获取经验证的位置数据或者，想象一下成千上万的群体机器人，围绕着未知地形的共同任务进行自我组织。地理编码地图和兴趣点可以展示现实世界中的分散应用。

Harmony还将作为一个高容量的数据市场，并优化其机器学习性能。我们遵循基于区块链的机器学习市场，建立基于数据的新的分散经济。

合同及以后

Harmony设计了一种新的编程语言Min（参见min-lang.com），并构建了一个原型编译器来展示其易用性和安全性。Min，一个Harmony子项目，是一种具有安全保证的编程软件的新语言，导致不可破解的系统。简而言之，我们使用简洁的语法设计静态类型作为安全规范，在正式模型中分析分散协议，并在网络上生成优化代码。

通过以下方式对合同进行分片：

a）定义有限脚本的有用子集

b）在分片期间公开事务依赖性

c）使用无状态验证器注释计算合同

团队成员

Stephen Tse：他毕业于宾夕法尼亚大学，获得了美国11强和世界19强的博士学位。Harmony和AI语音的创始人。Spotsetter的创始人 - 由 Apple公司收购的社交搜索引擎。曾任微软研究院研究员，有一年的Apple工程团队领导经验和四年Google高级工程师经验。

Michael Slinn：计算机科学与工程学位，12年来作为Micronautics Research Corporation（计算机软件和区块链公司）的所有者。多年来担任过许多中小型计算机公司的工程师和创始人。在世界加密经济论坛（区块链系列活动）上做过演讲。

Nicolas Burtey：Harmony项目的创始人兼首席运营官。2012年成立了一家中型VR视频创业公司，并向70多个国家的客户销售软件。具有摄影和编辑自由职业经验，他拥有计算机科学学士学位和计算摄影硕士学位。

Trausti Kristjansson：在亚马逊实验室担任科学研究负责人。InvenSense的音频算法总监和创业公司的前创始人兼首席执行官。在AAAI - 人工智能顶级学术会议上获奖。他在加拿大滑铁卢大学获得计算机科学和机器学习博士学位，并在IBM和谷歌高级工程师的语音识别研究方面拥有多年经验。

路线图

2018年第2季度：

验证Go / OCaml中的OmniLedger协议，保持10,000 tx / sec，防止1000个节点同时攻击（意味着访问服务器或主页的1000个节点的同一时间）。

完成法定令牌分发模型。

组建一支由五名工程师组成的团队，并在种子轮中筹集200万美元。

2018年第3季度：

启动10,000个节点的公共标准化测试程序。

在Amazon Cloud上的96核unikernel上验证线性生锈级别的无锁算法。

验证Google的UDP维护广播，延迟为100毫秒，10,000个节点，带宽为10 Gbs（饱和的10 Gbs链路）。

在第一个私人令牌预售中筹集资金（尚未提供信息）。

2018年第4季度：

使用Testnet和Token Economics公布的Open Harmony令牌挖掘流程。

优化多达10,000个物联网设备，自控机器人和供应链运营。

在最终的私人令牌预售中筹集资金（尚未提供信息）。

2019年：

优化金融机构的支付，最高可达100,000 tx / sec

以100,000 tx / sec和1s延迟优化100万个节点

列出加密交换机上的和谐标记。

合同支持，反统一，多签名和客户移动。

总结

Harmony旨在为微交易创建高吞吐量和可扩展的区块链。他们设计了自己的语言Min并构建了一个原型编译器来展示它的易用性和安全性。它可以在GitHub上找到。如今在这个领域有很多竞争对手：Zilliqa（8.3亿美元），Rchain（4.7亿美元），Credits（7500万美元），Algorand，QuarkChain等等。

Harmony在安全协议，编译器验证，AI技术和企业家精神领域拥有一支坚实且经验丰富的团队。他们与为Google，Chrome，Android，WorldPay工作的顾问合作。

根据路线图，Harmony的目标是在2019年为支付和金融机构部署10万tx / sec。

该技术使用PBFT OmniLedger共识机制，Quick UDP Internet Connections（QUIC）提供了良好的安全性。

更多往期文章

【Telegram】使用方法及汉化教程

【区块链，爱西欧，钱包】专业术语解读，赶紧学习收藏起来

【Liquidity Network】V神点赞关注的离链支付网络

【Rightmesh】第一个不需要基础设施或网络连接的P2P网络

【Celer Network】第一个具有连贯技术和经济架构的脱链运营网络

【StarkWare】区块链的可扩展和隐私解决方案

【Origin Protoco | 起源协议】没有中介的共享经济协议

【Ankr Network | 安客】在可信硬件上分布式云计算