118.pdf
eprint.iacr.org · 9,365 words · saved by 1 readers
N/A
How to Prove False Statements: Practical Attacks on Fiat-Shamir Dmitry Khovratovich∗ Ron D. Rothblum† Lev Soukhanov‡ December 11, 2025 Abstract The Fiat-Shamir (FS) transform is a prolific and powerful technique for compiling public- coin interactive protocols into non-interactive ones. Roughly speaking, the idea is to replace the random coins of the verifier with the evaluations of a complex hash function. The FS…
related reading
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- 370.pdfeprint.iacr.org
- 286.pdfeprint.iacr.org
- Lecture 14: Zero knowledge proofsboazbarak.org
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
- Collaborative zkSNARKseprint.iacr.org
- Succinct Non-Interactive Arguments (SNARGs) for NP65610.csail.mit.edu
- thesis.pdfaayushg.com
- ants.dvicrypto.stanford.edu
- 1021.pdfeprint.iacr.org
- STARK-paper.pdfstarkware.co
- delegation.pdfpeople.csail.mit.edu