Multi-theorem Fiat-Shamir transform from correlation-intractable hash functions

DOI10.1007/978-3-031-33491-7_21MaRDI QIDQ6535136zbMATH OpenFDO

Authors Michele Ciampi, Yu Xia

Publication date 10 November 2023

Full work available at URL https://doi.org/10.1007/978-3-031-33491-7_21

zbMATH Keywords

adaptive multi-theorem zero-knowledgecorrelation intractable hash functionsFiat-Shamir transformNIZK

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cryptography (94A60)

Recommendations

• Fiat-Shamir for highly sound protocols is instantiable
• Fiat-Shamir for highly sound protocols is instantiable
• Fiat-Shamir: from practice to theory
• On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs
• Fiat-Shamir and correlation intractability from strong KDM-secure encryption

Cites work

• Fiat-Shamir and correlation intractability from strong KDM-secure encryption
• Fiat-Shamir: from practice to theory
• From obfuscation to the security of Fiat-Shamir for proofs
• How To Prove Yourself: Practical Solutions to Identification and Signature Problems
• scientific article; zbMATH DE number 4053065 (Why is no real title available?)
• scientific article; zbMATH DE number 1406779 (Why is no real title available?)
• Improved OR-composition of sigma-protocols
• NIZK from LPN and trapdoor hash via correlation intractability for approximable relations
• Noninteractive zero knowledge for NP from (Plain) Learning With Errors
• On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs
• On the correlation intractability of obfuscated pseudorandom functions
• On the Non-malleability of the Fiat-Shamir Transform
• One-shot Fiat-Shamir-based NIZK arguments of composite residuosity and logarithmic-size ring signatures in the standard model
• Publicly Verifiable Non-Interactive Zero-Knowledge Proofs
• Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge

This page was built for publication: Multi-theorem Fiat-Shamir transform from correlation-intractable hash functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535136)