{"id":6464,"date":"2020-04-09T12:00:02","date_gmt":"2020-04-09T12:00:02","guid":{"rendered":"http:\/\/thebitcoinpodcast.com\/?p=6464"},"modified":"2020-04-07T19:47:16","modified_gmt":"2020-04-07T19:47:16","slug":"hashing-it-out-78","status":"publish","type":"post","link":"https:\/\/thebitcoinpodcast.com\/hashing-it-out-78\/","title":{"rendered":"Hashing It Out #78-Certora &#8211; Mooly Sagiv"},"content":{"rendered":"<p><iframe loading=\"lazy\" src=\"https:\/\/player.simplecast.com\/3c2816dd-8bb8-429d-bf54-e83cc83d6cc4?dark=true\" width=\"100%\" height=\"200px\" frameborder=\"no\" scrolling=\"no\" seamless=\"\"><\/iframe><\/p>\n<p>Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.<\/p>\n<p><strong>Links:<\/strong><\/p>\n<ul>\n<li><a href=\"https:\/\/www.certora.com\/\">Website Certora<\/a><\/li>\n<li><a href=\"https:\/\/twitter.com\/Certora1\">Twitter-Certora<\/a><\/li>\n<\/ul>\n<h3>Sponsor<\/h3>\n<ul>\n<li><a href=\"https:\/\/statusnetwork.com\/\">Status Website<\/a><\/li>\n<li><a href=\"https:\/\/status.im\/tbp\/\">Status APP<\/a><\/li>\n<li><a href=\"https:\/\/dap.ps\/\">DAPPS Website<\/a><\/li>\n<li><a href=\"https:\/\/dashboard.simplecast.com\/shows\/b623b331-ffef-40c4-918d-b35a07ee8729\/episodes\/stake@dap.ps\">DAPPS Email<\/a><\/li>\n<\/ul>\n<p><a href=\"https:\/\/rodhamilton.bandcamp.com\/album\/enchanted-forest\">AD Music Rod Hamilton Enchanted Forest<\/a><\/p>\n<p><a href=\"https:\/\/donate.hashingitout.stream\/\">Donate to Hashing It Out<\/a><\/p>\n<p><a href=\"https:\/\/discuss.thebitcoinpodcast.com\/\">Discuss<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules. Links: Website Certora Twitter-Certora Sponsor Status Website Status APP DAPPS Website DAPPS Email AD Music Rod Hamilton Enchanted Forest Donate to Hashing [&hellip;]<\/p>\n","protected":false},"author":7,"featured_media":6466,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"nf_dc_page":"","unlock_protocol_post_locks":"","publish_to_discourse":"0","publish_post_category":"1","wpdc_auto_publish_overridden":"1","wpdc_topic_tags":"","wpdc_pin_topic":"","wpdc_pin_until":"","discourse_post_id":"","discourse_permalink":"","wpdc_publishing_response":"","wpdc_publishing_error":"","footnotes":""},"categories":[99],"tags":[796,795,792,801,800,10,802,803,779,799,322,793,536,797,794,798],"_links":{"self":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6464"}],"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\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/comments?post=6464"}],"version-history":[{"count":3,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6464\/revisions"}],"predecessor-version":[{"id":6469,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/posts\/6464\/revisions\/6469"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media\/6466"}],"wp:attachment":[{"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/media?parent=6464"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/categories?post=6464"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/thebitcoinpodcast.com\/wp-json\/wp\/v2\/tags?post=6464"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}