耐障害性

記事数:(2)

基礎技術

分散型台帳の信頼性:ピービーエフティー

皆で管理する仕組みは、特定の人や組織に権力が偏るのを防ぎ、一部が壊れても全体が止まらない強い仕組みにできます。しかし、参加者全員が同じ立場であり、不正をする者もいるかもしれない状況では、正しい結論にたどり着くのがとても難しくなります。例えば、あるお金のやり取りが正しいか判断する時、一部の参加者が嘘の情報を流したり、邪魔をしたりするかもしれません。このような状況で、どのようにして全体の整合性を保ち、正しい記録を残せるのでしょうか。これが、皆で管理する仕組みにおける合意形成の大きな課題です。単純に多数決で決めてしまうと、悪い考えを持った参加者が多くの人を騙して、間違った結論に導く危険性があります。例えば、お金のやり取りを承認する際に、不正を行う者が多数派を装って偽の承認を作り出し、実際には存在しないお金を手に入れるかもしれません。あるいは、正しいやり取りを妨害するために、多数の偽のアカウントを使って反対票を投じ、取引を成立させないようにすることも考えられます。このような不正を防ぐためには、より高度な合意形成の方法が必要です。不正を防ぐ方法の一つとして、参加者の信頼度を評価する仕組みが考えられます。過去の行動や貢献度に基づいて信頼できる参加者にはより大きな発言権を与え、信頼できない参加者の影響力を小さくすることで、不正操作の影響を軽減できます。また、複雑な計算問題を解かせ、その答えを元に合意を形成する仕組みも有効です。計算問題を解くには一定の計算能力が必要となるため、不正を行うために多数の偽アカウントを操作することが難しくなります。このような様々な工夫により、皆で管理する仕組みでも安全で信頼できる合意形成を実現できるよう、日々研究開発が進められています。
基礎技術

ビザンチン将軍問題:合意形成の難しさ

複数の将軍が、それぞれ自分の軍隊を率いて、敵の都市を囲んでいるとしましょう。彼らは、都市を攻めるか退くか、どちらか一つを決めなければなりません。全員が同時に攻めれば勝利しますが、一部だけが攻めれば敗北は確実です。将軍たちは、互いに使いを送り、攻めるか退くかの意思を伝え合うことで、行動を統一しようとします。しかし、ここに大きな問題があります。将軍たちの中には、裏切り者がいるかもしれないのです。裏切り者は、他の将軍たちを混乱させるため、わざと嘘の情報を伝えます。例えば、ある将軍には攻めると言い、別の将軍には退くと伝えるのです。このような状況で、忠実な将軍たちは、どのようにして正しい合意に達することができるのでしょうか? これが、俗に言う将軍問題の核心です。この問題は、単なる伝達ミスとは大きく異なります。伝達ミスは、偶然に情報が変わるだけですが、裏切り者は、意図的に情報を操作します。そのため、誤りを発見し修正することが非常に困難です。さらに、将軍たちは互いに直接話すことができず、使いを介して意思疎通をするしかないため、誰が嘘をついているのかを見抜くのは至難の業です。連絡網の安全性も保証されていません。使いが途中で捕まり、メッセージが書き換えられる可能性もあります。また、将軍たちがお互いを完全に信用できないことも、合意形成を難しくする要因です。誰が忠実で、誰が裏切り者なのか、確信が持てない状況では、どの情報が真実なのか判断がつきません。このように、将軍問題は、不確かな情報環境での合意形成の難しさを示す重要な例です。