KEVM Virtual Machine
From CryptoWiki
Revision as of 04:16, 10 September 2019 by wiki_crypto>Zeb.dyor (Created page with "Cardano’s smart contract virtual machine From the [https://cardanoroadmap.com/en/goguen/ website]: "''KEVM i...")
Cardano’s smart contract virtual machine
From the website:
"KEVM is a high-quality, formally-verified smart contract virtual machine compatible with the Ethereum virtual machine (EVM). Formally specified in the K framework, the KEVM uses formal semantics for elements such as the configuration and transition rules of EVM, resulting in a more secure virtual machine for smart contracts. IOHK paused its collaboration in the K framework project in order to focus on other priorities, but is enthusiastic about the vision and may participate again in the future.
