Verifiable Computation Courses
TheIACR via YouTube VRAM: Faster Verifiable RAM With Program-Independent Preprocessing
IEEE via YouTube Cinderella - Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
IEEE via YouTube XJsnark - A Framework for Efficient Verifiable Computation
IEEE via YouTube Verifiable ASICs
IEEE via YouTube Seamless Services for an Open World
Fission via YouTube Verifier-on-a-Leash - New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources
TheIACR via YouTube Verifiable Delegation of Computation over Large Datasets - Crypto 2011
TheIACR via YouTube IPVM - Bringing Wasm-Based Edge Compute to IPFS
Fission via YouTube Zero Knowledge Proofs for Verifiable Computation on Blockchain Systems - Panel Discussion
Stanford University via YouTube