Cardano Just Launched Its First Smart Contracts Testnet and Another Due for JulysteemCreated with Sketch.

in #bitcoin6 years ago

Cardano, the world’s seventh largest cryptocurrency by market cap, quietly launched its first smart contract testnet on May 28, 2018, and the developments are tremendously forward thinking.

Building Trust in Blockchain Projects

According to an official release by IOHK, Cardano’s parent organization, the aproject launched its KEVM testnet, a “correct-by-construction” version of the Ethereum Virtual Machine (EVM), on Cardano’s K framework – a permissioned programming language.

IOHK collaborated with Runtime Verification to build the technology, and the release is the first time the system’s famed semantics have been produced.

For the uninitiated, Cardano is a project that allows developers to build peer-reviewed projects on its blockchain. Using the K Framework, developers can present their project to members of the blockchain programming community, and specify sections of their code into read-only, edit-only, and restricted parts. The framework ensures that projects have been vetted by experienced and highly-educated coders, and provides legitimacy and trust.

Hence, the testnet launch represents an important development in building third-generation blockchains and cryptocurrencies.

The Technicals

As per the release, Cardano developers shall be able to build running applications atop the EVM and deploy them on the K framework. IOHK encourages developers to “rigorously test” the two frameworks, in a bid to prove the robustness of the system.

The release explained the system:

“This is done by formally specifying a contract’s desired properties in K, combining the contract with the KEVM specification, and then using the K framework to verify those properties.”

The K Framework is a product of University of Illinois’ Formal System Lab and was reportedly built over 15 years by project head Grigore Rosu. The K Framework utilizes state-of-the-art mechanism design and programming language and seeks to verify blockchain code of rendered projects formally.

IOHK stated:
“Smart contracts must be formally verified, so they run exactly as specified and are free from bugs or flaws. Only then can they be widely adopted as financial infrastructure that can be relied upon by billions of people.”

Second Testnet in the Works

IOHK claims to launch the currently-in-development second testnet, the IELE, by July 2018. In contrast to the KEVM, the IELE is a register-based system, which enables developers to produce “an unbounded number of registers, that supports unbounded integers.”

Using the IELE, coders can compile, write, and execute their projects with a larger degree of security and performance, relative to the KEVM testnet.

Currently, both the systems run on Solidity, a smart-contract language developed by Ethereum’s core team. However, IOHK is building its own production language, Plutus, and intends to shift away from Solidity in the near future.

The news of the smart contracts testnet follows on from Cardano’s reach into Africa as reported by BTCManager, in which the blockchain project signed MOU’s with government ministries in Ethiopia and Rwanda, and the release of a virtual reality tool to explore the Bitcoin blockchain.

Legal Disclaimer: I am not a financial advisor nor is any content in this article presented as financial advice.

News Source BTCManager

Register on Binance here to trade with the lowest fees Binance

Sort:  

Source
Copying/Pasting full or partial texts without adding anything original is frowned upon by the community. Repeated copy/paste posts could be considered spam. Spam is discouraged by the community, and may result in action from the cheetah bot.

More information and tips on sharing content.

If you believe this comment is in error, please contact us in #disputes on Discord

Top 3 Breakout ICOs June 2018

This post has received a 3.55 % upvote from @booster thanks to: @pinkyblogger.

To listen to the audio version of this article click on the play image.

Brought to you by @tts. If you find it useful please consider upvoting this reply.

This post has received a 5.56 % upvote from @boomerang.

So cardano drops it’s testnet and Tron and EOS releasing their mainnet 2018 really looks like the year for dapp protocols

I wonder which one will prove to be the most popular next to ETH

This post has received votes totaling more than $50.00 from the following pay for vote services:

buildawhale upvote in the amount of $37.46 STU, $47.51 USD.
appreciator upvote in the amount of $15.44 STU, $19.58 USD.
smartsteem upvote in the amount of $9.13 STU, $11.58 USD.
booster upvote in the amount of $5.52 STU, $7.10 USD.
boomerang upvote in the amount of $3.90 STU, $4.95 USD.

For a total calculated value of $71 STU, $91 USD before curation, with a calculated curation of $18 USD.

This information is being presented in the interest of transparency on our platform and is by no means a judgement as to the quality of this post.

cardano ADA is one of th good coin to trade & most of their updates push the price of cardano to a new high ,thanks for letting us know about another update of cardano.

yeah just bought some two days ago, prefect timing lol. never looked at any news or update though.