首页 > 阿童木(Cosmos) > 正文

Cosmos五大虚拟机启航

Cosmos互联链 2019-10-31 17:00

  

  原文链接:

  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/ec4882b7002803b4b33ccd4390baec47

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

  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-cosmos-cosmwasm-and-key-management-a08b9f561d1b

  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/

  

阅读更多

上一篇:Cosmos双周报 (2019.10.28-11.10)

下一篇:Cosmos双周报 (2019.10.14-10.27)

您可能喜欢:

关于我们联系我们作者投稿
Copyright © 2013 比特巴手机版
币圈人都爱上的网站,新闻行情教程人物测评资讯大全