Bitcoinと全turingnessの主張.
3436 ワード
クレイグライトは、非常に物議を醸す人です- Bitcoin SV、中本聡、主要な剽窃告発であるという主張-全体的な、あなたが望むブロックの顔でない.しかし、クレイグライトは、非常にスマートな人でもあります、さえずりコミュニティにおけるさえずりハンドルより多くのあなたは、信じています.彼の程度と経験の年は無視することができない何かです、あるいは、少なくとも、それはBSVコミュニティと彼自身があなたが信じることを望むものです.
私たちは今日、博士さんに疑いの利益を与えます.2014年に、ライト博士は「Bitcoin : The Turing Turing Machine」と題した論文を出しました.
チューリングマシンを知らない場合は、今それについて話す良い時間です.チューリング機械は抽象機械を表す計算の理論モデルである.チューリングマシンは、セルに分割されたテープです.
ユニバーサルチューリングマシン
チューリングマシンは、36年に伝説的なアランチューリングによって出され、それは非常に重要な何かを証明した:Entscheidungs問題の計算不能.チューリングマシンは、実際の人生では、無限のテープを持っていないので、実際の生活で実装することはできませんし、これらのマシンは、実際の実装のために最適化されていないため.例えば.実際の生活のコンピュータは、TMSをしないRAMを使用します.しかし、TMSは、計算の持続時間を指定すると、実際のコンピュータを何かを計算することができます問題ではない.
チューリング完全性は、チューリング完全であるどんなプログラムも停止するという考えです.そして、停止するどんなプログラムも無限に傾向がありません.ここから、チューリングマシンは無限の時間を走らせるべきだと推論します.
どのようにこれはすべてBitcoinに関連するのですか?
Bitcoinのスクリプトは、スタックベースの非チューリング完全なプログラミング言語です.そして、これについて多くの会話があります.そして、特にチューリング完全であるためにEthereumコミュニティを攻撃します、そして、「ポストの定理」のためにチューリングが完了する必要の欠如.
スタックデータ構造の表現
Postの定理は、算術的階層とチューリング次数[ 2 ]の間の接続を示します.それはしばしばチューリングの完全性の必要性の欠如と他のものとして決定性の安全性を擁護すると述べられます.
ライト提案Bitcoinは、彼は“確率的総チューリングマシン”を呼び出すために提案している.クレイグの主張を要約しようライトは、BitcoinがWolframの推測で提案されたマシンと等価であることを提案します.これによって、命題はBitcoinスクリプトも普遍的なチューリングスクリプトでなければなりません. はBitcoinがチューリング完全であり、Ackermann関数を使用していることを証明します. ライトは、Bitcoinスクリプトが確率的Turing Turing Machineであると提案します.ptmはptmsとは異なる.スクリプトの代替スタックは、チューリングを完了します.
Bitcoinスクリプトのループの欠如は、非チューリング不完全ではありません.Bitcoinは原始再帰関数を使って形成されるので、スクリプトの構成はチューリング完全です.
このすべてを解剖しよう.BitCointはループをサポートしていません.これはスクリプトのチューリングを完全にするか不完全ではありません.確かに、他のループが存在しない場合は、ループがなければ、コントロールの不足です.これは言語のバグではない、それは機能です.ビジービーバー[ 3 ]のような小さなスクリプトは、Bitcoinネットワークが最悪の状態でDOSオーバータイムを返す原因となり、最高速度でハッシュレートを遅くします.これは決定可能性と安全性を高めるために実装されました.
つのスタックはチューリング完全なマシンを作らない.二つのスタックPDA(チューリング完了)をシミュレートするには、制御構造が必要である.私が言ったように、Bitcoinはループを欠いています.
BitCointは、スクリプトごとに行うことができる非プッシュ操作の数を制限します:あなたがBitcoinのGitHubを見るならば、あなたは以下のコードのコードを見ます
Bitcoinがチューリング完全であるかどうかは無駄な議論です.Bitcoin Networkは、そのサイズのため(他のネットワークより多くの)チューリングです.Bitcoinスクリプトは、デザインによって不完全なチューリングよりも優れています.P 2 Pコンセンサスネットワークは、スクリプトのいくつかの形式の決定可能性を実装する必要があります.Ethereumは、例えば、ガスシステムを有する.それは、その理由のために完全なチューリングです.Bitcoinスクリプトは、Bitcoinネットワークの外部で使用されている場合、デザインによって不完全なチューリングであるが、いくつかの変更が行われているので、問題が発生します.しかし実用的には、システムは本当にチューリングを完全にしていない.私は、これについてのあなたのコメントが好きです!
更なる読書
[1]https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3265146
[2]https://youtu.be/TGE6jrVmt_I
[3]https://en.wikipedia.org/wiki/Busy_beaver
私たちは今日、博士さんに疑いの利益を与えます.2014年に、ライト博士は「Bitcoin : The Turing Turing Machine」と題した論文を出しました.
チューリングマシンを知らない場合は、今それについて話す良い時間です.チューリング機械は抽象機械を表す計算の理論モデルである.チューリングマシンは、セルに分割されたテープです.
ユニバーサルチューリングマシン
チューリングマシンは、36年に伝説的なアランチューリングによって出され、それは非常に重要な何かを証明した:Entscheidungs問題の計算不能.チューリングマシンは、実際の人生では、無限のテープを持っていないので、実際の生活で実装することはできませんし、これらのマシンは、実際の実装のために最適化されていないため.例えば.実際の生活のコンピュータは、TMSをしないRAMを使用します.しかし、TMSは、計算の持続時間を指定すると、実際のコンピュータを何かを計算することができます問題ではない.
チューリング完全性は、チューリング完全であるどんなプログラムも停止するという考えです.そして、停止するどんなプログラムも無限に傾向がありません.ここから、チューリングマシンは無限の時間を走らせるべきだと推論します.
どのようにこれはすべてBitcoinに関連するのですか?
Bitcoinのスクリプトは、スタックベースの非チューリング完全なプログラミング言語です.そして、これについて多くの会話があります.そして、特にチューリング完全であるためにEthereumコミュニティを攻撃します、そして、「ポストの定理」のためにチューリングが完了する必要の欠如.
スタックデータ構造の表現
Postの定理は、算術的階層とチューリング次数[ 2 ]の間の接続を示します.それはしばしばチューリングの完全性の必要性の欠如と他のものとして決定性の安全性を擁護すると述べられます.
ライト提案Bitcoinは、彼は“確率的総チューリングマシン”を呼び出すために提案している.クレイグの主張を要約しよう
Bitcoinスクリプトのループの欠如は、非チューリング不完全ではありません.Bitcoinは原始再帰関数を使って形成されるので、スクリプトの構成はチューリング完全です.
このすべてを解剖しよう.BitCointはループをサポートしていません.これはスクリプトのチューリングを完全にするか不完全ではありません.確かに、他のループが存在しない場合は、ループがなければ、コントロールの不足です.これは言語のバグではない、それは機能です.ビジービーバー[ 3 ]のような小さなスクリプトは、Bitcoinネットワークが最悪の状態でDOSオーバータイムを返す原因となり、最高速度でハッシュレートを遅くします.これは決定可能性と安全性を高めるために実装されました.
つのスタックはチューリング完全なマシンを作らない.二つのスタックPDA(チューリング完了)をシミュレートするには、制御構造が必要である.私が言ったように、Bitcoinはループを欠いています.
BitCointは、スクリプトごとに行うことができる非プッシュ操作の数を制限します:あなたがBitcoinのGitHubを見るならば、あなたは以下のコードのコードを見ます
static const int MAX_OPS_PER_SCRIPT = 201;
これは、スクリプトごとに201非プッシュオプスを行うことができることを意味します.これは、決定不能な問題に対して保護することです.あなたが2 pdaを実装したとしても、あなたは実質的にこれによって制限されるでしょう.Bitcoinがチューリング完全であるかどうかは無駄な議論です.Bitcoin Networkは、そのサイズのため(他のネットワークより多くの)チューリングです.Bitcoinスクリプトは、デザインによって不完全なチューリングよりも優れています.P 2 Pコンセンサスネットワークは、スクリプトのいくつかの形式の決定可能性を実装する必要があります.Ethereumは、例えば、ガスシステムを有する.それは、その理由のために完全なチューリングです.Bitcoinスクリプトは、Bitcoinネットワークの外部で使用されている場合、デザインによって不完全なチューリングであるが、いくつかの変更が行われているので、問題が発生します.しかし実用的には、システムは本当にチューリングを完全にしていない.私は、これについてのあなたのコメントが好きです!
更なる読書
[1]https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3265146
[2]https://youtu.be/TGE6jrVmt_I
[3]https://en.wikipedia.org/wiki/Busy_beaver
Reference
この問題について(Bitcoinと全turingnessの主張.), 我々は、より多くの情報をここで見つけました https://dev.to/abhinavmir/bitcoin-and-the-claim-of-total-turingness-l68テキストは自由に共有またはコピーできます。ただし、このドキュメントのURLは参考URLとして残しておいてください。
Collection and Share based on the CC Protocol