• トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • Circuit SAT 、リケヤ、ッ。」

*フワシ。 [#z0f42387]

#contents


*Circuit SAT [#gde57f28]

。。''Circuit SAT。ハcircuit satisfiability。ヒ''、ネ、マ。「[[SAT]]。ハマタヘシー、ホスシツュイトヌスタュフ萃遙ヒ、ホイマゥネヌ、ホフ萃熙ヌ、「、。」、゙、コ・ヨ・。シイマゥC、ャヘソ、ィ、鬢、ソ、ネ、ュ。「スミホマ、ャ1、ネ、ハ、、隍ヲ、ハニホマ、オ皃皃、ネ、、、ヲフ萃熙ヌ、「、。」
。。''Circuit SAT。ハcircuit satisfiability。ヒ''、ネ、マ。「[[SAT]]。ハマタヘシー、ホスシツュイトヌスタュフ萃遙ヒ、ホイマゥネヌ、ヌ、「、。」スミホマ、ャ1、ヒ、ハ、、隍ヲ、ハニホマ、ャツクコ゚、ケ、、ネ、ュ、ヒ。「、ス、ホイマゥ、Circuit SAT、ネ、、、ヲ。」

。。イマゥ、ケスタョ、ケ、・イ。シ・ネ、マ2、トニホマ、ヌ1、トスミホマ、ホ・ム・ソ。シ・、ャツソ、、。」、ト、゙、遙「イマゥ、ネニホマテヘ、ャヘソ、ィ、鬢、ソ、鬘「エハテア、ヒスミホマ、キ霪熙ヌ、ュ、。」、キ、ォ、キ。「オユ、ヒイマゥ、ネスミホマテヘ、ャヘソ、ィ、鬢、ニ、筍「ニホマテヘ、マハ」ソ、ホ・ム・ソ。シ・、ャツクコ゚、ケ、。」、ト、゙、遙「イマゥ、ャハ」サィ、ヒ。ハツ遉ュ、ッ。ヒ、ハ、、ミ、ハ、、ロ、ノ。「ニホマテヘ、マツソ、ッ、ホ・ム・ソ。シ・、ャツクコ゚、ケ、、ウ、ネ、ヒ、ハ、遙「、ス、、鬢、ケ、ル、ニトエ、ルセ螟イ、、ウ、ネ、マニ、キ、ッ、ハ、テ、ニ、ッ、。」
。ヨC(w)=1。ラ「ヘ。ヨC「コCircuit SAT。ラ

。。ヘソ、ィ、鬢、ソイマゥ、ャCircuit SAT、ヌ、「、、ォ、ノ、ヲ、ォ、トエ、ル、、ホ、マコ、ニ、ヌ、「、。」ニホマ、ャnクト、「、セケ遑「チナ、熙ヌトエ、ル、、ハ、鬢ミ2SUP{n};イトエ、ル、ハ、ア、、ミ、ハ、鬢ハ、、。」、ウ、、ヌ、マツソケ狆ーサエヨニ筅ヒスェ、、鬢ハ、、。」


*Circuit SAT、ネNPエーチエ [#m9dcf0fe]

[トヘ]~
Circuit SAT、マNPエーチエ、ヌ、「、。」

[ケヘサ。]トセエムナェ、ヒ、マCircuit SAT、ヌ、「、、ォ、ノ、ヲ、ォ、トエ、ル、クホィナェ、ハハヒ。、マ、ハ、、、ネ、、、ヲ、ウ、ネ。」

[セレフタ]Circuit SAT、ャ。「NP、ヒツソケ狆ーエヤクオ、ヌ、ュ、、ウ、ネ、シィ、ケ。」

。。A。ァNPクタク、ネイセト熙ケ、。」~
。。A、マツソケ狆ーサエヨク。セレシヤ。ハpoly-time verifier。ヒ、ヌ、「、・「・・エ・・コ・澤、サ、ト。」V、マ、、、ッ、ト、ォ、ホy、ヒツミ、キ、ニ<x,y>、accept、ケ、、ネ、ュ、タ、ア。「x「コA、ヒ、ハ、、ネ、、、ヲタュシチ、サ、ト。」

。。、オ、鬢ヒ。「poly-size circuit、ヌ、「、C、マV、ネナイチ、ネ、、、ヲサシツ、ャ、「、。」C、ホニホマ。ハx,y。ヒ、マ、チ、遉ヲ、ノV、ホニホマ、ヒツミア、キ、ニ、、、。」、ス、キ、ニ。「x、ネy、ホトケ、オ、ヘソ、ィ、poly timeニ筅ヌ。「C、マケステロ、ヌ、ュ、。」

。。、隍テ、ニ。「Circuit SAT、ホ・、・・ケ・ソ・・ケ、ャNP、ホ・、・・ケ・ソ・・ケ、ヒハムエケ、ヌ、ュ、ソ。」


[トヘ]~
、ケ、ル、ニ、ホNPエーチエフ萃熙マCircuit SAT、ヒオ「テ螟ヌ、ュ、。」

[ケヘサ。]NPエーチエフ萃熙マSAT、ヒオ「テ螟ヌ、ュ、。」SAT、マCircuit SAT、ヒオ「テ螟ヌ、ュ、。」


*Circuit SAT、ネーナケ賚マタ [#eea3c9e5]

。。Circuit SATフ萃遙ハNPエーチエフ萃遙ヒ、ヘヘム、キ、ニ。「シ。、ホーナケ讌ラ・・ネ・ウ・、コ、、ウ、ネ、ャ、ヌ、ュ、。」

-[[NIZK proof]]
--ニホマテヘ、witness、ネ、キ。「セレフタシヤ、ヒヘソ、ィ、鬢、。」
--ヌ、ーユ、ホcircuit C、マNAND・イ。シ・ネ、タ、ア、ヌケスタョ、オ、、、ホ、ヌ。「NAND・イ。シ・ネ、タ、ア、ケヘ、ィ、、ネ、隍、。」
--NAND・イ。シ・ネ、ホニホマ2、ト、ネスミホマ1、ト、ホテヘ、commitment scheme、ヌア」、キ、ニ。「ク。セレシヤ、ヒチ、。」、ウ、、ヒ、隍鷸Kタュ、ヒ、ソ、ケ。」
--[[・レ・「・・・ー]]、サ、ソ、サ、、ネ。「commitmentセハ、ホ、゙、゙タオ、キ、ッキラササ、キ、ソ、ネ、、、ヲセレフタ、ク。セレ、ヌ、ュ、。」
-[[NIZK argument]]