New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

Loading player…

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

Name: Yoichi Hirai (zkSecurity) - Your guide to formal verification when machines write Lean proofs
Uploaded: 2026-04-09T00:00:00.000Z
Description: Video from EthCC, Apr 2026.

EthCCThu, Apr 9, 2026, 12:00 AM