Sciweavers

224 search results - page 7 / 45
» Isolated Proofs of Knowledge and Isolated Zero Knowledge
Sort
View
FOCS
2006
IEEE
15 years 3 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 4 months ago
Practical Zero-Knowledge Proofs for Circuit Evaluation
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
FUN
2007
Springer
91views Algorithms» more  FUN 2007»
15 years 3 months ago
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Ro...
CRYPTO
2010
Springer
139views Cryptology» more  CRYPTO 2010»
14 years 10 months ago
Concurrent Non-Malleable Zero Knowledge Proofs
Huijia Lin, Rafael Pass, Wei-Lung Dustin Tseng, Mu...