Cosmos五大虚拟机启航

原文链接：

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

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

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

在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

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

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

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

了解更多：