Podknife - Episode 67: Formal Verification with Martin Lundfall by Zero Knowledge

Help
Help

Suggested Topics
- What is Podknife?
  
  Podknife is a curated podcast information and review site designed to be accessible in your browser from any device. We’re working to build the most useful podcast information source available by providing you with as much publicly available information about each podcast in our database as we can find and keeping it as up to date as possible.
- Can I listen to podcasts on Podknife?
  
  Yeah! There's a player at the bottom of the page.
- How can I get my podcast on Podknife?
  
  We’d love to hear about your podcast and consider it for addition. You can suggest your own by logging in and selecting the “Suggest a Podcast” link from the menu. Fill out the form and we’ll take it from there.
- How can I submit a review of a podcast?
  
  To submit a review of a podcast, go to the page of the podcast you want to review and click the "Submit Review" button below the image associated with the podcast. Clicking that button brings you to a new page where you can select a rating between 1 and 5 stars and write a brief review.
- How can I submit a review of a podcast episode?
  
  To submit a review of a podcast episode, go to the page of the podcast whose episode you want to review and find the specific episode you're looking for. Clicking on any episode reveals a "View Episode" button and clicking on that brings you to an episode-specific page where you can find more information displayed about the episode along with a "Submit Review" button. Clicking that brings you to a new page where you can select a rating between 1 and 5 stars and write a brief review of the episode.
- Is there a Podknife app?
  
  Not yet - we're keeping it in the browser at least for now. No app download required to access anything on the site.
- How can I change my display name?
  
  To change your display name, log in to Podknife and select "Account Settings" in the dropdown menu. From the Account Settings page, enter your desired new display name and press the "Save" button to confirm the change.
- How can I change my password?
  
  To change your password, log in to Podknife and select "Account Settings" in the dropdown menu. From the Account Settings page, enter your desired new password in the two fields below "Update Password" and press the "Save" button to confirm the change.
- How can I keep track of all my reviews?
  
  Within the menu, click on "My Profile", you will then be able to check all your reviews for both podcast & episode. You can also check all your favorite podcasts.
- How can I keep track of all my favorited podcasts?
  
  You can find podcasts you’ve favorited displayed on the My Profile page associated with your account (https://podknife.com/profile).
  You can share your My Profile page displaying your favorite podcasts as well as any reviews you’ve written publicly with a link in the form https://podknife.com/users/[displayname] where [displayname] is replaced by your Display Name.
- How can I favorite a podcast?
  
  On each podcast page you’ll find the outline of a star above the podcast title. Clicking this star fills it in and designates the podcast as a favorite (for logged in users) or invites the user to log in or register for an account (for users who are not logged in). You can find favorited podcasts displayed on the My Profile page associated with your account (https://podknife.com/profile).
- How can I register for a Podknife account?
  
  To register, click on the “Register” button in the top right of your browser window (or visit https://podknife.com/users/sign_up). Enter a Display Name to be associated with your account on the site (alongside any reviews you contribute, for example), an Email address to associate with the account and your password (twice for confirmation). Press the “Confirm” button and you should be all set, logged in and ready to review and favorite podcasts as you wish.
- How can I get in touch?
  
  We’d love to hear from you. You can reach us using the Feedback form (https://podknife.com/feedbacks/new) which can be found either in the footer on each page (for users who are not logged in) or in the dropdown menu (for logged in users).
  
  You can also reach us on Twitter by tweeting us @podknife (https://twitter.com/podknife) or on Facebook by messaging us from our page (https://www.facebook.com/podknife/).
- Log In
- Register
- Feedback
- Help
- Privacy Policy
- Terms of Use
© Podknife 2024

Please login or sign up to post and edit reviews.

This episode currently has no reviews.

Submit Review

Favorite Add to Queue

Episode 67: Formal Verification with Martin Lundfall

Podcast |: Zero Knowledge
Publisher |: Zero Knowledge Podcast
Media Type |: audio
Podknife tags |: Education,; Interview,; Mathematics,; Technology
Categories Via RSS |: Education,; Mathematics,; Science,; Technology
Publication Date |: Mar 06, 2019
Episode Duration |: 01:03:17

Description
iTunes Summary

In this week's episode, we sit down with Martin Lundfall (https://twitter.com/martinlundfall) from Dapphub & MakerDAO to discuss formal verification (https://en.wikipedia.org/wiki/Formal_verification) - a topic request that comes directly from the Zero Knowledge audience. We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the "move fast and break things" approach, and much more. Here are some of articles and videos we mention: * Is a type a lifebuoy or a lamp? (https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp) * https://github.com/dapphub/klab * https://github.com/kframework/evm-semantics * https://github.com/kframework/k * https://jellopaper.org/ * https://dapphub.chat/ Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a and grants.web3.foundation (https://github.com/w3f/Web3-collaboration/blob/master/grants/grants.md) If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA Support our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcast Support us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week's episode, we sit down with Martin Lundfall from Dapphub & MakerDAO to discuss formal verification - a topic request that comes directly from the Zero Knowledge audience.

We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the "move fast and break things" approach, and much more.

Here are some of articles and videos we mention:

Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a and grants.web3.foundation

If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram - https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA Support our Gitcoin Grant - https://gitcoin.co/grants/38/zero-knowledge-podcast Support us on Patreon - https://www.patreon.com/zeroknowledge Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

In this week's episode, we sit down with Martin Lundfall from Dapphub & MakerDAO to discuss formal verification - a topic request that comes directly from the Zero Knowledge audience.

We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the "move fast and break things" approach, and much more.

Here are some of articles and videos we mention:

This episode currently has no reviews.

Submit Review

This episode could use a review!

This episode could use a review! Have anything to say about it? Share your thoughts using the button below.

Submit Review