FS security

Here is a short recap from Lita of the recent article about practical attack on the interactive protocols under Fiat-Shamir heuristics.

We’ve been discussing the recent paper —https://t.co/5lAT8xQ0tI — “How to Prove False Statements: Practical Attacks on Fiat-Shamir” by Khovratovich, Rothblum, and Soukhanov, which highlights a diagonalization attack against certain GKR-based proof systems that embed their own…

— Lita (@0xLita) February 3, 2025