# Picus: Automated Verification of ZKP Circuits

- Speakers: [Andreea
Buterchi](https://streameth.org/speakers/andreea-buterchi)
- Event: [Secureum TrustX](https://streameth.org/secureum/secureum_trustx), Main Stage Secureum TrustX Istanbul
- Channel: [Secureum](https://streameth.org/secureum)
- Date: 2023-11-14
- Duration: 15:12
- Watch: https://streameth.org/watch/65b8f8dba5b2d09b88ec1ebb
- Download: https://vod-cdn.lp-playback.studio/raw/jxf4iblf6wlsyor6526t4tcmtmqa/catalyst-vod-com/hls/40b6kha6cmb7lo25/1080p0.mp4

## About the speakers

### Andreea
Buterchi

VP of Engineering
Veridise