Formal Verification for ZK Circuits Using Symbolic Compilation, Applied ZK - Day 2

Presenting ongoing work on formal verification for ZK circuits using symbolic compilation, showing preliminary results and potential directions for future work. Speaker(s): Yu Feng Hosted at Devconnect Amsterdam, 2022 Visit the website: https://devconnect.org/ Or follow @EFDevconnect on Twitter