301 Scalable Verification of Zero Knowledge Protocols MIGUEL ISABEL MÁRQUEZ
▶301 Scalable Verification of Zero Knowledge Protocols MIGUEL ISABEL MÁRQUEZ — a 2024 IEEE S&P Sessions 2024 security conference talk on crypto (19:04 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube