Security @lemmy.ml ☆ Yσɠƚԋσʂ ☆ @lemmy.ml 2d ago How to Prove False Statements: Practical Attacks on Fiat-Shamir eprint.iacr.org /2025/118.pdf