# Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim | ETHTaipei 2024

- Channel: [ETHTaipei](https://streameth.org/ethtaipei)
- Date: 2024-10-07
- Duration: 23:07
- Watch: https://streameth.org/watch/yt-HU-A-XN7TuY
- YouTube: https://www.youtube.com/watch?v=HU-A-XN7TuY

## Description

Zafny, framework for writing formally verified zero-knowledge circuit | Dohoon Kim, PSE | ETHTaipei 2024