Completed
High-Level View of Our System
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
SNARKs for C - Verifying Program Executions Succinctly and in Zero Knowledge
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 preprocessing zero-knowledge SNARKS (succinct non-interactive arguments of knowledge)
- 3 High-Level View of Our System
- 4 TinyRAM architecture for fast verification
- 5 Performance of TinyRAM Code size (number of instructions output by compiler)
- 6 From Asymptotic To Concrete Efficiency
- 7 Prior Implementation Work Handles various special cases, more efficiently.
- 8 Traveling Salesman Problem
