{"href":"http://player.captivate.fm/services/oembed?url=http%3A%2F%2Fplayer.captivate.fm%2Fepisode%2Fae02f00a-996a-4811-8f0f-46c2d67b5375","version":"1.0","provider_name":"Captivate.FM","provider_url":"https://www.captivate.fm","width":600,"height":200,"type":"rich","html":"<iframe style=\"width: 100%; height: 200px;\" title=\"Using Formal Verification on ZK Systems with Jon Stephens\" frameborder=\"0\" scrolling=\"no\" allow=\"clipboard-write\" seamless src=\"http://player.captivate.fm/episode/ae02f00a-996a-4811-8f0f-46c2d67b5375\"></iframe>","title":"Using Formal Verification on ZK Systems with Jon Stephens","description":"","thumbnail_width":300,"thumbnail_height":300,"thumbnail_url":"https://artwork.captivate.fm/877035ba-a1ab-4fd3-8349-36666cc361f3/cover.jpg"}