Sciweavers

93 search results - page 7 / 19
» Unifying Zero-Knowledge Proofs of Knowledge
Sort
View
TCC
2010
Springer
178views Cryptology» more  TCC 2010»
16 years 23 days ago
Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
Rikke Bendlin, Ivan Damgård
138
Voted
FOCS
2006
IEEE
15 years 10 months ago
Succinct Non-Interactive Zero-Knowledge Proofs with Preprocessing for LOGSNP
Let Λ : {0, 1}n ×{0, 1}m → {0, 1} be a Boolean formula of size d, or more generally, an arithmetic circuit of degree d, known to both Alice and Bob, and let y ∈ {0, 1}m be a...
Yael Tauman Kalai, Ran Raz
IMA
2009
Springer
149views Cryptology» more  IMA 2009»
15 years 10 months ago
Practical Zero-Knowledge Proofs for Circuit Evaluation
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
105
Voted
FUN
2007
Springer
91views Algorithms» more  FUN 2007»
15 years 10 months ago
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Ro...
CRYPTO
2004
Springer
77views Cryptology» more  CRYPTO 2004»
15 years 9 months ago
Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks
Ivan Damgård, Serge Fehr, Louis Salvail