Cosmos五大虚拟机启航

区块链资讯牛市来了2019-10-31 17:27:23  阅读 -评论 0

原文链接:

https://medium.com/@interchain_io/virtual-machines-take-off-in-the-cosmos-3d11bd6ae942

Cosmos生态系统是一个复杂的自适应系统,建立在主权与选择权的理念基础之上:任何团体都可以使用其偏爱的语言和工具来构建,部署和运营容错协调服务——"区块链"。如果你愿意的话,那么还可以与其他区块链链接。

这一理念以 ABCI 和 IBC 协议的形式体现在Cosmos软件中,这两种协议分别使区块链应用程序能够以任何编程语言进行构建,并彼此安全地通信。

了解ABCI:

https://tendermint.com/docs/spec/abci/

了解IBC:

https://github.com/cosmos/ics

迄今为止,ABCI开发的重点一直在Golang上,即通过用于Gaia(又名Cosmos Hub)的Cosmos-SDK,并且正在成为区块链应用程序开发的领先框架。随着Cosmos-SDK的成熟,重点正在转向将各种虚拟机集成为Cosmos-SDK模块,从而使Cosmos-SDK应用程序可以通过一些领先的区块链虚拟机和运行环境,在运行时更新其逻辑。智能合约及其底层虚拟机正在Cosmos中兴起。

了解Cosmos-SDK:

https://github.com/cosmos/cosmos-sdk

了解Gaia:

https://github.com/cosmos/gaia

除了Golang之外,Javascript也有了长足的发展,即LotionJS框架,该框架已与Agoric在维护Javascript 方面的工作集成在一起,并用于构建比特币锚定。Python中还有一个初步的ABCI框架,以及由社区支持的ABCI服务器,支持诸如Rust,Erlang,Java和Haskell语言。

了解LotionJS:https://lotionjs.com

了解Javascript:https://github.com/Agoric/SES

了解比特币锚定:https://nomic.io/

为了促进Cosmos生态系统中应用发展,我们必须继续扩大和增加对多种语言和开发环境的支持。因此,我们的开发团队提案申请要求以其他语言构建ABCI框架,并将其与现有状态机和IBC集成。

了解提案申请:

https://medium.com/@interchain_io/request-for-proposals-2019-expanding-environments-93c0f51ec9a1

为此,Interchain基金会很高兴能资助许多在Tendermint之上构建虚拟机的项目,这些项目既可以作为Cosmos-SDK的模块,也可以通过其他语言的运行时来实现:

图片来源于:

https://gist.github.com/ebuchman/ec4882b7002803b4b...

以下是每个项目的更详细信息:

Ethermint

01

ICF资助ChainSafe建立Ethermint。Ethermint是在Tendermint之上构建的以太坊的高速实现。由于以太坊的工作量证明安全模型,Go Ethereum的运行速度可能很慢,并且无法提供交易确定性。Ethermint将具有以更快的速度部署智能合约的相同功能。ChainSafe正在将EVM实现为Cosmos-SDK模块,从而允许Ethermint EVM与其他Cosmos-SDK模块进行交互。知名的以太坊应用程序,包括Aragon,都在考虑采用Ethermint。

了解更多:

  • Ethermint: https://github.com/cosmos/ethermint
  • ChainSafe: https://chainsafe.io

CosmWasm

02

ICF资助Confio继续该项目,该项目于2019年6月在柏林的Cosmos Hackatom中启动,该项目为Cosmos-SDK开发WASM智能合约引擎的实现。Confio正在与Regen、TruStory和Althea的Hackatom团队成员一起工作。该项目将WASM虚拟机引入Cosmos-SDK,从而允许将分布式应用作为一组WASM智能合约构建在现有区块链之上。

了解更多:

  • CosmWasm: https://github.com/confio/cosmwasm
  • Confio:https://github.com/confio
  • Cosmos Hackatom:https://medium.com/regen-network/hacking-the-cosmo...
  • Regen: https://www.regen.network
  • TruStory: https://www.trustory.io
  • Althea: https://althea.net

Cosmic Swingset

03

在ICF的支持下,Agoric团队将基于对象性能的Javascript运行时Secure EcmaScript集成到Cosmos-SDK中。这样一来,Cosmos-SDK应用程序就可以利用更安全的Javascript子集编写的智能合约,从而将生态系统开放给世界上最受欢迎的编程语言,而无需面对随之而来的常见安全问题。Agoric团队是基于对象性能安全性的先驱,并将数十年的此类系统设计经验带给了Cosmos。它们还有助于IBC规范的开发。

了解更多:

  • Cosmic Swingset:https://github.com/Agoric/cosmic-swingset
  • Agoric: https://agoric.com
  • Secure EcmaScript: https://github.com/Agoric/SES

Kadenamint

04

ICF与Kadena和FOAM团队共同资助了一个联合项目,用Haskell建立对ABCI和IBC的支持。Haskell是一种高级函数语言,在数学与形式化方法社区中具有强大的保证和深厚的根基。将Cosmos生态系统扩展到Haskell将为构建具有强大正确性保证的高级状态机系统提供新的机会。

FOAM团队专注于hs-abci,一个可投入生产的ABCI服务器和Haskell中的最小Cosmos-SDK,包括与Cosmos-SDK大致兼容的BaseApp库和Basecoin应用。

了解更多:

  • Kadenamint: https://github.com/kadena-io/kadenamint
  • Kadena: https://kadena.io/en/
  • FOAM: https://foam.space
  • hs-abci:https://github.com/f-o-a-m/hs-abci

Kadena团队专注于" Kadenamint"——将其Pact运行时集成到FOAM构建的SDK中。Pact是Kadena在Haskell中开发的高级智能合约语言和运行时。它是图灵不完备的,开源且易于阅读的。Kadenamint将支持合约升级和形式验证,同时与关系数据库系统集成。此外,这为与即将到来的IBC协议进行智能合约集成奠定了基础。

Movemint

05

ICF资助了OpenLibra,以将Move虚拟机集成到Tendermint ABCI之上,并为将来的IBC集成做准备。Move是专为Libra项目设计的VM,但它继承了最受欢迎的Rust语言的类型系统和安全功能。

我们期待与这些项目合作,以及更多其他项目,以发展主权和分布式状态机,并将其集成到更大的Cosmos生态系统中。

了解更多:

  • OpenLibra:https://github.com/open-libra/movemint
  • Move:https://developers.libra.org/docs/move-overview

要了解有关我们的资助计划的更多信息,包括资助项目的完整列表,请参见:

https://github.com/interchainio/funding/

声明:链世界登载此文仅出于分享区块链知识,并不意味着赞同其观点或证实其描述。文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。此文如侵犯到您的合法权益,请联系我们kefu@lianshijie.com

    参与讨论 (0 人参与讨论)

    相关推荐

    中信银行打造“区块链”信用证结算!

    中信银行打造“区块链”信用证结算!

    科技不会改变金融的实质,但却能让金融服务更高效,能让资金供、需方信息不对称的问题更好地解决。近期,中信银行首个区块链项目——基于区块链的国内信用证信息传输系统(简称BCLC)(一期)成功上线,这是国内银行业第一次将区块链技术应用于信用证结算领域。 据中信银行国际业务部总经理助理张栩青介绍,将现在流行的区块链技术应用在国内信用证中,改变了银行传统信用证业务模式,信用证的开立、通知、交单、承兑报文

    中国信息技术部门成立区块链研究实验室

    中国信息技术部门成立区块链研究实验室

    暴走时评:本月初,中国政府对国内的ICO和数字货币交易所的打击在世界范围内引起了强大反响,但政府已经多次声明不会将区块链与数字货币划等号,依然非常重视区块链技术在中国的发展。鉴于中国工业和信息化部成立了一个专门研究区块链的实验室,这一论调也得到了进一步的证实。 虽然中国政府最近在大力打击比特币交易所和ICO,但仍然致力于开发区块链在其他领域的潜力。 据财新网报道,中国工业和信息化部已经成立了一

     分布式账本中的生命科学

    分布式账本中的生命科学

    生物科学是医学领域涉及遗传研究,疾病预防和生活方式治疗(lifestyle treatments)的学科。它已经存在了很长时间,但区块链技术的基础设施应用给该学科提供了重大进步的可能性。 根据Pistoia Alliance进行的2016年6月份高级制药和生命科学领袖调查,83%的受访者表示,他们预计在五年内将全面采用区块链技术。 Pistoia Alliance是一个全球性的非营利组织,致

    区块链vs.核能:日本最大电力公司东京电力(TEPCO)寻求使用区块链减轻对核电的依赖

    区块链vs.核能:日本最大电力公司东京电力(TEPCO)寻求使用区块链减轻对核电的依赖

    东京电力公司 (TEPCO) 对于能源过度中心化的风险可以说绝不陌生。 也许最著名的就是2011年发生的福岛核电站事故,这个日本最大的能源公司如今正在寻求区块链技术来防止这种灾难再次发生。 然而,从使用微型风车的分布式风力发电到用于存储在电力成本低时购买的电力的智能电池,可替代能源项目一直以来都属于个人慈善事业。 然而,TEPCO风险投资部门主管Jeffrey Char认为区块链能够帮助为这

    继证监会发表代币发行声明之后,香港交易所Gatecoin将下线部分ICO币

    继证监会发表代币发行声明之后,香港交易所Gatecoin将下线部分ICO币

    经过一系列监管以及合规审查后,香港交易所Gatecoin将会下线那些被金融监管部门定性为"证券"的代币。 香港加密货币交易所Gatecoin透露,如果在该平台交易的ICO代币在法律上符合"证券"定义,他们就会下线这些代币。据巴比特上月报道,香港主要的金融监管部门证券及期货事务监察委员会(SFC)表达了对ICO这种日渐普及的募资模式的担忧。 尽管ICO中售卖的数字代币通常都被定义为虚拟商品,但

    IBM与超级账本共同加入去中心化身份基金会(DIF),推动创建区块链ID行业标准

    IBM与超级账本共同加入去中心化身份基金会(DIF),推动创建区块链ID行业标准

    IBM与超级账本已经签署协议加入去中心化身份基金会(DIF),这个于今年初成立的联盟旨在帮助推动基于区块链的ID系统的互操作性和标准。 这两个企业区块链大佬加入了这个有各种企业组成的团体,其中包括像微软和埃森哲这样的大企业,还有像Civic和Gem这样的创业公司,以及像uPort和Sovrin这样的开源项目。 DIF执行主管告诉Coindesk说: "这应该是一个信号,表明在这一领域有广泛的

    为打击人口贩卖,牙买加警方盯上了犯罪分子的比特币钱包

    为打击人口贩卖,牙买加警方盯上了犯罪分子的比特币钱包

    作为打击人口贩卖计划的一部分,牙买加警方已经开始行动,锁定了那些试图用比特币和数字支付来掩人耳目的犯罪分子。 越来越多的人口贩卖者都开始转向数字货币来帮助他们进行地下活动并接收非法活动所得,但牙买加警方已经盯上他们了。 牙买加的'大生意' 不幸的是,人口贩卖以及性奴市场规模十分庞大,预计涉资1500亿美元。在牙买加,大约有7000个妇女、儿童以及成年男性被奴役,他们的操控者出售奴役服务的价格

    深圳市将发布《深圳市扶持金融业发展若干措施》,奖励区块链、数字货币等金融创新

    10月9日,深圳市人民政府向各区人民政府,市政府直属各单位印发《深圳市扶持金融业发展若干措施》(以下简称"《若干措施》")。深圳市政府表示,此举是为进一步完善金融支持政策体系,吸引集聚优质金融资源,推动全市金融业可持续均衡发展,加快建设国际化金融创新中心。 《若干措施》共分五大项,33条。内容包括:坚持服务导向,优化金融政策环境;发展金融总部经济,鼓励金融总部企业做大做强;支持金融企业分支机构

    麦妖榜
    更新日期 2019-09-03
    排名用户贡献值
    1牛市来了30910
    2BitettFan24187
    3等待的宿命23810
    4区块大康20369
    5六叶树20310
    6linjm122719429
    7天下无双16192
    8lizhen00215280
    9让时间淡忘14586
    10yelanyi050511349
    返回顶部 ↑