Pages that link to "Item:Q1680212"
From MaRDI portal
The following pages link to From obfuscation to the security of Fiat-Shamir for proofs (Q1680212):
Displaying 36 items.
- Fiat-Shamir for highly sound protocols is instantiable (Q1637340) (← links)
- Fiat-Shamir and correlation intractability from strong KDM-secure encryption (Q1648782) (← links)
- Proofs of Work from worst-case assumptions (Q1673424) (← links)
- Compact designated verifier NIZKs from the CDH assumption without pairings (Q2051369) (← links)
- Compact NIZKs from standard assumptions on bilinear maps (Q2055661) (← links)
- Non-interactive zero-knowledge in pairing-free groups from weaker assumptions (Q2055663) (← links)
- Non-interactive zero knowledge from sub-exponential DDH (Q2056667) (← links)
- Interactive proofs for social graphs (Q2102081) (← links)
- Fiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFs (Q2104234) (← links)
- NIZK from LPN and trapdoor hash via correlation intractability for approximable relations (Q2104241) (← links)
- Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages (Q2104242) (← links)
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
- Does Fiat-Shamir require a cryptographic hash function? (Q2139639) (← links)
- Non-interactive batch arguments for NP from standard assumptions (Q2139642) (← links)
- A pairing-free signature scheme from correlation intractable hash function and strong Diffie-Hellman assumption (Q2152147) (← links)
- One-shot Fiat-Shamir-based NIZK arguments of composite residuosity and logarithmic-size ring signatures in the standard model (Q2170058) (← links)
- Permuted puzzles and cryptographic hardness (Q2175950) (← links)
- On the (In)security of Kilian-based SNARGs (Q2175953) (← links)
- Toward non-interactive zero-knowledge proofs for NP from LWE (Q2661693) (← links)
- Secure MPC: laziness leads to GOD (Q2691583) (← links)
- Crowd verifiable zero-knowledge and end-to-end verifiable multiparty computation (Q2691603) (← links)
- Post-quantum resettably-sound zero knowledge (Q2695624) (← links)
- Somewhere statistical soundness, post-quantum security, and SNARGs (Q2695640) (← links)
- Fiat–Shamir for Highly Sound Protocols Is Instantiable (Q2827720) (← links)
- Interactive Oracle Proofs (Q3181021) (← links)
- Weak Zero-Knowledge beyond the Black-Box Barrier (Q5026393) (← links)
- \(k\)-critical graphs in \(P_5\)-free graphs (Q5918256) (← links)
- Multi-theorem preprocessing NIZKs from lattices (Q5918862) (← links)
- SNARGs and PPAD hardness from the decisional Diffie-Hellman assumption (Q6061370) (← links)
- NIZK from SNARGs (Q6110372) (← links)
- Efficient NIZKs from LWE via polynomial reconstruction and ``MPC in the head'' (Q6132422) (← links)
- PPAD is as hard as LWE and iterated squaring (Q6169422) (← links)
- Instantiability of classical random-oracle-model encryption transforms (Q6175981) (← links)
- A new framework for quantum oblivious transfer (Q6178791) (← links)
- How to use (plain) witness encryption: registered ABE, flexible broadcast, and more (Q6190121) (← links)
- Correlation intractability and SNARGs from sub-exponential DDH (Q6190125) (← links)