Verifiable ASICs
Offered By: IEEE via YouTube
Course Description
Overview
Explore the concept of verifiable ASICs in this 20-minute conference talk presented at the 2016 IEEE Symposium on Security & Privacy. Delve into the challenges of ensuring high-assurance execution in custom hardware manufacturing and discover an innovative approach using verifiable computation. Learn about the Zebra system, which implements physically realizable, area-efficient, high-throughput ASICs for prover and verifier roles. Understand how this method allows untrusted ASICs to compute proofs of correct execution, verified by trusted processors or ASICs, potentially offering performance advantages over direct execution on trusted platforms. Gain insights into the design process, including new observations about the CMT protocol, hardware design considerations, and architectural challenges addressed in the implementation.
Syllabus
Verifiable ASICs
Taught by
IEEE Symposium on Security and Privacy
Tags
Related Courses
Boosting Verifiable Computation on Encrypted DataTheIACR 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 Seamless Services for an Open World
Fission via YouTube