SNARKs for C: Verifying Program Executions Succinctly an ...
▶SNARKs for C: Verifying Program Executions Succinctly an ... — a 2013 Crypto 2013 security conference talk on crypto (21:18 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube