Virtual Machines Take Off in the Cosmos

https://gist.github.com/ebuchman/ec4882b7002803b4b33ccd4390baec47
  1. Ethermint: The ICF funded ChainSafe to build Ethermint. Ethermint is the high speed implementation of Ethereum built on top of Tendermint. Go Ethereum can be slow and doesn’t offer transaction finality due to Ethereum’s Proof-of-Work security model. Ethermint will give the same ability to deploy smart contracts at a much faster speed. ChainSafe is implementing the EVM as a Cosmos-SDK module, allowing the Ethermint EVM to interact with other Cosmos-SDK modules. Prominent Ethereum applications, including Aragon, are contemplating adopting Ethermint for their own uses.
  2. CosmWasm: The ICF funded Confio to continue the project that was started at the Cosmos Hackatom in Berlin in June 2019 of developing an implementation of a WASM smart contract engine for the Cosmos-SDK. Confio is working with Hackatom team members from Regen Network, TruStory, and Althea on completing this implementation. This project will bring a WASM virtual machine into the Cosmos-SDK, allowing decentralized applications to be built on top of an existing blockchain as a set of WASM smart contracts.
  3. Cosmic Swingset: With support from the ICF, the Agoric team integrated their object-capabilities based Javascript run-time, Secure EcmaScript, into the Cosmos-SDK. This enables Cosmos-SDK applications to utilize smart contracts written in a more secure subset of Javascript, opening the ecosystem to the world’s most popular programming language without inheriting the typical mess of security issues that come along with it. The Agoric team are pioneers in object-capability based security, and bring decades of experience in designing such systems to the Cosmos. They have also been instrumental in the development of the IBC specification.
  4. Kadenamint: The ICF funded a joint project with the Kadena and FOAM teams to build out support for ABCI and IBC in Haskell. Haskell is an advanced functional language with strong guarantees and deep roots in mathematical and formal methods communities. Expanding the Cosmos ecosystem into Haskell will open new opportunities for building advanced state machine systems with strong correctness guarantees.
    The FOAM team is focusing on hs-abci, a production ready ABCI server and a minimal Cosmos-SDK in Haskell, including a BaseApp library and a Basecoin app roughly compatible with those of the Cosmos-SDK.
    The Kadena team is focusing on “Kadenamint” — integrating their Pact runtime into the FOAM-built SDK. Pact is an advanced smart contract language and runtime developed by Kadena in Haskell. It is Turing incomplete, open source, and human readable. Kadenamint will support contract upgrades and formal verification, while integrating with relational database systems. Furthermore, this lays the groundwork for smart contract integration with the upcoming IBC protocol.
  5. Movemint: The ICF funded OpenLibra to integrate the Move virtual machine on top of the Tendermint ABCI and prepare it for future IBC integration. Move is the VM being designed for the notorious Libra project, but it inherits much of it’s type system and safety features from the beloved Rust language.

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store