Weak Fiat-Shamir Attacks on Modern Proof Systems

ePrint Report: Weak Fiat-Shamir Attacks on Modern Proof Systems

Quang Dao, Jim Miller, Opal Wright, Paul Grubbs

A flurry of excitement amongst researchers and practitioners has produced modern proof systems built using novel technical ideas and seeing rapid deployment, especially in cryptocurrencies. Most of these modern proof systems use the Fiat-Shamir (F-S) transformation, a seminal method of removing interaction from a protocol with a public-coin verifier. Some prior work has shown that incorrectly applying F-S (i.e., using the so-called "weak" …

attacks cryptocurrencies dao deployment eprint report ideas miller novel opal paul rapid report researchers systems technical transformation