{"id":1048,"date":"2016-09-01T17:25:00","date_gmt":"2016-09-01T17:25:00","guid":{"rendered":"https:\/\/blog.holytransaction.com\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html"},"modified":"2020-09-13T15:48:47","modified_gmt":"2020-09-13T13:48:47","slug":"microsoft-smart-contracts-a-working-group-to-improve-security","status":"publish","type":"post","link":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html","title":{"rendered":"Microsoft Smart Contracts: a working group to improve security"},"content":{"rendered":"<div style=\"clear: both; text-align: center;\"><a style=\"margin-left: 1em; margin-right: 1em;\" href=\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s1600\/bitsoft_azure.jpg\"><img loading=\"lazy\" decoding=\"async\" title=\"microsoftsmartcontracts.jpeg\" src=\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg\" alt=\"microsoft_smart_contracts\" width=\"400\" height=\"220\" border=\"0\" \/><\/a><\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Today the tech giant announced it is working on a project to improve <b><a href=\"https:\/\/holytransaction.com\/blog\/?s=microsoft&#038;submit=Search\" target=\"_blank\" rel=\"noopener noreferrer\">Microsoft<\/a> smart contracts security.<\/b><\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Called <a href=\"http:\/\/baroquecycle.wikia.com\/wiki\/Kinakuta\"><b>Kinakuta<\/b><\/a>, this working group aims at making it easier for companies to use and develop smart contracts based on the blockchain.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Even if more and more businesses are increasingly expressing interest in blockchain based smart contracts, concerns about this kind of use case grew after the <a href=\"https:\/\/holytransaction.com\/blog\/?s=dao&#038;submit=Search\"><b>DAO collapse<\/b><\/a>.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Since then, Microsoft decided to improve smart contracts security to avoid further issues in the future.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\"><b>Marley Gray<\/b>, Microsoft&#8217;s director of business development and strategy, in fact, believes that their project could reduce future risks.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\"><i>&#8220;We feel there\u2019s a huge opportunity here to involve the community. Kinakuta is the community building around Microsoft best practices and elsewhere, to collect best practices and tools and involve developers in creating these best practices.&#8221;<\/i><\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Gray explained that there are <b>35 developers <\/b>and companies that the company decided to call for the Microsoft Smart Contracts group. These include the <b>Ethereum Foundation, R3CEV <\/b>and <b>BlockApps<\/b>.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<h3 style=\"text-align: justify;\">Vitalik Buterin on Microsoft Smart Contracts<\/h3>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\"><a href=\"https:\/\/holytransaction.com\/blog\/?s=buterin&#038;submit=Search\" target=\"_blank\" rel=\"noopener noreferrer\">Vitalik Buterin<\/a>, Ethereum Creator, commented that he doesn&#8217;t believe that this new project could necessarily stop future collapses like DAO.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">&#8220;There will be further bugs and we will learn further lessons,\u201d he explained in a blog post.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<h3 style=\"text-align: justify;\">Microsoft Smart Contracts: a whitepaper with Harvard<\/h3>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">Previously,<b> Microsoft released a research realized with Harvard<\/b> that explained how ethereum smart contracts will work.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<div style=\"text-align: justify;\">This whitepaper proposes a method called \u201c<b>formal verification<\/b>\u201d, or the way to prove the correctness of a smart contract; also it proposes two tools to help verify smart contracts:<b> Solidity <\/b>and<b> EVM<\/b>.<\/div>\n<div style=\"text-align: justify;\"><\/div>\n<p>Open your free digital wallet <a href=\"https:\/\/holytransaction.com\/app#!\/signup\">here<\/a> to store your cryptocurrencies in a safe place.<\/p>\n<!-- AddThis Advanced Settings generic via filter on the_content --><!-- AddThis Share Buttons generic via filter on the_content -->","protected":false},"excerpt":{"rendered":"<p>Today the tech giant announced it is working on a project to improve Microsoft smart contracts security. Called Kinakuta, this working group aims at making it easier for companies to use and develop smart contracts based on the blockchain. Even if more and more businesses are increasingly expressing interest in blockchain based smart contracts, concerns [&hellip;]<!-- AddThis Advanced Settings generic via filter on get_the_excerpt --><!-- AddThis Share Buttons generic via filter on get_the_excerpt --><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[101,208,271,429,592,669],"tags":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v19.6 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Microsoft Smart Contracts: a working group to improve security -<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Microsoft Smart Contracts: a working group to improve security\" \/>\n<meta property=\"og:description\" content=\"Today the tech giant announced it is working on a project to improve Microsoft smart contracts security. Called Kinakuta, this working group aims at making it easier for companies to use and develop smart contracts based on the blockchain. Even if more and more businesses are increasingly expressing interest in blockchain based smart contracts, concerns [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/facebook.com\/holytransaction\" \/>\n<meta property=\"article:author\" content=\"https:\/\/facebook.com\/holytransaction\" \/>\n<meta property=\"article:published_time\" content=\"2016-09-01T17:25:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2020-09-13T13:48:47+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg\" \/>\n<meta name=\"author\" content=\"Satoshi\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@https:\/\/twitter.com\/holytransaction\" \/>\n<meta name=\"twitter:site\" content=\"@holytransaction\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Satoshi\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html\",\"url\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html\",\"name\":\"Microsoft Smart Contracts: a working group to improve security -\",\"isPartOf\":{\"@id\":\"https:\/\/holytransaction.com\/blog\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage\"},\"image\":{\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage\"},\"thumbnailUrl\":\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg\",\"datePublished\":\"2016-09-01T17:25:00+00:00\",\"dateModified\":\"2020-09-13T13:48:47+00:00\",\"author\":{\"@id\":\"https:\/\/holytransaction.com\/blog\/#\/schema\/person\/1643e2c0c2df67ae0d6eacff8a185e69\"},\"breadcrumb\":{\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage\",\"url\":\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg\",\"contentUrl\":\"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/holytransaction.com\/blog\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Microsoft Smart Contracts: a working group to improve security\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/holytransaction.com\/blog\/#website\",\"url\":\"https:\/\/holytransaction.com\/blog\/\",\"name\":\"\",\"description\":\"HolyTransaction&#039;s Blog - Your crypto blog\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/holytransaction.com\/blog\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/holytransaction.com\/blog\/#\/schema\/person\/1643e2c0c2df67ae0d6eacff8a185e69\",\"name\":\"Satoshi\",\"sameAs\":[\"https:\/\/holytransaction.com\",\"https:\/\/facebook.com\/holytransaction\",\"https:\/\/twitter.com\/https:\/\/twitter.com\/holytransaction\"],\"url\":\"https:\/\/holytransaction.com\/blog\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Microsoft Smart Contracts: a working group to improve security -","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:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html","og_locale":"en_US","og_type":"article","og_title":"Microsoft Smart Contracts: a working group to improve security","og_description":"Today the tech giant announced it is working on a project to improve Microsoft smart contracts security. Called Kinakuta, this working group aims at making it easier for companies to use and develop smart contracts based on the blockchain. Even if more and more businesses are increasingly expressing interest in blockchain based smart contracts, concerns [&hellip;]","og_url":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html","article_publisher":"https:\/\/facebook.com\/holytransaction","article_author":"https:\/\/facebook.com\/holytransaction","article_published_time":"2016-09-01T17:25:00+00:00","article_modified_time":"2020-09-13T13:48:47+00:00","og_image":[{"url":"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg"}],"author":"Satoshi","twitter_card":"summary_large_image","twitter_creator":"@https:\/\/twitter.com\/holytransaction","twitter_site":"@holytransaction","twitter_misc":{"Written by":"Satoshi","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html","url":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html","name":"Microsoft Smart Contracts: a working group to improve security -","isPartOf":{"@id":"https:\/\/holytransaction.com\/blog\/#website"},"primaryImageOfPage":{"@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage"},"image":{"@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage"},"thumbnailUrl":"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg","datePublished":"2016-09-01T17:25:00+00:00","dateModified":"2020-09-13T13:48:47+00:00","author":{"@id":"https:\/\/holytransaction.com\/blog\/#\/schema\/person\/1643e2c0c2df67ae0d6eacff8a185e69"},"breadcrumb":{"@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#primaryimage","url":"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg","contentUrl":"https:\/\/3.bp.blogspot.com\/-nQ2odatNSSU\/V6Mowf5EmuI\/AAAAAAAAArk\/DJvgNwl60W4Qzghrdk3okbDMLIHOojOPwCPcB\/s400\/bitsoft_azure.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/holytransaction.com\/blog\/2016\/09\/microsoft-smart-contracts-a-working-group-to-improve-security.html#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/holytransaction.com\/blog"},{"@type":"ListItem","position":2,"name":"Microsoft Smart Contracts: a working group to improve security"}]},{"@type":"WebSite","@id":"https:\/\/holytransaction.com\/blog\/#website","url":"https:\/\/holytransaction.com\/blog\/","name":"","description":"HolyTransaction&#039;s Blog - Your crypto blog","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/holytransaction.com\/blog\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/holytransaction.com\/blog\/#\/schema\/person\/1643e2c0c2df67ae0d6eacff8a185e69","name":"Satoshi","sameAs":["https:\/\/holytransaction.com","https:\/\/facebook.com\/holytransaction","https:\/\/twitter.com\/https:\/\/twitter.com\/holytransaction"],"url":"https:\/\/holytransaction.com\/blog\/author\/admin"}]}},"_links":{"self":[{"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/posts\/1048"}],"collection":[{"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/comments?post=1048"}],"version-history":[{"count":1,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/posts\/1048\/revisions"}],"predecessor-version":[{"id":3722,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/posts\/1048\/revisions\/3722"}],"wp:attachment":[{"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/media?parent=1048"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/categories?post=1048"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/holytransaction.com\/blog\/wp-json\/wp\/v2\/tags?post=1048"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}