分布式计算公司“墨群”获得数百万美元融资,
墨群致力于以分布式计算技术为基础的全新一代计算基础设施的研发构建及其互联网层面应用。自公司成立,团队便投入紧张的静默封闭开发,墨群引擎及其编程语言将于近期发布并公开测试,将成为中国首个自主可控知识产权的高性能系统。墨群也将同步研发支持分布式计算应用的全谱系支撑技术。这一系列技术是未来全新互联网商业业态、格局的基础,为数字化的商业环境带来自发的诚信,原生的安全,极大降低商业交易信任成本,为各种新形态的信息化设施构建可信赖的数字桥梁,连接信息孤岛,实现真正的安全共享。
技术在全球范围内,目前都处于不断演进的新兴阶段。墨群分布式计算团队去年在国际计算机网络顶会NSDI2019上发表Monoxide论文,实现了中国在主流国际学术界的核心算法领域零的突破。作为中国首个完全自主可控,自主知识产权的分布式计算系统,墨群不仅实现了三大核心组件---共识算法,智能合约语言以及广播网络协议的自主研发,且突破了现有主流系统的设计框架,使得性能更优,容量更大,系统安全更有保障。
系统的共识算法部分采用的是NSDI论文,用异步共识组架构打破了所谓的不可能三角,在保证充分分布式和安全的前提下,实现吞吐量和系统容量的线性提升,获得了国际同行的认可,使得系统可以适配整个网络的需求,逐步扩容并达到支持亿级用户的规模。
墨群基于Monoxide论文所提出的最终一致性编程模型, 为并行系统设计了专门的编程语言: PREDA语言,大幅提升开发和执行效率,并使得智能合约的安全保障更为轻松。PREDA语言及其编译器彻底打破了国内系统长期依赖海外开源项目,例如以太坊的编程模型以及语言。采用更为高效AOT编译体系和增量状态表达机制,使其执行效率超以太坊Solidity语言百倍。
,墨群抛弃了海外开源系统广泛采用的的基于TCP的多播通讯协议,而采用自研的基于UDP通讯底层的多播通讯协议,从而获得更低的广播延迟并充分利用现代互联网的承载能力。新的协议还引入了Txlim编码,将区块数据压缩为原来1/20 到 1/80,进一步减低时延,减少带宽消耗。
墨群创始人王嘉平博士表示,“墨群在工程实现上,选择了从零开始打造系统的道路,而不去依赖任何海外的开源软件,诚然是一条更为辛苦的路。这样选择并不是单纯为了实现自主知识产权去重复造轮子,而是基于我们的理论突破,可以实现更为优秀的架构,不再重复国外的老路,陷入不可能三角的误区,从而实现远超当下以太坊等主流开源软件的性能和容量,最终我们可以输出更为优秀的系统和产品。”
王嘉平博士是前任微软亚洲研究院院长沈向洋的学生,也是国际顶会NSDI2019华人首篇核心算法Monoxide论文的第一作者,专注于并行计算系统的架构设计和研究,曾任微软美国总部研究院主管研究员。2016年加入创新工场,在计算机视觉、计算机图形学、分布式计算等方面具有丰富的学术背景和工程经验,并在创新工场人工智能工程院担任副院长。
目前,在税务、版权保护、司法平台建设、工程建设招标、房屋租赁平台、征信系统、食品安全溯源、疫苗安全管理、医疗服务、保险服务、电子票据、、公益项目等方面已都有了初步的落地应用。且当前人工智能技术更为深度地参与社会服务和管理,数据的安全保真,用户的隐私保障越来越重要。系统同人工智能技术的深度整合,可以有效地保证数据的可靠性,也保护用户的隐私安全。未来随着一系列应用深入社会各个方面,需要一个可以承载互联网用户量级别的基础设施,实现这样一个高性能高容量的系统打造便是墨群的技术目标和使命。
机器人工业设计
- 工业机器人技术专业方向 工业机器人技术专业方
- 国际上第一台工业机器人产品诞生于 世界上第一
- 工业机器人编程属于什么专业 工业机器人编程属
- 工业机器人编程是学的什么专业课程
- 工业机器人技术需要学什么 工业机器人技术需要
- 工业机器人编程是学的什么内容 工业机器人编程
- 工业机器人发展趋势 工业机器人未来的发展趋势
- 国内工业机器人企业排名 2024年国内工业机器人企
- 工业机器人学起来难不难 工业机器人好不好学
- 工业机器人就业形势了解 工业机器人就业现状
- 工业机器人编程及操作的阅读内容 工业机器人编
- 工业机器人编程难不难 工业机器人编程难不难学
- 工业机器人入门实用教程 工业机器人入门应该学
- 工业机器人编程基本思路是什么 工业机器人编程
- 工业机器人难学吗 工业机器人学起来难不难
- 工业机器人岗位介绍 工业机器人岗位说明