{"id":2272,"date":"2017-12-20T02:25:43","date_gmt":"2017-12-20T02:25:43","guid":{"rendered":"https:\/\/www.legitgambling.com\/news\/?p=2272"},"modified":"2017-12-20T11:49:01","modified_gmt":"2017-12-20T11:49:01","slug":"next-gen-virtual-machine-deployed-cardano-ada","status":"publish","type":"post","link":"https:\/\/www.legitgambling.com\/news\/next-gen-virtual-machine-deployed-cardano-ada\/","title":{"rendered":"Next Gen. Virtual Machine to Be Deployed On Cardano"},"content":{"rendered":"

\"\"Runtime Verification<\/a> (VR), a University of Illinois startup, and IOHK<\/a>, a block chain research and development company, announced the release of next generation virtual machine for block chain. Notably, the project team has selected the open source, decentralized block-chain technology based smart contract platform Cardano<\/a> for the deployment of the virtual machine<\/a> in the following months. Cardano ADA, the token representing the smart contract platform, had appreciated by about 400% to $0.58, in the past week.<\/p>\n

IELE\u2019s technology offers superior security and dependability to block chain systems. Further, it decreases vulnerabilities that might lead to hacking. The IELE project, involving RV, students at the University of Illinois and IOHK research and development team, was led by professor Rosu. IELE was developed with high mathematical standards and state-of-the-art programming language theory. To implement the verification of smart contracts, IELE opted for a semantics-first approach.<\/p>\n

Once deployed, IELE will serve as a standard lower-level platform for both translating and executing smart contracts from higher level languages. The platform will also enable developing automated techniques which can verify and prove the correctness of smart contracts mathematically. Thus, writing secure smart contracts will be made simple by the platform. Additionally, the platform will also provide a uniform gas model across all languages, creating a standard design format for gas calculations. The project team revealed that IELE was inspired by LLVM, a collection of tools used to create binary machine code. To put it simpler, IELE is basically a variant of LLVM, specifically used to execute smart contracts on the block chain. Once deployed on the Cardano block chain, IELE will optimize ADA transactions.<\/p>\n

IOHK<\/strong><\/p>\n

\n