|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ビザンチンフォールトトレランス (BFT)
ビザンチン フォールト トレランス (BFT) とは何ですか?
ビザンチン将軍問題は、コンピューター サイエンス、特に分散コンピューター システム (暗号通貨がその一例) に関する重要な問題の 1 つを示す有名な抽象概念です。
数人のビザンチン将軍が敵都市の周囲にキャンプを張り、使者を送ることによってのみ互いに通信していると想像してみてください。彼らは都市を攻撃するか撤退するかを集団で決定しなければなりません。ただし、将軍の中には裏切り者もおり、合意形成に積極的に反対する可能性があります。どの将軍が裏切り者であるかについての入手可能な知識に関係なく、忠実な将軍が共通の行動計画を決定することを保証するシステムを構築することは可能でしょうか?
問題を徹底的に分析すると、そのようなアルゴリズムが可能であることがわかりましたが、それは将軍の 3 分の 2 以上が忠誠を誓っている場合に限られます。
ビットコイン (BTC) などの分散型暗号通貨は、本質的には分散型コンピューター システムです。そのネットワークは、トランザクションを処理してブロックチェーンの最後に追加するために競合する、独立した個人または組織によって運営される個々のノードで構成されています。ノードが地理的に分離されており、互いに独立しているため、または中央機関からも独立しているため、どのノードがトランザクションに関する不完全な情報を提供しているかを、悪意があるか偶然であるかを確実に知ることは不可能です。
ビザンチン フォールト トレランスとは、偶然または意図的に一部のノードが残りのノードと一致しないという事実に関係なく、この問題を克服し、一貫してコンセンサスを形成できる分散コンピュータ システムの特性を指します。これは、ビットコインのプルーフ・オブ・ワーク・アルゴリズムなどの技術的ソリューションによって実現できますが、これはノードの 3 分の 2 以上がシステムに忠実なままである場合に限られます。
|
ボトルネック
ボトルネックとは、容量が制限され、輻輳が発生して全体のパフォーマンスが低下するポイントを指します。 |
|
zkOracle
zkOracle は、セキュリティ、プライバシー、コスト効率の堅牢な標準を維持しながら、データが自由に通過できるトラストレスな媒体として Zero Knowledge Proofs (ZKP) を利用します。 |
|
抽象化のスケーラビリティ
抽象化のスケーラビリティとは、プログラミング コンポーネントを新しい開発環境の構成要素として使用できるようにする、システムの全体的な機能の拡張です。 |
|
ソラナ仮想マシン (SVM)
Solana 仮想マシン (SVM) は、1 秒あたり数千のトランザクションを処理する Solana の機能を強化するシステムです。 |
|
プログラム可能なプライバシー
プログラマブル プライバシーは、分散型アプリケーション (dApps) におけるデータ保護を再定義し、ユーザーと開発者がプライバシー設定をパーソナライズできる柔軟な概念を提供します。 |
|
簡易台帳プロトコル (SLP)
Simple Ledger Protocol (SLP) は、Bitcoin Cash 上で動作するトークン システムです。これにより、ユーザーは自分が夢見るものすべてを表す独自のトークンを作成できます。 |