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

- Channel: [Ethereum DEV NL](https://streameth.org/ethereum-dev-nl)
- Date: 2022-10-07
- Duration: 25:25
- Watch: https://streameth.org/watch/yt-HISmW1lqus0
- YouTube: https://www.youtube.com/watch?v=HISmW1lqus0

## Description

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