10-13, 16:25–16:55 (America/Bogota), Workshop 1
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
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.