{"store":{"baseInfo":{"podcastTitle":"Cyfrin Audits Podcast","slug":"cyfrin","podcastDescription":"This podcast is an audio archive of YouTube livestream recording with Patrick Collins and professionals in the web3 smart contract development field.","podcastLogo":"https://pbcdn1.podbean.com/imglogo/image-logo/18325728/cyfrin-logo_enwpkb.png","podcastShareLogo":"https://d2bwo9zemjwxh5.cloudfront.net/image-logo/18325728/cyfrin-logo_enwpkb_1200x628.jpg?s=ba7cb7d359ff74e30528c297fdfe5edc&e=png","podcastUrl":"https://cyfrin.podbean.com","podcastCanSearched":true,"feedUrl":"https://feed.podbean.com/cyfrin/feed.xml","theme":"elegant","podcastDeepLink":"https://www.podbean.com/pu/pbblog-bhccw-117a0e0","removePodbeanBranding":"no","brandingLogo":null,"timeZone":{"timeZoneId":17,"gmtAdjustment":"GMT-04:00","useDaylightTime":1,"value":-4,"text":"(GMT-04:00) Atlantic Time (Canada)","daylightStartTime":"Second Sunday Of March +2 Hours","daylightEndTime":"First Sunday Of November +2 Hours","timezone":"America/Halifax"},"podcastDownloads":null,"totalEpisodes":14,"showComments":false,"iOSAppDownloadLink":null,"customizeCssUrl":null,"androidAppDownloadLink":null,"showPostShare":false,"showLike":true,"author":"cyfrin","engagementStatsBaseUrl":null,"shareEmbedLink":"https://admin5.podbean.com/embed.html?id=pbblog-bhccw-117a0e0-playlist","language":"en","sensitivitySessionExpireTime":3600,"podcastApps":[{"name":"Podbean App","link":"https://r4j68.app.goo.gl/?link=https%3A%2F%2Fcyfrin.podbean.com%3Faction%3DopenPodcast%26podcastId%3Dpbblog18325728%26podcastIdTag%3Dbhccw&dfl=https%3A%2F%2Fcyfrin.podbean.com&utm_campaign=pb_web&utm_source=podbean_web&utm_medium=dlink&imv=670&amv=530&isi=973361050&ibi=com.podbean.app.podcast&ipbi=com.podbean.app.podcast&apn=com.podbean.app.podcast","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/podbean-app.png","title":null},{"name":"Spotify","link":"https://open.spotify.com/show/45aUdY9eDwYyE9EZzPaig4","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/spotify.png","title":null},{"name":"Amazon Music","link":"https://music.amazon.com/podcasts/47e0db3d-b887-4d99-a3c9-85958980e290","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/AmazonMusic.png","title":null},{"name":"iHeartRadio","link":"https://iheart.com/podcast/160824562","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/iHeartRadio.png","title":null},{"name":"PlayerFM","link":"https://player.fm/series/3564007","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/PlayerFM.png","title":null},{"name":"Samsung","link":null,"image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/Samsung.png","title":"Search the podcast title on Samsung Podcast app."},{"name":"Podchaser","link":"https://www.podchaser.com/podcasts/cyfrin-audits-podcast-5661013","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/Podchaser.webp","title":null},{"name":"BoomPlay","link":"https://www.boomplaymusic.com/podcasts/94428","image":"https://pbcdn1.podbean.com/fs1/site/images/admin5/BoomPlay.png","title":null}],"components":{"base":[{"id":"MainStyle","val":"light"},{"id":"Font","val":"Avenir"},{"id":"SecondaryFont","val":"Avenir"},{"id":"PlayerColor","val":"#8fc31f"},{"id":"PlayerStyle","val":"player1"},{"id":"PlayerWave","val":"show"},{"id":"Favicon","val":null},{"id":"CookiesNotice","val":"hide"},{"id":"CookiesNoticeContent","val":"

Cookies Notice

This website uses cookies to improve your experience while you navigate through the website. By using our website you agree to our use of cookies.

"}],"home-header":[{"id":"HomeHeaderTextColor","val":"#000000"},{"id":"HomeHeaderBackgroundColor","val":"#ffffff"}],"page-header":[{"id":"PageHeaderTextColor","val":"#ffffff"},{"id":"PageHeaderBackgroundColor","val":"#868686"}],"episode-list":[{"id":"EpisodeListType","val":"grid"},{"id":"EpisodesPerPage","val":10},{"id":"EpisodeStats","val":"show"}],"navigation":[{"id":"NavigationFontColor","val":"#000000"},{"id":"NavigationBackgroundColor","val":"#e9e9e9"},{"id":"NavigationSearch","val":"show"},{"id":"NavigationLinks","val":[{"id":"Home","type":"Link","value":"/","text":"Home","subitems":[]},{"id":"Subscribe","type":"Link","value":"https://www.podbean.com/site/podcatcher/index/blog/Ynvw0MtxYugY","text":"Subscribe","subitems":[]},{"id":"Profile","type":"Link","value":"https://www.podbean.com/user-DkJV2WIlOukR","text":"Profile","subitems":[]}]}],"footer":[{"id":"FooterType","val":"Footer2"},{"id":"FooterFontColor","val":"#ffffff"},{"id":"FooterBackgroundColor","val":"#000000"},{"id":"FooterCopyright","val":"Copyright 2024 All rights reserved."},{"id":"SocialMediaLinks","val":{"facebook_username":"","twitter_username":"","instagram_username":"","youtube_username":"","linkedin_username":""}}],"customize-container1":[],"customize-container2":[{"id":"ComponentImageText-1","val":{"ComponentFontColor":"#000000","ComponentBackgroundColor":"#f2f2f2","ComponentImage":"/assets/customize-component1.png","ComponentContent":"

Your Title

This is the description area. You can write an introduction or add anything you want to tell your audience. This can help potential listeners better understand and become interested in your podcast. Think about what will motivate them to hit the play button. What is your podcast about? What makes it unique? This is your chance to introduce your podcast and grab their attention.

"}}]},"allLinks":[],"mainStylesDefaultSettings":null,"defaultCustomizeComponents":null,"scripts":[],"metas":null,"appConfig":{"package":"com.podbean.app.generic","app_store_id":1484287462,"app_name":"Podbean Biz Podcast App","scheme":"enterprise-podbean-com"},"customizeCss":null,"canEditCss":null,"enableJsCodeInCustomizeContent":false,"enabledIframeCodeInCustomizeContent":true,"sectionMaxCount":10,"enableEditorLink":true,"enableEditCookiesNotice":true,"siteRedirectToFeed":false,"podcatcherRssUrl":null,"showFeed":true,"showTopBar":true,"enableWebSiteLike":false,"organizationName":"Eureka Street Creative, LLC.","organizationPageLink":"https://www.podbean.com/podcast-network/eurekastreetcryptohubju97yz44"},"backToListUrl":"/","tinymceLoaded":false,"listEpisodes":[],"userLikedEpisodes":[],"topBarIframeLoaded":false,"listTotalCount":0,"listTotalPage":0,"listPage":0,"listType":"all","listValue":"","listName":"","pageLoading":false,"apiBaseUrl":"https://cyfrin.podbean.com","apiCommonParams":{"t":"673ff5ce","clientSignature":"a87963c3d1b13acd402c1fb0d2d061be","u":null,"customizing":null},"apiCommonHeaders":{},"comments":[],"commentsTotalCount":null,"commentsTotalPage":null,"commentsPage":null,"commentEpisodeId":null,"episode":{"id":"pb22803374","idTag":"wfrmd","title":"Formal Verification on Halmos, a Python FV tool! | With Karma from a16z","logo":"https://pbcdn1.podbean.com/imglogo/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q_300x300.jpg","shareLogo":"https://d2bwo9zemjwxh5.cloudfront.net/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q_1200x628.jpg?s=a87b648c15973d6ae759e3bd1a10b7bd&e=jpg","largeLogo":"https://pbcdn1.podbean.com/imglogo/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q.jpg","previewContent":null,"content":"

We speak about the Halmos tool, how Karma got into formal verification, and more.

And some gym tips!

","publishTimestamp":1711318477,"duration":3350,"mediaUrl":"https://mcdn.podbean.com/mf/web/4rp9ek/Halmos-Karma-mixed.mp3","mediaType":"audio/mpeg","shareLink":"https://admin5.podbean.com/embed.html?id=pb-wfrmd-15bf3ae","likedCount":0,"deepLink":"https://www.podbean.com/ew/pb-wfrmd-15bf3ae","transcriptUrl":null,"permalink":"/e/formal-verification-on-halmos-a-python-fv-tool-with-karma-from-a16z/","downloadLink":"https://www.podbean.com/site/EpisodeDownload/PB15BF3AEWFRMD","fallbackResource":null,"fallbackResourceMimetype":null,"downloadCount":2,"status":"publish","hasMoreContent":false,"chaptersUrl":null},"episodeShareLink":null,"deepLink":"https://www.podbean.com/ew/pb-wfrmd-15bf3ae","playlist":{"episodes":[],"current":0,"start":0,"stop":0,"playing":true,"playerLoading":true,"playbackRate":1,"playbackRateIndex":1},"toasts":[],"confirm":null,"customizeEditorFormZIndex":999,"lastRequestTime":null,"validateChangesOnBeforeunload":true,"windowWidth":1000,"VITE_FS1_CDN_URL_PREFIX":"https://pbcdn1.podbean.com/fs1","reloadStats":false},"episode":{"id":"pb22803374","idTag":"wfrmd","title":"Formal Verification on Halmos, a Python FV tool! | With Karma from a16z","logo":"https://pbcdn1.podbean.com/imglogo/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q_300x300.jpg","shareLogo":"https://d2bwo9zemjwxh5.cloudfront.net/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q_1200x628.jpg?s=a87b648c15973d6ae759e3bd1a10b7bd&e=jpg","largeLogo":"https://pbcdn1.podbean.com/imglogo/ep-logo/pbblog18325728/Halmos-SQ_eg8t3q.jpg","previewContent":null,"content":"

We speak about the Halmos tool, how Karma got into formal verification, and more.

And some gym tips!