ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere
▶ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere — a zkSummit 11-14 security conference talk on crypto (13:25 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube