■ ¿µÁö½Ä ÇÁ·ÎÅäÄÝ, °³ÀÎ ½Äº°, multiparty ÇÁ·ÎÅäÄݵîÀÇ ¾ÏÈ£ ÇÁ·ÎÅäÄÝ ±¸¼º½Ã¿¡ ¸¹ÀÌ ÀÌ¿ëµÇ´Â ¾ÏÈ£ÇÐÀû ±âº» ±â¼ú
■ Bit commitment ÇÁ·ÎÅäÄÝ °úÁ¤
1) commit ´Ü°è
A´Â ºñÆ® b = 0 or b = 1À» B°¡ ¾ËÁö ¸øÇϵµ·Ï »óÀÚ¿¡ ³Ö¾î B¿¡°Ô Àü´ÞÇÑ´Ù
2) reveal ´Ü°è
A´Â B¿¡°Ô »óÀÚÀÇ ÀÚ¹°¼èÀÇ ¿¼è ¹øÈ£¸¦ ¾Ë·ÁÁÖ¾î B°¡ »óÀÚ³»ÀÇ bÀÇ °ªÀ» ¾Ëµµ·Ï ÇÑ´Ù
■ ¾ÏÈ£È ÇÔÀ¸·Î½á commitment ½ÇÇà ( (X, Y´Â À¯ÇÑÁýÇÕ )
■ blob : bÀÇ ¾ÏÈ£ÈµÈ ÇüÅÂ
■ ºñÆ®À§ÀÓ ±â¹ýÀÌ ¸¸Á·ÇؾßÇÒ ¼ºÁú
▸ ¼û±â´Â °Í(concealing) : ºñÆ® b = 0 ¶Ç´Â 1¿¡ ´ëÇØ VicÀº blob f(b, x)·ÎºÎÅÍ bÀÇ °ªÀ» °áÁ¤ÇÒ ¼ö ¾ø´Ù
▸ ±¸¼Ó(binding) : ³ªÁß¿¡ Peggy´Â b°¡ ¾ÏȣȵǾú´ø °ªÀ̾ú´Ù´Â °ÍÀ» Vic¿¡°Ô È®½Å½ÃÅ°±â À§ÇÏ¿© b¸¦ ¾ÏÈ£ÈÇϴµ¥ »ç¿ëµÈ xÀÇ °ªÀ» µéÃ߾À¸·Î½á blobÀ» °ø°³ÇÒ ¼ö ÀÖ´Ù. Peggy´Â 0 ±×¸®°í 1 µÑ ´ÙÀÇ ¾ÏÈ£ÈµÈ °á°ú·Î blobÀ» °ø°³ÇÒ ¼ö ¾ø¾î¾ß ÇÑ´Ù
■ Goldwasser-MicaliÀÇ È®·üÀû ¾ÏÈ£°è
• (p, q´Â ¼Ò¼ö) , Á¤¼ö n, mÀº °ø°³, Àμö¡¦(»ý·«)
|