Sciweavers

224 search results - page 7 / 45
» Isolated Proofs of Knowledge and Isolated Zero Knowledge
Sort
View
FOCS
2006
IEEE
14 years 1 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»
14 years 2 months ago
Practical Zero-Knowledge Proofs for Circuit Evaluation
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
FUN
2007
Springer
91views Algorithms» more  FUN 2007»
14 years 1 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»
13 years 8 months ago
Concurrent Non-Malleable Zero Knowledge Proofs
Huijia Lin, Rafael Pass, Wei-Lung Dustin Tseng, Mu...