ZKPの勉強に対して一番理解が必要な部分は決定問題になります。
決定問題は、答えが「はい」か「いいえ」になる問題を指します。決定問題ではない問題は、ゼロ知識証明の対象になりません。
決定問題は、答えが「はい」か「いいえ」になる問題を指します。
決定問題ではない問題は、ゼロ知識証明の対象になりません。
33は素数ですか？
33
素数判定問題
辺の長さが3, 4, 5の三角形は直角三角形ですか？
3, 4, 5の
幾何学問題
377の素因数は13と29ですか？
素因数分解問題
A∧¬BA \land \lnot BA∧¬Bの命題論理式に対して、
A=True,B=FalseA=True, B=FalseA=True,B=Falseは命題論理式を満たしますか？
充足可能性問題arrow-up-right (SAT)
A⋅(1−B)=1A\cdot(1-B)=1A⋅(1−B)=1の算術回路に対して、
A=1,B=1A=1, B= 1A=1,B=1は算術回路を満たしますか？
算術回路充足可能性問題(CircuitSAT, CSAT)
3x≡13(mod17)3^x \equiv 13 \pmod{17}3x≡13(mod17)に対して、x=4x=4x=4は数式の解ですか？
離散対数問題 (DLP)
E:y2=x3+7E: y^2 = x^3 + 7E:y2=x3+7 を有限体 F17\mathbb{F}_{17}F17上の楕円曲線とした時、P=(4,10),Q=(12,16),k=14P =(4,10),Q=(12, 16), k=14P=(4,10),Q=(12,16),k=14k=14k=14k=14はQ=kPQ = kPQ=kPを満たしますか？
楕円曲線離散対数問題(ECDLP)
囲碁で次の石をD16に置くことは最善手ですか？
囲碁最適手問題
今日の夜ご飯何にしようか
Last updated 1 year ago