{"id":1810,"date":"2021-05-10T22:43:38","date_gmt":"2021-05-10T21:43:38","guid":{"rendered":"https:\/\/adavault.com\/?p=1810"},"modified":"2021-05-11T11:10:07","modified_gmt":"2021-05-11T10:10:07","slug":"what-is-iele-and-why-does-it-matter","status":"publish","type":"post","link":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/","title":{"rendered":"What is IELE and why does it matter?"},"content":{"rendered":"\n<p>We are entering the next phase of money when it becomes programmable. This in a nutshell is the promise of Smart Contracts, and has the potential to be a major revolution similar in impact to the invention of the printing press. <\/p>\n\n\n\n<p>But there are <a href=\"https:\/\/www.investopedia.com\/news\/ethereum-smart-contracts-vulnerable-hacks-4-million-ether-risk\/\">challenges<\/a> to making Smart contracts reliable and secure so that you can be absolutely confident that the contract will execute in the way expected. Years of work in the security space have shown that programming and building secure systems is hard (we have <a href=\"http:\/\/about us\">long experience<\/a> of this).<\/p>\n\n\n\n<p>You may have caught an update from <a target=\"_blank\" rel=\"noreferrer noopener\" href=\"https:\/\/en.wikipedia.org\/wiki\/Grigore_Rosu\">Professor Grigore Rosu<\/a>, President and CEO of start-up Runtime Verification (RV) in the recent Cardano 360 which explored the work IOHK are doing with RV to solve this problem. The goal is to deliver a more secure and verifiable approach to writing and executing Smart contracts than current blockchains like Ethereum which have dominated in this space to date.<\/p>\n\n\n\n<p>RV specialise in translating from any language to intermediate virtual machines (IELE in this case) to allow the language to be formally verified (K framework) and executed on any target system. In this case the target will be Plutus, the smart contracts environment on Cardano which is written in Haskell. <\/p>\n\n\n\n<p>From the <a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2021\/05\/10\/runtime-verification-iele-from-interoperability-to-universality\/\">recent IOHK blogpost<\/a> by Alex Hamilton:<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\"><p>IELE (named after a faerie-like&nbsp;<a target=\"_blank\" rel=\"noreferrer noopener\" href=\"https:\/\/en.wikipedia.org\/wiki\/Iele\">creature of Romanian myth<\/a>) is a virtual machine that executes smart contracts, and also provides a human-readable language for blockchain developers. IELE was designed with formal methods in mind to address security and correctness concerns inherent in writing Solidity smart contracts targeting Ethereum, easing the path to heightened levels of security, scalability, and programmability.<\/p><cite><a href=\"https:\/\/iohk.io\/en\/blog\/posts\/2021\/05\/10\/runtime-verification-iele-from-interoperability-to-universality\/\">https:\/\/iohk.io\/en\/blog\/posts\/2021\/05\/10\/runtime-verification-iele-from-interoperability-to-universality\/<\/a><\/cite><\/blockquote>\n\n\n\n<p>The benefits are considerable.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Contracts can ultimately be written in any language, allowing developers to access smart contracts who may not have experience in a specific language like ethereum&#8217;s solidity language.<\/li><li>Existing contracts can be ported to Cardano where they can run with faster execution and lower fees.<\/li><li>Lastly formal verification gives a high level of assurance contracts will execute as expected.<\/li><\/ul>\n\n\n\n<p>Complex but worth a read. This capability is going to be one of the major differentiators for Cardano in the coming years.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are entering the next phase of money when it becomes programmable. This in a nutshell is the promise of Smart Contracts, and has the potential to be a major revolution similar in impact to the invention of the printing press. But there are challenges to making Smart contracts reliable and secure so that you&hellip;<\/p>\n","protected":false},"author":1,"featured_media":1814,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[6],"tags":[223,221,222,220,225,224],"class_list":["post-1810","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-musings","tag-formal-verification","tag-iele","tag-kevm","tag-runtime-verification","tag-security","tag-smart-contracts"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v26.6 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>What is IELE and why does it matter? - ADAvault<\/title>\n<meta name=\"description\" content=\"The ADAvault blog\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"What is IELE and why does it matter? - ADAvault\" \/>\n<meta property=\"og:description\" content=\"The ADAvault blog\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\" \/>\n<meta property=\"og:site_name\" content=\"ADAvault\" \/>\n<meta property=\"article:published_time\" content=\"2021-05-10T21:43:38+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2021-05-11T10:10:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"800\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"webmaster\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@adavaultops\" \/>\n<meta name=\"twitter:site\" content=\"@adavaultops\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"webmaster\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\"},\"author\":{\"name\":\"webmaster\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179\"},\"headline\":\"What is IELE and why does it matter?\",\"datePublished\":\"2021-05-10T21:43:38+00:00\",\"dateModified\":\"2021-05-11T10:10:07+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\"},\"wordCount\":374,\"publisher\":{\"@id\":\"https:\/\/dev.adavault.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg\",\"keywords\":[\"Formal verification\",\"IELE\",\"KEVM\",\"Runtime Verification\",\"Security\",\"Smart Contracts\"],\"articleSection\":[\"Musings\"],\"inLanguage\":\"en-GB\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\",\"url\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\",\"name\":\"What is IELE and why does it matter? - ADAvault\",\"isPartOf\":{\"@id\":\"https:\/\/dev.adavault.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg\",\"datePublished\":\"2021-05-10T21:43:38+00:00\",\"dateModified\":\"2021-05-11T10:10:07+00:00\",\"description\":\"The ADAvault blog\",\"breadcrumb\":{\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage\",\"url\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg\",\"contentUrl\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg\",\"width\":1200,\"height\":800},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/dev.adavault.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"What is IELE and why does it matter?\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/dev.adavault.com\/#website\",\"url\":\"https:\/\/dev.adavault.com\/\",\"name\":\"ADAvault\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/dev.adavault.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/dev.adavault.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/dev.adavault.com\/#organization\",\"name\":\"ADAvault.com\",\"url\":\"https:\/\/dev.adavault.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png\",\"contentUrl\":\"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png\",\"width\":512,\"height\":512,\"caption\":\"ADAvault.com\"},\"image\":{\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/x.com\/adavaultops\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179\",\"name\":\"webmaster\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/dev.adavault.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g\",\"caption\":\"webmaster\"},\"sameAs\":[\"https:\/\/adavault.com\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"What is IELE and why does it matter? - ADAvault","description":"The ADAvault blog","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/","og_locale":"en_GB","og_type":"article","og_title":"What is IELE and why does it matter? - ADAvault","og_description":"The ADAvault blog","og_url":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/","og_site_name":"ADAvault","article_published_time":"2021-05-10T21:43:38+00:00","article_modified_time":"2021-05-11T10:10:07+00:00","og_image":[{"width":1200,"height":800,"url":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg","type":"image\/jpeg"}],"author":"webmaster","twitter_card":"summary_large_image","twitter_creator":"@adavaultops","twitter_site":"@adavaultops","twitter_misc":{"Written by":"webmaster","Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#article","isPartOf":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/"},"author":{"name":"webmaster","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179"},"headline":"What is IELE and why does it matter?","datePublished":"2021-05-10T21:43:38+00:00","dateModified":"2021-05-11T10:10:07+00:00","mainEntityOfPage":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/"},"wordCount":374,"publisher":{"@id":"https:\/\/dev.adavault.com\/#organization"},"image":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage"},"thumbnailUrl":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg","keywords":["Formal verification","IELE","KEVM","Runtime Verification","Security","Smart Contracts"],"articleSection":["Musings"],"inLanguage":"en-GB"},{"@type":"WebPage","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/","url":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/","name":"What is IELE and why does it matter? - ADAvault","isPartOf":{"@id":"https:\/\/dev.adavault.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage"},"image":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage"},"thumbnailUrl":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg","datePublished":"2021-05-10T21:43:38+00:00","dateModified":"2021-05-11T10:10:07+00:00","description":"The ADAvault blog","breadcrumb":{"@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#primaryimage","url":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg","contentUrl":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2021\/05\/chart-generic-candles.jpg","width":1200,"height":800},{"@type":"BreadcrumbList","@id":"https:\/\/dev.adavault.com\/index.php\/2021\/05\/10\/what-is-iele-and-why-does-it-matter\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dev.adavault.com\/"},{"@type":"ListItem","position":2,"name":"What is IELE and why does it matter?"}]},{"@type":"WebSite","@id":"https:\/\/dev.adavault.com\/#website","url":"https:\/\/dev.adavault.com\/","name":"ADAvault","description":"","publisher":{"@id":"https:\/\/dev.adavault.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dev.adavault.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/dev.adavault.com\/#organization","name":"ADAvault.com","url":"https:\/\/dev.adavault.com\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/","url":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png","contentUrl":"https:\/\/dev.adavault.com\/wp-content\/uploads\/2020\/10\/cropped-logo-wp-top-2.png","width":512,"height":512,"caption":"ADAvault.com"},"image":{"@id":"https:\/\/dev.adavault.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/adavaultops"]},{"@type":"Person","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/49b7a35bfadc7aa22c3643a455a1f179","name":"webmaster","image":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/dev.adavault.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/cab5b4ef880b9b0561c19eeea56044b2fad250d084091ecd4feb7e8faf92d61f?s=96&d=retro&r=g","caption":"webmaster"},"sameAs":["https:\/\/adavault.com"]}]}},"_links":{"self":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1810","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/comments?post=1810"}],"version-history":[{"count":4,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1810\/revisions"}],"predecessor-version":[{"id":1818,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/posts\/1810\/revisions\/1818"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/media\/1814"}],"wp:attachment":[{"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/media?parent=1810"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/categories?post=1810"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dev.adavault.com\/index.php\/wp-json\/wp\/v2\/tags?post=1810"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}