
Log in to personalize your schedule, track your favorite speakers, and more.


Welcome to the Devcon Event app!

Devcon is an intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

Ethereum developer conference

Devcon Bogotá, Oct 11 → 14

Devcon Bogotá App

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.

Jon Stephens

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.

Talk 3

Are Your Zero-Knowledge Proofs Correct?

There has been increasing interest in integrating ZK Circuits into the blockchain stack to provide users with privacy. However, similar to smart contracts, it is likely that they will be high value targets for attackers as their exploitation could provide a monetary gain. It is therefore essential to develop tools and techniques to help developers increase the confidence in their circuits. In this talk, I will discuss ongoing work at Veridise capable of finding bugs in ZK circuits as well as les