Linear Zero-Knowledge - A Note on Efficient Zero-Knowledge Proofs

0 downloads 0 Views 270KB Size Report
The protocols can be based on any bit commitment scheme with a particular ... most 5кХ + 10Ð¥ bits for the argument (assuming к < Ð¥), where к is the number of ...
  ! # " $%'&)(+* ,$ -. ,/01234657 18:9 1;< =>?@,$%9 ACBEDF/GIHKJ,LMF/NPOQLRTS,UCVXWYZL\[I]M^)_a` F/DH bdceFfDhgF/NPiFfj LH7RdkF/Ll^mYnCopDZ[qcrOQLMn[tsuwv x0yCA1blJCz|{a` }P~€/‚/ƒZ„E€ …†ˆ‡/‰Š†‹Œ†3Žˆ’‘M“I”1•M–:†p—†‰Š•M“I˜f•M™š›†3œ/:† ‡/‰Œ•Q•Ÿž4‹Œ Q‹ŒŽŠ†” ¡£¢/¤Š¥ žq•:‰Ÿ p¦¨§©šªM/«eM†,¬­/™®/¯±°d®ˆMš±š±•M™‹²‹Š®/•M™¯±/ŽŒ®eŸŽ ³’´ ¬)™¯±ŽŠ®-†‰Š‰Œ•‰,‡/‰Œ•µeMµf¯›š±¯±ŽI 1š±†‹Š‹,ŽŒ®EM ¢Q¶e· «/‹Œ¯±/°•”C“ ”C«//¯±°\ŸŽŒ¯±•: °•‰Œ‰Š†‹Œ‡E•:/œf¯›f4ŽŠ•@¸¹Tº ³ º »Œ¼M½p¸C¹q¾/¼¿lÀªÁmÂdÃ:ÄÄÀªÁªÅ ÄÆ\Ç/ÁÉÈ­/™®/†3‰Œ†CÊ ¯±‹°•:/‹ŠŽTŸŽœ/†‡E†/œ/¯±/p•:/š± p•:-¬Ë̅† Mš±‹Š•-‡/‰Š†‹Œ†3Žˆ‘Ÿ“Í”p•M–:†C‡E†‰Ižt†°Ž1—3†‰Œ•˜Q/•M™š±†œ/†1¯±QŽŒ†‰dM°d“ ŽŒ¯±–†¨M‰Š:«/”p†QŽZžq•‰²MQ C¦¨§%“ÍšªMf:«eŸ:†¬Ë΍1¯±/‡f«/Ž ³Ï´ ¬.­ ŽŒ®f†²°•”1”C«/f¯›°lMŽŒ¯±•°•:”p‡/š±†ÐQ¯›ŽI ¯±‹=¸¹Tº ³ º »Œ¼ÑªÒ1Ó ³ ¹q¾rԊÕq¼¿lÀªÁÉÈ­ ™®/†‰Š†,ÕZ¯±‹ŽŒ®/† ‹Œ†3°«/‰Œ¯±ŽI ‡eŸ‰TM”p†ŽŒ†3‰Ìžq•:‰ÌŽŒ®/†‡/‰Œ•M–†‰ ÖË ×®/†‡/‰Š•:ŽŠ•°3•:š±‹°\M7µE†µeM‹Š†œ7•:7MQ )µf¯›Ž°•”1”p¯›ŽŠ”C†QŽ ‹Œ°d®/†3”1†,™¯±ŽŒ® ‡eM‰ŠŽŒ¯±°«/šªM‰‹Œ†Ž •Ÿž=‡f‰Œ•:‡E†‰ŠŽŒ¯±†‹\Ë …†‹Œ«/:†‹ŠŽ †dØ1°¯±†QŽ¯±”1‡/š±†”p†QŽTMŽŠ¯Ù•/‹µeŸ‹Œ†œ©•:œ/¯±‹Š°‰Œ†ŽŠ†š›•Ÿ‰Œ¯±ŽŒ®/”p‹ •:‰ÌžIM°ŽŠ•:‰Œ¯±/EË Ú ‹ˆ’žq«/f°ŽŒ¯±•:Û•MžCŽŒ®/† ‹Œ†°3«/‰Œ¯±ŽI K‡eM‰dM”1†3ŽŒ†‰Š‹\­•:«/‰‡/‰Š•:ŽŒ•Ÿ“ °•š›‹C®El–:†ŽŒ®/†‹Š”ܐMš±š±†‹ŠŽ4˜Q/•M™PM‹Œ Q”p‡/ŽŒ•ŽŒ¯±°1°•”1”C«/f¯Ù°\“ ŽŒ¯±•1°•”1‡/š±†ÐQ¯±ŽI ÝŸ”1•/,:†3/†‰TŸšm‡/‰Š•Q•Mžq‹•‰M‰Œ«/”1†3ŽŠ‹žt•:‰ ¦¨§ZË/Þϕ:‰Œ†3•M–:†‰l­/ŽŒ®f†,°•:f‹ŒŽTŸQŽŒ‹¯±Q–:•š±–:†œ1Ÿ‰Œ†,‹Š”ܐMš±š/†3/•:«/® žq•‰ÜŽŠ®/†‡/‰Š•:ŽŒ•Q°•š±‹ˆŽŒ•PµE†w‡/‰dM°ŽŠ¯›°lMš,¯±7w‰Š†\Mš±¯±‹ŒŽŠ¯±°‹Œ¯±ŽŒ«e“ ŽŒ¯±•mß•:«/‰C‡f‰Œ•:ŽŠ•Q°•:š±‹1Mš±š±•M™‹‡/‰Œ•M–Q¯±/àM‰Š:«/¯±/ˆ‹dMŽŠ¯›‹âáãMµf¯›šä“ ¯±ŽI •Mž, 岕Q•:š±†\Ÿžq•‰Œ”C«/šªæ繪°•ŽdM¯±/¯±/M/œ“a­è•:‰I“CM/œ /•ŽI“I•:‡E†‰TŸŽŒ•:‰Š‹T¼è™¯±ŽŒ®1°3•:”1”C«f/¯Ù°\ŸŽŒ¯±•:°•:”p‡/š±†ÐQ¯›ŽI ,ŸŽ²”p•:‹ŒŽ é:êë½ ¢ °•:”p”1¯±ŽŒ”C†QŽŠ‹ žq•:‰CŽŠ®/†ˆ¯±QŽŒ†‰dM°ŽŠ¯±–:†ˆ‡/‰Š•Q•Mž4M/œKMŽ ”1•‹ŒŽì:êEÕ/½ ¤\í Õ%µf¯›ŽŠ‹Ìžq•:‰ŽŠ®/†4Ÿ‰Œ:«f”1†QŽ ¹qM‹Š‹Œ«/”p¯±/4¾pî)Õq¼3­ ™®/†‰Š†1ê ¯±‹ŽŒ®f†4Q«/”CµE†‰•ŸžŽŒ¯±”1†‹ æK‰Œ†\Ÿœ/‹,Mˆ¯±/‡f«/Ž –:M‰Œ¯ä“ ïŠðªñMòqótô£ótõMóqöQ÷±øù/úrûMöŠøùqöŠóqô£üŠýþÿEø lü  e ú  \ÿ  õMùqô£üIû  rô£óŒöŒùtþ£ýñ  !ý3ô£þ#"%$&(' )+*& ,.-0/ 1!23* 4 56!2#$ 5.87 öŒòtöŒýùtüIû9MøñMö:rûMô£þ£ö 0ö Mþ£ ø ;ð ?@òtóqöŠAù Mý 9úrûMCö BmöŠóqûMöŠùqþ£ý3ñ M0ò ýñ 9rûMô£þ£:ö Dlô£ò ô£ótô£ñ H>E:I F 7mðq ÿ G ý3óqûMJ1ÿEø 0lü 0KZ0ö M‚ƒ/¹ ŒŸTÔ ›¼3Ë Ú /œ©™²†p†ÐQŽŒ†/œPŽŠ®/†–:†‰Š¯Ùžt ˆžq«f/°ŽŒ¯±•w‹Œ«f°T® ŽŒ®EMŽ †•‡lˆ ‚‰?Še¹  ™,FÔ ŒMTÔ ›3a¼ ` †&‡lˆ ‚‰?Š/A¹ ™—Ô ŒŸÔ ¤ w ›¼3– Ë ’IP•:ŽŠ®/†‰ ™Ì•:‰Œœf‹\­  ™!¯±‹°•”1”p¯›ŽŠ”C†QŽŽŒ®EMŽ¯±‹•‡e†f†œˆµQ 1•‡e†f¯›f ŽŒ®f†,T¿ ®ŸÈÀªÂÌ°•:”p”1¯ÙŽŠ”C†Q8Ž ™7Ÿ/œC/†QMŽŒ¯±/ŽŒ®/†‰Š†‹Œ«/š±ŽŠ¯›f4µ/¯±ŽlË ’IŽŒ®/†@žq•:š±š±•M™¯±/e­M«f/š±†‹Œ‹•:ŽŒ®f†‰Œ™¯±‹Œ†‹ŒŽdMŽŠ†œm­/°3•:”1”p¯±ŽŒ”C†QŽŒ‹ ”ܐl µe†,†3¯›ŽŠ®/†‰µeM‹Š¯›° •‰/†ŸŽŒ†œˆŸ‹œ/†‹Œ°3‰Œ¯±µe†3œ-®/†3‰Œ†:Ë Ú µf¯›Ž °•:”p”1¯±ŽŒ”C†3Žf‹Œ°d®/†”p†²®eŸ‹% ¥›ÀªÇ/ Æ ®G  °  ŒÃl0à ÚÌ0à ÚÂdÃ:Ç/ÁtÆlÇ/ÁªÈ­ ¯äž ŽŠ®/†‰Š†Ü¯±‹4 Þè“͇/‰Š•:ŽŠ•°3•:š 3¹ ç4 Ô è,¼ŽTŸ˜¯±/ M‹,¯±/‡/«fŽÜ¹ÉµeM‹Š¯›°l¼ °•”1”1¯äŽŒ”C†Q]Ž ™ `™€>?‚ ƒE¹ ŒM Ô ›¼ Mfœµ/¯±Ž ›CŸ/œ™¯±ŽŒ® ŽŒ®/† žq•š›š±•M™¯±/ ‡/‰Š•:‡E†‰ŒŽŠ¯›†3‹\ß ¤ Ë,¹ ç4 Ô è,¼p¯›‹ˆ °Ñ ŠÃ\? ‚ƒE¹ ŒM Ô ›¼Ô ¤ w ›M­M†3Џ°3†‡/Ž™¯±ŽŒ®p/†:š±¯±:¯±µ/š±†Ì‡/‰Œ•µeMµf¯›šä“ ¯±ŽI Ë …†™¯›š±šeŸ‹Œ‹Š«/”1†Ìžq•‰‹Œ¯±”p‡/š±¯›°3¯›ŽI ŽŒ®eŸŽ¯±Ž²Mš±™l Q‹%œf•†3‹²‹Š• ¹ªŽŠ®/¯±‹®/•:š±œ/‹¯±p•:«/‰°•/°‰Š†ŽŒ††Ð/M”p‡/š±†‹T¼3Ë y†3M‰Šœ/¯±/)ŽŠ®/†h Æ ¯:À ÈaÁtÆlÇ/Âdƈ•Mž1ŽŠ®/†w‰Š † bQ«/¯±‰Œ†œ µ/¯±Ž-°3•:”1”p¯±ŽI“ ”1†3ŽŠ‹\­Q™Ì†,/•ŽŒ† ŽŒ®/†@žq•:š±š±•M™¯±/e Ë ’IëŽŒ®/† t †°3ŽŒ¯±•:ˆ‘E­/™Ì† :¯±–:† ŽI™Ì•1†Ð/M”p‡/š±† µ/¯±ŽŒ°•”1”1¯±ŽŠ”C†QŽ²‹Š°T®f†”1†‹ ™¯±ŽŒ®ëŽŒ®/†C‡/‰Š•:‡E†‰I“ ŽŒ¯±†‹‹ŒŽTŸŽŒ†œwŸµe•M–†:ß,M«f/°•:fœ/¯±ŽŒ¯±•:eŸš±š› pµ/¯±/œ/¯±/•:f†1M/œ Mf•:ŽŒ®f†‰ŽŠ®eMŽ¯±‹«f/°•:fœ/¯±ŽŒ¯±•:eŸš±š› ®/¯±œ/¯±/EËå̕:ŽŒ® M‰Œ†µeM‹Š†œ •:©ŽŒ®/†œ/¯äØ1°«fš›ŽI •Ÿž°•:”p‡/«/ŽŠ¯›fˆœ/¯±‹Œ°‰Š†ŽŒ†ëš›•Ÿ‰Œ¯±ŽŒ®/”p‹\Ë ’IŽ ŽŒ«f‰Œ/‹•:«/Žp¹ª‹Œ†3† S¡ R3¥ ¼ ŽŠ®eMŽ,™Ì†1°lM°•/‹ŒŽŠ‰Œ«/°ŽCŽŠ®/†1°3•:”1”p¯±ŽI“ ”1†3Ž‹Š°T®f†”1†‹ë‰Œ† bQ«/¯±‰Œ†3œ7žq•‰ÏŸ‰Œ«/”1†QŽŠ‹\­ «//œf†‰ˆŽŒ®f†|M‹â“ ‹Œ«f”1‡/ŽŠ¯›•wŽŠ®eMŽ žÍŸ”1¯±š± ˆ•Mž1È °/ÆdÂ\3À ®.¥¨ÃÇ/Æ0Å ¤“®M±ž§G ŒMà «°!À±ÈÃMÅ ÄMà  °\/À±ÈÄȆÐQ¯›‹ŠŽŒ‹lXË ær†3VŽ µe†,•:/†a“Í™l C¯±‹Œ•:”p•:‰Š‡/®/¯±‹Œ” µe†d“ ŽI™Ì††C:‰Š•:«/‡f ‹ ¡M/œ1¬.Ë t «f°T®1¨žq«//°ŽŠ¯±•:¯›‹è°\Mš±š±†œ‹Œ‡E†°¯ªMš ¯äž4™Ì†-°\Ÿ)†dØ1°¯±†QŽŠš› Û°•:”p‡/«/ŽŒ† )¹ªšªŸ‰Œ:†l¼1‡f‰Œ¯±”1+† t ‹Š«/°d® ŽŒ®EMŽžq•‰1Mš±Vš  ´ ¬ ™²†°\Ÿ|†aØ1°¯±†QŽŒš± w°•”1‡/«fŽŒ† ³ ™¯±ŽŒ®  ¹³ : ¼ `¢¤£Ë t «f°T®žt«//°ŽŠ¯›•/ ‹ p°\ŸCµe†‰Š†\Mš±¯±‹Œ†œC«f/œ/†‰µE•:ŽŠ® ŽŒ®f†Cœ/¯±‹Œ°‰Š†ŽŒ†pš›•Ÿ‰Œ¯±ŽŒ®/” Ÿ/œœ y tQÚ M‹Š‹Œ«/”p‡/ŽŒ¯±•/‹\Ë Ú š±‹Š•e­r¯±Ž ¯±‹‡e•‹Œ‹Š¯›µfš›†ŽŒ•C‰Œ†lMš±¯±—†4‹Œ«f¯›ŽdMµ/š±† «//°3•:/œ/¯±ŽŠ¯›•eMš±š± µ/¯±/œ/¯±/ ‹Œ°d®/†3”1†,µeŸ‹Œ†œë•:ˆŽŠ®/† žÍŸ°ŽŒ•‰Œ¯±/C‡/‰Š•:µ/š±†” ­/”1•‰Œ†‡/‰Œ†°3¯›‹Š†š±  ‹Œ‡E†\Ÿ˜¯±/E­QµeM‹Š†œˆ•ÜŽŠ®/)† Œ3“ÍŽŠ®‰Œ†‹Š¯›œf«/•:‹Š¯›ŽI p‡/‰Œ•µ/š±†”-Ë ƒ k g“§óÕ  j]׆¥ ¦  ƒ ×,ª } ©V©\‚ hƒZ\„ Ö ¥Û

EQ

‡E•:‹Œ‹Š¯±µ/š±†¨ŽŠ•,áE/œˆ,‹Š”ܐMš±š±†‰”p•:/•ŽŒ•/†Ìžq•:‰Š”C«/šª°•:”p‡/«/ŽŒ¯±/ ŽŒ®f†,‹TŸ”1†žq«//°3ŽŒ¯±•:ˆM‹ŽŠ®/†,•/†,°•/‹ŒŽŠ‰Œ«/°ŽŠ†œ œ/¯±‰Œ†°ŽŠš± 1žt‰Œ•:” æ Ë } g ª } ©V©»×0kŠ„rƒm\€ k