Dan Drake 🦆Mar 1

I'm interested in learning about formal methods and zero-knowledge proofs, particularly for their use in verifying software. I know very, very little about this, but it would be very useful if I knew more.

What are some good basic introductions?

I'm going to poke around a bit with Lean and Dafny. What else might I look at to get, at least, what you might call a "dinner party level" of understanding -- enough so that I can follow and basically participate in a conversation about those in a not-so-formal situation?

#cs #formalmethods #zkp

Show threadOmar AntolínMar 1
@ddrake Huh, in my mind formal methods and zero-knowledge proofs are not closely related topics, even though both are about certifying something to be true.
Show threadDan Drake 🦆
@oantolin yep, that's the use-case for the people who do this, and I'm hoping to work with those people. Take software -- code, whatever -- can you do something with it that proves it works?
Mar 1 at 8:46pmWeb