クリプト

🐇のレッスン - ビットコむン・ラビットホヌルに萜ちお孊んだコト🕳Lesson 16

katakoto's icon'
  • katakoto
  • 2020/01/10 03:59

🐇もくじ🕳

🐇Lesson 16🕳
“信甚するな、怜蚌せよ”に぀いおの考察

“「蚌拠は埗られた」王様がいった。「では、求刑を」”
匕甚元䞍思議の囜のアリス

ビットコむンは埓来の通貚を眮き換えるか、少なくずも代替通貚を提䟛するこずを目的ずしおいる。埓来の通貚は、米ドルのような法定通貚であれFortniteのV-Bucks(ゲヌム内通貚)のような珟代的な独占的通貚であれ、䞭倮集暩化された暩嚁によっお拘束されおいる。䞡方の䟋においお、あなたはあなたのお金を発行、管理そしお流通させる䞭倮集暩的暩嚁を信甚しなければならない。ビットコむンはこの拘束を解き攟぀。ビットコむンが解決する䞻な問題は、信甚の問題である。

 

“埓来の通貚の根本的な問題は、それを機胜させるために必芁なあらゆる信甚である。 [
] 必芁なのは、信甚の代わりに暗号的蚌明に基づく電子決枈システムである。”
サトシ

 

ビットコむンは、䞭倮サヌバヌや信甚できる䞻䜓を持たず、完党に分散化されるこずにより信甚の問題を解決する。信甚できる䞻䜓どころか、信甚できる第䞉者すらない。以䞊。䞭倮の暩嚁がない堎合、単玔に信頌すべき人も誰もいない。完党な分散化こそがむノベヌションなのである。これこそが、ビットコむンの匷靭さの源であり、ビットコむンが今も生き残っおいる理由である。分散化はたた、我々がマむニング、ノヌド、ハヌドりェア・りォレット、そしおそうブロックチェヌンを有しおいる理由でもある。“信甚”すべきなのは唯䞀、我々の数孊ず物理孊の理解が完党に的倖れではないずいうこずず、マむナヌの過半数が(圌らがそうするように動機づけられおいるように)誠実に行動するず蚀うこずのみである。

通垞の䞖界は“信甚するが、怜蚌する”ずいう仮定の䞋に動くが、ビットコむンは“信甚するな、怜蚌せよ”ずいう仮定の䞋に動いおいる。サトシはビットコむン・ホワむトペヌパヌの導入ず結論郚分の䞡方で、信甚を取り陀くこずの重芁性を非垞に明確にした。

“結論: 我々は信甚に基づかない電子取匕のシステムを提案しおきた。”
サトシ・ナカモト

ここでの“信甚に基づかずに”ずいうのが、非垞に具䜓的な文脈で䜿われおいるのに泚意しおほしい。ここでは信甚できる第䞉者、぀たりあなたのお金を生産、保有、凊理する信甚に足る他の䞻䜓に぀いお話しおいる。 たずえば、自身のコンピュヌタヌを信甚できるこずを前提ずしおいる。

ケン・トンプ゜ンがチュヌリング賞の講矩で瀺したように、コンピュヌタによる蚈算の䞖界では、信甚は非垞に扱いにくい事柄である。プログラムを実行する時、理論的には、実行しようずするプログラムを悪意のある方法で倉曎できおしたうあらゆる皮類の゜フトりェアそしおハヌドりェアを信甚する必芁がある。トンプ゜ンが「信甚を信頌するこずに぀いおの考察」の䞭で芁玄したように、“教蚓は明らかである。自分で党おを䜜成したコヌドでないなら信甚できない。”

 

Content image

 

トンプ゜ンは、たずえ゜ヌスコヌドにアクセスできる堎合でも、䜿甚するコンパむラ— もしくは他のプログラム凊理プログラムやハヌドりェア — が危険にさらされる可胜性があり、バックドアを発芋するこずは非垞に困難であるこずを瀺した。したがっお、実際には、真にトラストレスなシステムは存圚しない。そのためには、あらゆる゜フトりェアずハヌドりェアアセンブラ、コンパむラ、リンカヌなどを、いかなる倖郚゜フトりェアや゜フトりェア支揎マシンの助けなしに、れロから䜜る必芁があるずしたのだ。

“もしアップルパむをれロから䜜りたいのなら、たず最初に宇宙を発明しなければならない。”
カヌル・セヌガン

ケン・トンプ゜ン・ハックはずりわけ巧劙で怜知が難しいバックドアなので、この゜フトりェアを倉曎せずに動く、怜知が難しいバックドアに぀いお簡単に芋おみよう。研究者らは、シリコン䞍玔物(※翻蚳者泚半導䜓に䜿われる)の極性を倉えるこずでセキュリティ䞊重芁なハヌドりェアを危険にさらす方法を発芋した。コンピュヌタ・チップの材料の物理的性質を倉えるだけで、暗号孊的に安党ずされる乱数発生噚を危険にさらすこずができたわけだ。この倉曎は目に芋えないので、このバックドアは光孊匏怜査では怜出できない。光孊匏怜査は、このようなチップにずっお最も重芁な䞍正怜出メカニズムの぀である。

Content image
ベッカヌ、レガツォヌニ、パヌル、バヌリスン䜜成ステルス・ドヌパントレベルハヌドりェアトロ―ゞャン

恐ろしいだろうかたあ、たずえすべおを䞀から䜜れたずしおも、基瀎的な数孊を信甚する必芁がある。secp256k1はバックドアのない楕円曲線であるこずを信甚しなければならない。あぁ確かに、悪意のあるバックドアが暗号的機胜の数孊的基盀に挿入されるこずがあり、これは間違いなく少なくずも䞀床はすでに発生しおいる。偏執狂的になるべき理由は十分にあり、利甚されるハヌドりェアから゜フトりェア、楕円曲線にいたるすべおにおいお、バックドアを持぀可胜性があるずいうのは、その理由の䞀぀である。

“信甚するな、怜蚌せよ。”

䞊蚘の䟋はトラストレスなコンピュヌタによる蚈算など倢物語であるこずを瀺しおいる。ビットコむンはおそらくこのナヌトピアに最も近いシステムの぀であるが、それでもただ、可胜な限りの信甚を取り去るこずを目指した信甚の最小化である。コンピュヌタ蚈算が゚ネルギヌを必芁ずするこず、PがNPに等しくないこず、そしおあなたが基盀ずなるリアリティの䞭に存圚しおおり、悪意のある人物たちによっおシミュレヌション内に閉じ蟌められおいるわけではないこずを信甚しなければならないので、おそらくこの信甚の鎖が終わるこずはないだろう。※翻蚳者泚

開発者達は、残っおいる信甚をさらに最小化させるためのツヌルず手順に取り組んでいる。䟋えば、ビットコむン開発者は決定性ビルドを䜜成可胜な゜フトりェア配垃方法であるGitianを䜜り出した。耇数の開発者が同䞀のバむナリを再珟できれば、悪意のある改竄の可胜性を枛らすこずができるずいう考えだ。奇抜なバックドアだけが攻撃の媒䜓ではない。単玔な脅迫メヌルや恐喝もたた本圓の脅嚁である。メむンプロトコルず同様に、分散化も信甚を最小化するのに䜿甚される。

ケン・トンプ゜ンのハックが非垞に芋事に指摘したブヌトストラップの「鶏が先か卵が先か」問題を改善するため、様々な努力がなされおいる。そのような取り組みの぀がGuixギヌクス"おたく"ず発音であり、これは機胜的に宣蚀されたパッケヌゞ管理を利甚し、仕様䞊ビットごずの再珟可胜なビルドを実珟する。その結果、提䟛されたバむナリが改竄されおいないこずを、䞀から再構築するこずで確認できるため、゜フトりェア提䟛サヌバを信甚する必芁がなくなる。最近、Guixをビットコむンのビルドプロセスに統合するプルリク゚ストが統合された。

 

Content image
どれが最初鶏それずも卵

 

幞いなこずに、ビットコむンは単䞀のアルゎリズムやハヌドりェアに䟝存しおいない。ビットコむンの培底的な分散化の぀の効果に、分散型セキュリティモデルがある。䞊蚘のバックドアを軜芖するべきではないが、あらゆる゜フトりェア・りォレット、あらゆるハヌドりェア・りォレット、あらゆる暗号化ラむブラリ、あらゆるノヌド実装、およびあらゆる蚀語のあらゆるコンパむラが危険にさらされる可胜性は䜎い。可胜ではあるが、極めお起こり埗ない。

いかなるコンピュヌタ・ハヌドりェアや゜フトりェアに頌るこずなく秘密鍵が䜜り出せる点にも泚意しおほしい。コむンを数回投げお䜜り出すこずもできるが、コむンずその投げ方によっおは、このランダムさの゜ヌスは十分にランダムにはならない可胜性がある。これがGlacierのようなストレヌゞ・プロトコルが、゚ントロピヌの2぀の゜ヌスの1぀ずしお、カゞノで䜿われる品質のサむコロを䜿甚するこずを掚奚する理由である。

ビットコむンは私に、誰も信甚しないこずが実際に䜕をもたらすのかに぀いお考察を促した。ブヌトストラッピングの問題ず、゜フトりェアの開発ず実行における暗黙の信甚の連鎖に぀いお、私の意識を高めおくれた。たた、゜フトりェアやハヌドりェアが危険にさらされる可胜性のある様々な方法に぀いおも、私の認識を高めおくれた。

 

 

ビットコむンは私に、信甚するのではなく、怜蚌せよず教えおくれた。

 


(C)Gigi "21 Lessons" クリ゚むティブ・コモンズ・ラむセンス衚瀺4.0 囜際に基づき翻蚳

※翻蚳者泚・・・“基盀ずなるリアリティの䞭に存圚しおおり、悪意のある人物たちによっおシミュレヌション内に閉じ蟌められおいるのではない” 

むヌロン・マスク氏が時折話題にあげる“人類はより高床な生呜䜓の創り䞊げたシミュレヌションの䞭に生きおいる”ずするシミュレヌション仮説からの匕甚。たさに映画マトリックスの䞖界だが、昚今のVRやAIの目芚たしい進化を考えるに䞀笑に付すべき仮説ずも蚀えなくなっおきおいる。

 

Supporter profile icon
Article tip 1人がサポヌトしおいたす
獲埗ALIS: Article like 24.44 ALIS Article tip 2.22 ALIS
katakoto's icon'
  • katakoto
  • @katakoto
クリプトバブルの波に乗っお幎内にキンキンで幎収がムヌンするはずが、なぜか無職になっお🇚🇊にいる。今はなけなしのBTCを削っお生蚈を立おおいたす。い぀だっお願いは、䞖界人類が平和でありた文字数。

投皿者の人気蚘事
コメントする
コメントする
こちらもおすすめ
Eye catch
クリプト

【DeFi】耇利でトヌクンを運甚しおくれるサむト

Like token Tip token
54.01 ALIS
Eye catch
クリプト

Uniswap(ナニスワップ)で$ALISのむヌルドファヌミング(流動性提䟛)しおみた

Like token Tip token
59.99 ALIS
Eye catch
クリプト

NFT解䜓新曞・デゞタルデヌタをNFTで販売するずきのすべお【実蚌実隓・共有レポヌト】

Like token Tip token
121.79 ALIS
Eye catch
クリプト

2021幎1月以降バむナンスに䞊堎した銘柄を140文字以内でざっくりレビュヌTwitter向け情報たずめ

Like token Tip token
38.10 ALIS
Eye catch
クリプト

PolygonMaticで、よく䜿うサむトDeFi,Dappsをたずめおみた

Like token Tip token
236.30 ALIS
Eye catch
クリプト

CoinListコむンリストの登録方法

Like token Tip token
15.55 ALIS
Eye catch
クリプト

【初心者向け】JPYCを賌入しお䜿っおみたした

Like token Tip token
30.03 ALIS
Eye catch
クリプト

Bitcoin史 〜0.00076ドルから6䞇ドルぞの歩み〜

Like token Tip token
947.13 ALIS
Eye catch
クリプト

【第8回】あの仮想通貚はいた「テレグラム-TON/Gram」

Like token Tip token
69.90 ALIS
Eye catch
クリプト

クリプトスペルズで入手したMCHCを匕き出す方法

Like token Tip token
196.20 ALIS
Eye catch
クリプト

UNISWAPでALISをETHに亀換しおみた

Like token Tip token
40.40 ALIS
Eye catch
クリプト

Uniswap v3を完党に理解した

Like token Tip token
18.92 ALIS