online offline or composition of protocols
play

Online/Offline OR Composition of -Protocols Michele Ciampi - PowerPoint PPT Presentation

Online/Offline OR Composition of -Protocols Michele Ciampi Alessandra Scafuro Giuseppe Persiano DIEM Boston University and DISA-MIS Universit di Salerno Northeastern University Universit di Salerno ITALY USA ITALY Luisa Siniscalchi Ivan


  1. Online/Offline OR Composition of ∑ -Protocols Michele Ciampi Alessandra Scafuro Giuseppe Persiano DIEM Boston University and DISA-MIS Università di Salerno Northeastern University Università di Salerno ITALY USA ITALY Luisa Siniscalchi Ivan Visconti DIEM DIEM Università di Salerno Università di Salerno ITALY ITALY

  2. Proofs of Knowledge (PoKs) A fundamental crypto tool with many applications Identification Schemes Simulation-Based Security E-Voting Systems … Useful in cryptography when the witness is protected: Witness Indistinguishable (WI), Witness Hiding (WH), Zero Knowledge (ZK) e.g., prove knowledge of one thing OR another thing OR … 2

  3. Proofs of Knowledge (PoKs) In theory In practice x ∈ L G NP-reduction x “(G, C) in R HAM ” WI Proof of Knowledge of Hamiltonicity [Blum86, L apidot S hamir 90 ] P V m 1 m 2 m 3 3

  4. Proofs of Knowledge (PoKs) In theory In practice x ∈ L ∑ -protocol for R G NP-reduction x “(G, C) in R HAM ” “(x, y) in R Dlog ” e.g. Discret Log [Schnorr89]) WI Proof of Knowledge of Hamiltonicity [Blum86, L apidot S hamir 90 ] x= g y V P g r P V m 1 c m 2 r+cy m 3 3

  5. Proofs of Knowledge (PoKs) Observation: neither [LS90] Observation: [LS90] and [Schnorr89] need the nor In theory theorem and witness only in [Schnorr89] need theorem+ In practice the last round witness x ∈ L ∑ -protocol for R G NP-reduction x “(G, C) in R HAM ” “(x, y) in R Dlog ” e.g. Discret Log [Schnorr89]) WI Proof of Knowledge of Hamiltonicity [Blum86, L apidot S hamir 90 ] x= g y V P g r P V m 1 c m 2 r+cy m 3 3

  6. ∑ -protocol for relation R x V P (w) a c z 4

  7. ∑ -protocol for relation R x V P (w) Completeness a c z 4

  8. ∑ -protocol for relation R x V P (w) Completeness a c SHVZK Sim(x,c) ⇒ z 4

  9. ∑ -protocol for relation R x V P (w) Completeness a a’ c SHVZK Sim(x,c) ⇒ c z z’ 4

  10. ∑ -protocol for relation R x V P (w) Completeness a a’ z’ ≡ c SHVZK Sim(x,c) ⇒ c z 4

  11. ∑ -protocol for relation R x V P (w) Completeness a a’ z’ ≡ c SHVZK Sim(x,c) ⇒ c z Special Soundness 4

  12. ∑ -protocol for relation R x V P (w) Completeness a a’ z’ ≡ c SHVZK Sim(x,c) ⇒ c z Special Soundness x , ( a c z) w: ( x ,w) ∈ R x , ( a c’ z’) 4

  13. R 0 OR R 1 5

  14. R 0 OR R 1 In theory In practice G (x 0 V x 1 ) Consider the ∑ -protocols 𝛵 0 NP-reduction and 𝛵 1 for R 0 and R 1 and “(G, C) in R HAM ” WI Proof of Knowledge of Hamiltonicity compile them using [Blum86, LS90] [ C ramer D amgard S choenmakers 94 ] P V In both cases you get 3 rounds, WI and PoK 5

  15. R 0 OR R 1 : The Gap In theory In practice G (x 0 V x 1 ) Consider the ∑ -protocols 𝛵 0 NP-reduction and 𝛵 1 for R 0 and R 1 and “(G, C) in R HAM ” WI Proof of Knowledge of Hamiltonicity compile them using [Blum86, LS90 ] [ C ramer D amgard S choenmakers 94 ] P V 6

  16. R 0 OR R 1 : The Gap In theory In practice G (x 0 V x 1 ) Consider the ∑ -protocols 𝛵 0 NP-reduction and 𝛵 1 for R 0 and R 1 and “(G, C) in R HAM ” WI Proof of Knowledge of Hamiltonicity compile them using [Blum86, LS90 ] [ C ramer D amgard S choenmakers 94 ] P V No need to know any theorem x 0 and x 1 are needed already already at the 1 rd round at the 1 rd round 6

  17. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness 7

  18. Delayed-Input Completeness P V a c 8

  19. Delayed-Input Completeness x (w) P V a c 8

  20. Delayed-Input Completeness x (w) P V a c z 8

  21. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness Proof of Knowledge Adaptive-Input Proof of Knowledge 9

  22. Adaptive-Input PoK x P * Extractor a c 10

  23. Adaptive-Input PoK x P * Extractor a c z 10

  24. Adaptive-Input PoK x P * Extractor a x (a,c,z) 10

  25. Adaptive-Input PoK x’ P * Extractor a x (a,c,z) c’ 10

  26. Adaptive-Input PoK x’ P * Extractor a x (a,c,z) c’ x’ (a,c’,z’) z’ 10

  27. Adaptive-Input PoK x’ P * Extractor a x (a,c,z) c’ x’ (a,c’,z’) z’ w witness for x 10

  28. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness Adaptive-Input Proof of Knowledge Proof of Knowledge Adaptive-Input Witness Indistinguishable Witness Indistinguishable 11

  29. Adaptive-Input WI V * P a c 12

  30. Adaptive-Input WI (x,w 1 ,w 2 ) (w b ) V * P a c w 1 ,w 2 witnesses for x 12

  31. Adaptive-Input WI (x,w 1 ,w 2 ) (w b ) V * P a c z w 1 ,w 2 witnesses for x 12

  32. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness Adaptive-Input Proof of Knowledge Proof of Knowledge Adaptive-Input Witness Indistinguishable Witness Indistinguishable Assumption: OWP Assumption: none 13

  33. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness Adaptive-Input Proof of Knowledge Proof of Knowledge Adaptive-Input Witness Indistinguishable Witness Indistinguishable Assumption: OWP Assumption: none Requires NP-reduction and gives No NP-reduction and gives Computational WI Perfect WI 14

  34. R 0 OR R 1 : The Gap In theory In practice [CDS94] [LS90] Delayed-Input Completeness Completeness Adaptive-Input Proof of Knowledge Proof of Knowledge Adaptive-Input Witness Indistinguishable Witness Indistinguishable Assumption: OWP Assumption: none Requires NP-reduction and gives No NP-reduction and gives Computational WI Perfect WI Applicable to All NP Restricted to ∑ -protocols 15

  35. R 0 OR R 1 The Gap A larger protocols using [CDS94] instead of [LS90] may have a worse round complexity 16

  36. R 0 OR R 1 The Gap A larger protocols using [CDS94] instead of [LS90] may have a worse round complexity e.g. [Pass – Eurocrypt 03], [KaOs – Crypto 04], [YuZh – Eurocrypt 07][ScVi – Eurocrypt 12]… 16

  37. R 0 OR R 1 The Gap A larger protocols using [CDS94] instead of [LS90] may have a worse round complexity e.g. [Pass – Eurocrypt 03], [KaOs – Crypto 04], [YuZh – Eurocrypt 07][ScVi – Eurocrypt 12]… Recently Delayed-Input completeness is widely used [GMPP16 – tomorrow], [Kiayias0Z15 – CCS15], [BBKPV16 – eprint]… 16

  38. Our Results 1) From PoK to Adaptive-Input PoK 2) Bridging the gap 17

  39. Our First Result: from PoK to Adaptive-Input PoK ∑ -Protocols (in general) are not Adaptive-Input PoK P* Extractor g r c c’ z=r+cy x= g y z’=r+c’y’ x’= g y’ Issue observed in [ B ernhard P ereira W arinschi 12 ] about the weak Fiat-Shamir transform 18

  40. Our Transform From PoK to Adaptive-Input PoK P V g r’ g r c z=r’+c r z=r+cy x= g y 19

  41. Our Transform From PoK to Adaptive-Input PoK P V g r’ g r c z=r’+c r z=r+cy x= g y 19

  42. Our Transform From PoK to Adaptive-Input PoK P V g r’ g r c z=r’+c r z=r+cy x= g y Our transform applies to the class described in [ C ramer 96 , M aurer 15 , C ramer D amgard 98 ] e.g. Schnorr, Guillou–Quisquater, Diffie–Hellman, Multiplication proof for pedersen commitments, … 19

  43. Our Results 1) From PoK to Adaptive-Input PoK 2) Bridging the gap 20

  44. R 0 OR R 1 : Bridging the Gap In theory In practice [LS90] [CDS94] This work [CPS + TCC 2016-A] 21

  45. R 0 OR R 1 : Bridging the Gap In theory In practice [LS90] [CDS94] Delayed-Input Completeness Completeness This work [CPS + TCC 2016-A] Delayed-Input Completeness: All input 
 Semi-Delayed Input Completeness ∑ -protocols have to be Delayed-Input 21

  46. R 0 OR R 1 : Bridging the Gap In theory In practice [LS90] [CDS94] Delayed-Input Completeness Completeness Adaptive-Input PoK Proof of Knowledge This work [CPS + TCC 2016-A] Delayed-Input Completeness: All input 
 Semi-Delayed Input Completeness ∑ -protocols have to be Delayed-Input Proof of Knowledge Proof of Knowledge 21

  47. R 0 OR R 1 : Bridging the Gap In theory In practice [LS90] [CDS94] Delayed-Input Completeness Completeness Adaptive-Input PoK Proof of Knowledge Adaptive-Input WI Witness Indistinguishable This work [CPS + TCC 2016-A] Delayed-Input Completeness: All input 
 Semi-Delayed Input Completeness ∑ -protocols have to be Delayed-Input Proof of Knowledge Proof of Knowledge Semi-Adaptive Input WI: one of two instances is Adaptive-Input WI adaptively chosen by V* 21

  48. R 0 OR R 1 : Bridging the Gap In theory In practice [LS90] [CDS94] Delayed-Input Completeness Completeness Adaptive-Input PoK Proof of Knowledge Adaptive-Input WI Witness Indistinguishable Assumption: OWP Assumption: none This work [CPS + TCC 2016-A] Delayed-Input Completeness: All input 
 Semi-Delayed Input Completeness ∑ -protocols have to be Delayed-Input Proof of Knowledge Proof of Knowledge Semi-Adaptive Input WI: one of two instances is Adaptive-Input WI adaptively chosen by V* Assumption: DDH Assumption: none 21

Recommend


More recommend