I present our work “Multi-Theorem Fiat-Shamir Transform from Correlation-Intractable Hash Functions” in ACNS2023.