1
作業証明は確率論的にチェック可能ですか？
私はしばらく潜んでいます。これは私の最初の投稿です。質問の形式や形式が適切でない場合は、申し訳ありません。この質問は、姉妹サイトからの別の質問のアイデアから生まれました。 質問 ブロックチェーンの性質上、公に同意できる多数のコインフリップが生成される可能性があります。つまり、以前のブロックのハッシュは、ネットワークによってからランダムに引き出されることに同意する場合があります。{ 0 、1 }{0,1}\{0,1\} したがって、誰かがブロックチェーンのビザンチン将軍の問題の解決策を作成しようとしましたが、作業証明はまたはでの決定問題であり、証明は、以前のブロックのハッシュをパブリックコインとして使用して確率論的にチェックされます。反転？NEXPNEXPNEXPPSPACEPSPACEPSPACE 動機 たとえば、問題の目撃者を見つけることによって、暗号通貨の作業証明を「より良く」しようとするオンラインでの議論を見てきました。 NPNPNP 問題の目撃者を見つけた証明者は、彼女が仕事をしたことを証明するために目撃者を公に発表することができます。 NPNPNP 一般的な静的な問題のプールがあった場合、たとえば地球上で最大のの都市のサブセットのと言った、ブロックを保護するために証人を発表すると、誰もが同じ証人を使用して作業を別のチェーンにアタッチでき、チェーンを固定しないでください。NPNPNPTSPsTSPsTSPsnnniii 検証が知識ゼロの証明である場合、世界（証明者は別として）は、証人が実際に何であったかを知る必要はありません。 ただし、他の人が指摘しているように、暗号通貨は信頼できないピアツーピアシステムであるため、そのような証人のゼロ知識を維持しようとすることは、信頼できないピアツーピアシステムでは困難な場合があります。 たとえば、証明者がいずれかの解決策を見つけた場合 TSPTSPTSP 静的プールからの問題、および ZKPZKPZKP証拠として、価格が正しければ、彼女は依然として証人を詐欺師に売ろうとするかもしれません。その詐欺師は、別の詐欺チェーンに作品を添付する可能性があります。 の証人 NPNPNP 問題は、証明の目的の1つであるブロックチェーンを保護しない可能性があります。 同様の提案 の静的プールから問題空間を変換する NPNPNP問題の動的プールへの問題が役立つ可能性があり、私は作業証明としてサブグラフ同型問題を動的に生成するという提案を見てきました。しかし、私が知る限り、上記の提案は証人を決定論的に検証します。 また、PCPを使用してアウトソーシングされた計算を検証しようとする試みも見ましたが、アウトソーシングされた作業が暗号通貨ブロックチェーンに接続されているとは思いません。たぶんその仕事は近づいています。 歴史 で[GMR85] 、著者は、対話型証明系を紹介します。で[GS86] 、著者らは、グラフnonisomorphismのパブリックコインプロトコルを示します。で[Sha91] 、著者は証明していますIP=PSPACEIP=PSPACEIP=PSPACE。 で[BFL91] 、筆者はあることを証明しますMIP=NEXPMIP=NEXPMIP=NEXP。で[BFLS91] 、作者はに正式な証明を変換するこれらのアイデアを拡張する構想透明な証明対数多項式時間でチェック可能。 で[AS92] 、著者は、数学的な文だけ読んで対数多項式時間で確認することができることを意味しているとして、上記の作品を特徴づけpoly(logn)poly（logん）poly(logn) ペアノ算術の定理の証明のビット、サイズの証明 nんn （それらはビットのサブ対数の数に減少し、同時に O(1)O（1）O(1) 神聖なPCP定理のクエリ）。 たとえば、[AS92]から引用して、彼らはステートメントを想定しています： {(T,1n):TisatheoremofPeanoarithmeticwithaproofofsize≤n}{（T、1ん）：T私satheoreメートルofPeaんoar私thメートルet私cw私thaproofofs私ze≤ん}\{(T,1^n):T\:is\:a\:theorem\:of\:Peano\:arithmetic\:with\:a\:proof\:of\:size\:\leq n\} 言語として NPNPNP、ビットの対数以下の数で確率論的にチェックできる証人。 の間の簡単な関係を見つけることは決定できないことに注意してください |T||T||T|、定理の長さが証明され、 |π|=n|π|=ん|\pi|=n、証明のサイズ。単純な証明可能なステートメントには長い証明があるか、長い証明可能なステートメントには短い証明がある場合があります。 つまり、不完全性定理により、 …