How to Prove False Statements: Practical Attacks on Fiat-Shamir

  • Tagung:

    How to Prove False Statements: Practical Attacks on Fiat-Shamir

  • Tagungsort:

    252 / BBB

  • Datum:

    2025-07-29

  • Referent:

    Dr. Michael Klooß

  • Zeit:

    16:00

  • We will discuss the recent attack on Fiat-Shamir  which is the first non-pathological failure of the heuristic for construtions of succinct non-interactive arguments, which even affected concretely implemented proof systems.