Short discrete log proofs for FHE and ring-LWE ciphertexts
From MaRDI portal
Publication:2289214
Recommendations
- Lattice-based zero-knowledge proofs and applications: shorter, simpler, and more general
- Zero-Knowledge Proofs with Low Amortized Communication from Lattice Assumptions
- Verifiable Decryption for Fully Homomorphic Encryption
- Efficient Zero-Knowledge Proofs for Commitments from Learning with Errors over Rings
- One-shot verifiable encryption from lattices
Cited in
(20)- Sigma protocols for MQ, PKP and SIS, and fishy signature schemes
- Sumcheck arguments and their applications
- Subtractive sets over cyclotomic rings. Limits of Schnorr-like arguments over lattices
- A compressed \(\varSigma \)-protocol theory for lattices
- More efficient amortization of exact zero-knowledge proofs for LWE
- Gemini: elastic SNARKs for diverse environments
- Succinct Diophantine-satisfiability arguments
- Practical exact proofs from lattices: new techniques to exploit fully-splitting rings
- Concretely-efficient zero-knowledge arguments for arithmetic circuits and their application to lattice-based cryptography
- Compact privacy protocols from post-quantum and timed classical assumptions
- One-shot verifiable encryption from lattices
- Verifiable decryption in the head
- Verifiable Decryption for Fully Homomorphic Encryption
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Fiat-Shamir transformation of multi-round interactive proofs
- Vector commitments with proofs of smallness: short range proofs and more
- How to prove statements obliviously?
- Special soundness revisited
- Special soundness in the random oracle model
This page was built for publication: Short discrete log proofs for FHE and ring-LWE ciphertexts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2289214)
