编者按:本文来自36氪战略合作区块链媒体“Odaily星球日报”(公众号ID:o-daily,APP下载)
Odaily星球日报获悉,由王嘉平博士主导的分布式计算科技公司墨群近日完成数百万美元天使轮融资,资方包括李开复博士管理的创新工场,前微软全球执行副总裁沈向洋博士,雅虎创始人杨志远博士,前DCM董事合伙人,快手早期投资人卢蓉女士。
墨群由微软总部研究院前主管研究员王嘉平创办,致力于以分布式计算技术为基础的新一代计算基础设施的研发构建及其互联网层面应用,墨群区块链引擎及其编程语言将于近期发布并公开测试,墨群也将同步研发支持分布式计算应用的全谱系支撑技术。
王嘉平博士是沈向洋的得意门生,也是国际顶级学术会议NSDI2019华人首篇区块链核心算法Monoxide论文的第一作者,专注于并行计算系统的架构设计和研究,曾任微软美国总部研究院主管研究员。2016年加入创新工场,凭借计算机视觉、计算机图形学、分布式计算等方面丰富的学术背景和工程经验,在李开复博士的带领下创立了创新工场人工智能工程院并担任副院长。
据王嘉平博士介绍,墨群在底层区块链系统的三大核心组件——共识算法,智能合约语言以及广播网络协议做出了改进和创新,突破了现有主流区块链系统的设计框架,使得性能更优,容量更大,系统安全更有保障。
在共识算法方面,墨群采用的是“异步共识组”(Asynchronized Consensus Zones)系统,将区块链性能提升至比特币的千倍以上,并同时兼顾安全性与去中心化。“异步共识组”的基本思想是让不同的节点组在网络的不同分区上工作,并称这些分区为组zones。
在异步共识组系统中,随着整个网络被划分为更多的组zones,交易吞吐量和状态容量被扩展。共识组由多个同质的、功能上完全一致、地位上也完全平等,并逻辑上尽量隔离的独立共识系统的实例所构成,他们并行工作,分摊全网的吞吐、计算、存储的压力,分摊全网状态的维护工作。
异步共识组系统打破了区块链行业广泛讨论地“区块链不可能三角”难题,异步共识组系统不会牺牲去中心化特性,随着全网的横向扩展提升,每一个全节点的工作压力(带宽、计算、内存、磁盘IO)并没有显著的加大,始终保证一台普通中档价位的电脑可以轻松地作为网络的一个全节点,通过普通家用宽带网络接入主网。
异步共识组系统的性能提升,是在保证安全的基础上的。虽然系统允许全网被划分成上千个独立异步工作的共识组,但是异步共识组架构使得攻击任何一个单独分片的实际需要的物理算力,和攻击整个网络的物理算力相当。这样使得这个高度分片之后的异步共识组系统具备和单链系统一样的安全性。
在智能合约层面,墨群基于Monoxide论文所提出的最终一致性编程模型, 为并行区块链系统设计了专门的编程语言: PREDA语言,提升开发和执行效率,并使得智能合约的安全保障更为轻松。
PREDA语言及其编译器彻底打破了国内区块链系统长期依赖海外开源项目,例如以太坊的编程模型以及语言。采用更为高效AOT编译体系和增量状态表达机制,使其执行效率超以太坊Solidity语言百倍。
此外,墨群抛弃了海外开源区块链系统广泛采用的的基于TCP的多播通讯协议,而采用自研的基于UDP通讯底层的多播通讯协议,从而获得更低的广播延迟并充分利用现代互联网的承载能力。
王嘉平博士认为基于TCP的多播通讯协议更适用于服务器和客户端,但是TCP协议并不适合于区块链网络,因为区块链网络中有很多节点,要同时和上百、上千个节点建立TCP连结的代价是非常大的,所以墨群选择UDP这种非连结的通讯方案来完成交易的广播。
“UDP协议带来的最直接的好处就是我们可以更充分地利用当前互联网的带宽,同时大大缩短了广播延迟。”王嘉平补充说道。
另外,UDP协议还引入了Txlim编码,将区块数据压缩为原来1/20 到 1/80,进一步减低时延,减少带宽消耗。
王嘉平博士表示,“墨群在工程实现上,选择了从零开始打造系统的道路,而不去依赖任何海外的开源软件,诚然是一条更为辛苦的路。这样选择并不是单纯为了实现自主知识产权去重复造轮子,而是基于我们的理论突破,可以实现更为优秀的架构,不再重复国外的老路,陷入区块链不可能三角的误区,从而实现远超当下以太坊等主流开源区块链软件的性能和容量,最终我们可以输出更为优秀的系统和产品。”