{"id":5508,"date":"2019-04-26T23:56:06","date_gmt":"2019-04-26T23:56:06","guid":{"rendered":"http:\/\/thebitcoinpodcast.com\/?p=5508"},"modified":"2019-05-08T21:57:34","modified_gmt":"2019-05-08T21:57:34","slug":"hashing-it-out-43","status":"publish","type":"post","link":"https:\/\/thebitcoinpodcast.com\/hashing-it-out-43\/","title":{"rendered":"Hashing It Out #43: Kadena &#8211; Stuart Popejoy and Emily Pillmore"},"content":{"rendered":"<p><iframe loading=\"lazy\" src=\"https:\/\/player.simplecast.com\/3d556192-77b3-4c6f-b066-4597eae6b1ed?dark=true\" width=\"100%\" height=\"200px\" frameborder=\"no\" scrolling=\"no\" seamless=\"\"><\/iframe><\/p>\n<p>We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its limitations. They also give us an update on Chainweb itself and talk us through some of the challenges since we last spoke&#8230; AND their innovated solutions to those challenges!<\/p>\n<p><strong>Links:<\/strong><br \/>\n&#8211; <a href=\"http:\/\/kadena.io\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">http:\/\/kadena.io<\/a><br \/>\n&#8211; <a href=\"https:\/\/kadena.io\/en\/resources\/\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">https:\/\/kadena.io\/en\/resources\/<\/a><br \/>\n&#8211; <a href=\"https:\/\/twitter.com\/kadena_io\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">https:\/\/twitter.com\/kadena_io<\/a><br \/>\n&#8211; <a href=\"https:\/\/twitter.com\/sirlensalot\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">https:\/\/twitter.com\/sirlensalot<\/a><br \/>\n&#8211; <a href=\"https:\/\/twitter.com\/emi1ypi\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">https:\/\/twitter.com\/emi1ypi<\/a><br \/>\n&#8211; <a href=\"https:\/\/medium.com\/kadena-io\/the-evm-is-fundamentally-unsafe-ba486cb17f1f\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">EVM is fundamentally unsafe<\/a><br \/>\n&#8211; <a href=\"https:\/\/medium.com\/kadena-io\/turing-completeness-and-smart-contract-security-67e4c41704c\" target=\"_blank\" rel=\"nofollow noopener noreferrer\">Turing Complete vs Turing Incomplete<\/a><\/p>\n<p><strong>Sponsored By:<\/strong><\/p>\n<p><a href=\"http:\/\/www.trailofbits.com\">Trail of Bits<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":5512,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","unlock_protocol_post_locks":"","publish_to_discourse":"","publish_post_category":"","wpdc_auto_publish_overridden":"","wpdc_topic_tags":"","wpdc_pin_topic":"","wpdc_pin_until":"","discourse_post_id":"","discourse_permalink":"","wpdc_publishing_response":"","wpdc_publishing_error":"","footnotes":""},"categories":[99],"tags":[],"_links":{"self":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/5508"}],"collection":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/comments?post=5508"}],"version-history":[{"count":2,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/5508\/revisions"}],"predecessor-version":[{"id":5535,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/5508\/revisions\/5535"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media\/5512"}],"wp:attachment":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media?parent=5508"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/categories?post=5508"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/tags?post=5508"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}