By Bitcoin 雑誌-7ヶ月前-読書時間：7分
Bitcoin ブロックチェーンはグアテマラ大統領選挙での不正行為と闘っている
Bitcoin はグアテマラの選挙結果の真実性を確保するのに貢献しています。
OpenTimestamps というツールのおかげで、 bitcoin 開発者のピーター・トッド氏が数年前に開発したグアテマラのハイテク新興企業シンプル・プルーフは、同国の大統領選挙に関する重要文書を詐欺や改ざんから守ることができた。 Todd のツール。ハッシュ関数と bitcoin ブロックチェーンは、情報の一部にタイムスタンプを付けることができ、詐欺や操作の試みを簡単に発見できるようになります。
文書にタイムスタンプを付けるという考えはかなり古いものです。 個人や社会は何世紀にもわたって、文書に署名されたとき、小切手が切られたとき、または誰かが生まれたときを示すためにこの技術に依存してきました。 ただし、暗号化タイムスタンプははるかに新しいものです。 彼らは、間違いやすく腐敗しやすい人間の代わりに数学に依存することで、人間によるタイムスタンプの概念をさらに一歩進めています。 署名は洗練された行為者によって偽造される可能性があり、当局はさまざまなインセンティブの対象となり、賄賂や汚職を受ける可能性があります。 また、「間違いを犯すのは人間の本能」ですが、数学では正しいアルゴリズムが使用されていれば間違いは起こりません。
優れたアルゴリズムの例としては、可変サイズの入力を受け取って固定長の結果を出力する数学関数の一種であるハッシュ関数があります。 この結果は、その入力のハッシュと呼ばれます。 ハッシュ関数は、 bitcoin ネットワーク、特にブロックチェーンに追加されるブロック、および OpenTimestamps によって。
OpenTimestampsはどのように機能しますか?
OpenTimestamps はハッシュ関数を活用して、あらゆるデータに暗号化されたタイムスタンプを付けます。 bitcoin ブロックチェーン。 この場合、人間の署名や証明の使用を改善するために数学が活用されています。 bitcoin ブロックチェーンは、その情報をブロックにリンクして固定するための分散型デジタル台帳として使用されています。 これにより、ネットワーク内の何万ものノードがすべて独立してタイムスタンプ アンカーの存在を目撃し、そのハッシュが特定の時刻にマイニングされたブロックに実際に追加されたことを検証できることが保証されます。
OpenTimestamps は、特定のユーザーによって送信された情報をハッシュし、それを bitcoin でブロックする bitcoin 取引。 以来、 bitcoin ブロックのハッシュは、そのブロックに含まれるすべての情報を利用して計算されます。そのブロックのハッシュの計算にはタイムスタンプ データが必要です。 言い換えれば、タイムスタンプに関する仮定は、マイナーがブロックのハッシュに到達するためには、ブロックに含まれる他のトランザクションとともに、必ずそのタイムスタンプ トランザクションから開始しなければならないということです。 これは、タイムスタンプが付けられた情報は、その情報が作成される前に存在していた必要があることを意味します。 bitcoin ブロック。 以来、 bitcoin ブロックには独自のタイムスタンプがあるため、ユーザーはブロックがマイニングされた日時を確認でき、そのブロックのタイムスタンプより前の時点でドキュメントが存在していたことを数学的確実性を持って保証できます。
この保証自体にはそれほど価値はありません。 確かに、特定の時点より前にデータが存在していたことを証明できるようになりますが、これはどのように役立つのでしょうか? 他の種類の情報や証拠と組み合わせると、この単純な保証から多くのことが推測できます。 たとえば、その情報はその前に存在していたため、次のように推測できます。 bitcoin ブロックの場合、そのハッシュが異なる場合、その情報への変更はそれ以降に行われます。
より高度な結論に必要な情報と証拠はユーザーが処理する必要があります。これは、最終的に OpenTimestamps が提供するのは、その情報のハッシュがタイムスタンプに含まれていることの証明だけであるためです。 bitcoin ブロック。 したがって、タイムスタンプを要求したユーザーは、自分のデータがタイムスタンプと一致することを証明したい場合に備えて、元の情報を手元に保管しておく必要があります。 ハッシュ関数の特性を考慮すると、同じ入力が常に同じ出力を生成するため、情報が変更されていない場合、ハッシュは同じになります。 したがって、ハッシュが異なるため、元の情報に何らかの変更が加えられたかどうかを判断するのが非常に簡単になります。
内部的には、OpenTimestamps はタイムスタンプが付けられる個々のデータのハッシュを格納しません。 bitcoin。 オンチェーンに XNUMX つ必要になるため、コストがかかる可能性があります bitcoin タイムスタンプごとのトランザクション。 代わりに、OpenTimestamps はマークル ツリーを活用して、その情報を可能な限り圧縮します。
大きな情報をハッシュして固定長のハッシュに到達する方法と同様に、XNUMX つのハッシュをさらにハッシュして XNUMX つのハッシュに到達することができます。 のようにwiseXNUMX つの情報から始めて、それらを個別にハッシュし、次に XNUMX つのハッシュだけが残るまでペアでハッシュします。 このコンテキストにおけるマークル ツリーの価値提案は、この設定をスケーリングすることにあります。つまり、多数の個別の情報があり、XNUMX つのハッシュ (ルート ハッシュ) が残るまでそれらをハッシュします。 OpenTimestamps はこのルート ハッシュを取得し、 bitcoin、単一のコストを分配します。 bitcoin タイムスタンプのために送信され、ツリーの構築に使用された各初期情報へのトランザクション。
ユーザーは、自分の個別のハッシュが追加されたこと、および最終的に自分のデータにタイムスタンプが付けられたことを引き続き確認できます。 OpenTimestamps Web サイトを活用することも、完全なサイファーパンクを実行して、ツリーのルート ハッシュに到達するまですべてのデータをハッシュし、そこにあるデータとクロスチェックすることもできます。 bitcoin.
これはグアテマラと何の関係があるのでしょうか？
グアテマラには政界における汚職と詐欺の長い歴史がある。 Simple Proof は、グアテマラの最高選挙機関であるグアテマラ最高選挙法廷 (TSE) のための不変のバックアップ ソリューションとして、ITZ DATA によってそのような文脈で実装されました。
「Immutable Backup という名前の Simple Proof ソリューションは、OpenTimestamps プロトコルを利用して、改ざんが明らかな方法で文書の証拠を記録します。 bitcoin ブロックチェーン」とシンプル・プルーフの共同創設者ラファエル・コルドン氏は語った。 Bitcoin 雑誌。 「東証は、選挙の公式文書を保護し、重要な情報を人工知能や偽情報から保護するために Simple Proof を使用しました。これにより、文書の改ざんが明らかになり、国民が自ら情報を独自に検証できるようになりました。」
グアテマラ国民は、専用の Web ポータルを通じて、特定の集計シートを確認し、そのタイムスタンプの証明を確認できます。 各シートには、投票世論での各候補者の得票の合計が含まれています。 したがって、投票を数えるためにスキャンされ使用された集計シートと、各集計シートにタイムスタンプが押された時期に関する透明性が国民に提供されます。
この設定では、指定された集計シートが有効かどうかを証明できないことに注意することが重要です。 TSE に対する信頼の前提が依然として存在します。 ただし、たとえば、すべての集計シートの中から外れ値を見つけるのが簡単になるなど、当局の言葉をそのまま受け入れるよりも改善されています。 OpenTimestamps では、単一の集計シートの特定の有効性情報を有権者に伝えるのではなく、選挙の全体的な状況の概要を把握できます。
たとえば、投票終了後、集計シートをスキャンして Simple Proof のソリューションにアップロードし、確認済みのタイムスタンプを取得するのに、おそらく XNUMX 時間以上かかるはずはありません。 bitcoin ブロック。 集計シートの大部分がその XNUMX 時間以内に収まるが、一部の集計シートが投票終了よりもずっと長くタイムスタンプが付けられている場合、それらの外れ値のシートは他のものよりも不正である可能性がはるかに高いと考えるのが合理的です。 言い換えれば、集計シートが予定より大幅に遅れて入力された場合、タイムスタンプは、投票が終了してからシートにタイムスタンプを付けるのに XNUMX 時間未満ではなく、それほど長い時間がかかったことが疑わしいことを示します。後で。
このことは、グアテマラの選挙に関しては、選挙戦に至るまでの緊張と、最終的に勝利した外れ値の候補者のせいで、特に重要であり、今でも重要である。 次期大統領ベルナルド・アレバロは、本戦が開催される数カ月前には、本戦への出場資格さえ得られるとは予想されていなかった。
アレバロ氏が大統領選挙に勝利すると、抗議活動は大規模になった。 報道によると、マリア・コンスエロ・ポラス司法長官事務所の職員らが東証の施設を襲撃し、数十個の投票箱を開けた。 AP。 相手方UNEは、 勝利は不正であったと主張した そして票の再集計を要求した。
UNE は X にスレッドを投稿し、タイムスタンプが付いていることを示す Simple Proof の Web ツール上の XNUMX 枚の集計シートのスクリーンショットを含む、いくつかの疑惑の証拠を示して理論的根拠を説明しました。 投票は締め切りました。
彼らの主張を押し通そうとしたのか、それとも誤って、その集計シートのスクリーンショットは首都の公式時間とは異なるタイムゾーンで撮影されたため、XNUMX時間の差が生じてしまった。 この特定のケースでは、 bitcoin UNE の主張が虚偽であることを確認するのに役立ち、国民は誰でも自分のコンピュータのタイムスタンプをチェックすることでそれを確認できました。 注目すべきことに、XNUMX人はそうしました –– X でスクリーンショットを公開する UNEが改ざんされていると主張した集計シートが実際にはあまりにも早くタイムスタンプされていなかったことを修正した。
一方、 bitcoin は、二重支出問題を解決し、電子ピアツーピアマネーを実現することのみを目的として設計および開発されました。そのノードのネットワークと分散型台帳は、他の興味深いユースケースにも活用できます。
このケースでは、重要な選挙情報の保護において Simple Proof がいかに重要な役割を果たしたかが明らかです。 OpenTimestamps と bitcoin 暗号化された公的かつ分散型の方法でその情報を保護するプロセスの一部として行われていなかったら、情報が改ざんされていないことを確認するために、もっと大きな抗議と混乱の手続きが必要になった可能性があります。 おそらく疑惑は依然として残るだろうし、民主主義の手続きが脆弱だった歴史を持つこの国では、信頼の揺らぎは、次期大統領が正当な新指導者として国を率いる能力を妨げる可能性がある。
元のソース： Bitcoin アフリカ⇔日本 情報雑誌発行