# Yoichi Hirai (zkSecurity) - Your guide to formal verification when machines write Lean proofs

- Channel: [EthCC](https://streameth.org/ethcc)
- Date: 2026-04-09
- Watch: https://streameth.org/watch/yt-ciZZRyN26Dg
- YouTube: https://www.youtube.com/watch?v=ciZZRyN26Dg