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.
Sessions
105min
ZK Security Self Led Session
Jordi Baylina, Jon Stephens, Kyle Charbonnet, gubsheep, David Theodore, Remy, Barry Whitehat, Jason Morton, Lucas Vella, Haichen Shen
ZKPs: Privacy, Identity, Infrastructure, & More
10-12
13:30
30min
Are Your Zero-Knowledge Proofs Correct?
Jon Stephens
ZKPs: Privacy, Identity, Infrastructure, & More
Talk 3
10-13
16:25
30min
Finding bugs in ZK Circuits: An Exploration of Veridise Tools
Jon Stephens
ZKPs: Privacy, Identity, Infrastructure, & More
Workshop 1