Fiat-Shamir for Repeated Squaring with Applications to PPAD-Hardness and VDFs

© International Association for Cryptologic Research 2020. The Fiat-Shamir transform is a methodology for compiling a (public-coin) interactive proof system for a language L into a non-interactive argument system for L. Proving security of the Fiat-Shamir transform in the standard model, especially...

Full description

Bibliographic Details
Main Authors: Lombardi, Alex, Vaikuntanathan, Vinod
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Format: Book
Language:English
Published: Springer International Publishing 2021
Online Access:https://hdl.handle.net/1721.1/137201