Watch / Are Your Zero-Knowledge Proofs Correct?

Are Your Zero-Knowledge Proofs Correct?

  • YouTube
  • Details

Are Your Zero-Knowledge Proofs Correct?

Duration: 00:25:37

Speaker: Jon Stephens

Type: Talk

Expertise: Intermediate

Event: Devcon 6

Date: Oct 2022

Recent efforts have made it possible to write zero-knowledge proofs without having deep expertise in cryptography. Nevertheless, these proofs can be subtly wrong and result in situations where the application erroneously “verifies” bogus information from an attacker. In this talk, we will give an overview of our research that can be used to reason about the correctness of zero-knowledge proofs and highlight some of the open-source tools that Veridise has developed to find bugs in ZK circuits.
About the speakers


Jon Stephens

I am a current PhD student at UT Austin as well as the CTO and a co-founder of Veridise. My work focuses on developing automated techniques to verify and identify bugs in various locations in the blockchain stack.

  • Related