Cosmos五大虚拟机启航

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的模块,也可以通过其他语言的运行时来实现:

Cosmos五大虚拟机启航

图片来源于:

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。

了解更多:

CosmWasm

02

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

了解更多:

Cosmic Swingset

03

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

了解更多:

Kadenamint

04

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

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

了解更多:

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

Movemint

05

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

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

了解更多:

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

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

来源:COSMOS

本文由用户:跳舞精灵 发布,不代表网站的立场,转转请注明出处:http://www.maiyaotop.com/hangye/56488.html

发表评论

登录后才能评论