Heurística de Fiat–Shamir heuristic