PoBプロトコル解析

Iagonチームは最近、Cardanoエコシステム向けの燃焼証明(PoB)プロトコルを発表するという重要な課題を完了しました。本記事では、このソリューションについて詳しく説明し、主に以下のいくつかの側面を含みます:

1. 燃焼証明メカニズムとその応用の概要
2. IagonのPoBプランはCardanoネットワーク上のスマートコントラクトで実装されています
3. スマートコントラクトのデプロイとテストプロセス
4. PoBプロトコルを実行するために、トークンを「ブラックホール」アドレスに送信します。

1. バーニング証明とその応用

トークンのバーンは本質的に、トークンをアクセスできない「ブラックホール」アドレスに送信することです。このアドレスにはプライベートキーがなく、破棄されたトークンを回収することはできません。一般の人々は破棄が実際に行われたことを検証できますが、約束値のみを知っています。このメカニズムは、仲介者が破棄された資金を検閲することを防ぎます。

燃焼メカニズムには多くの用途があり、残りのトークンの価値を増加させることも、ブロックチェーンプロトコルのコミットメント証明としても使用できます。大規模な燃焼は、流通しているトークンの総量を減少させるため、デフレ圧力を引き起こす可能性があります。燃焼は一般的な操作ですが、マイナーの承認が必要です。

燃焼証明の安全性は暗号ハッシュ関数に基づいています。これらの関数は正方向の計算は容易ですが、逆方向の計算は非常に困難です。本質的に、入力のわずかな変化が出力に巨大なランダム変化をもたらします。これは、出力から入力を逆推するのに非常に長い時間がかかることを意味します。簡単に言えば、暗号ハッシュ関数の最下位ビットを反転させることでブラックホールアドレスを作成でき、そのアドレスに送信された資金は回復が難しいか、あるいは不可能になります。

暗号取引の安全性は完全に公開鍵暗号とハッシュ関数に基づいています:"資金を送信するたびに、新しい未使用取引出力(UTxO)が作成されます。"UTxOは金額と受取人の公開鍵のハッシュを記録します。受取人は資金を使用する際に、同じ公開鍵で新しい取引に署名する必要があります。

ゼロ値ハッシュを直接使用するのではなく、逆ハッシュ出力の最低位を使用するのは、二段階の操作を実現するためです：まず資金を燃やし、その後燃やしたことを証明します。これには、最初にコミットメント値のハッシュを作成し、その後に作成したブラックホールアドレスを示す必要があります。

!

2. Cardanoネットワーク上のPoBスマートコントラクト

Cardanoのスマートコントラクトは、ルールに基づいて取引を実行することを許可し、透明で検証可能な取引の確立を目指しています。最近、分散型金融と組織がスマートコントラクトの広範な利用を推進しています。

カルダノは、ユーザーがウォレット内で取引をシミュレートしてセキュリティを向上させることを可能にする、イーサリアムとは異なる構造を採用しています。カルダノのスマートコントラクトは、3つの部分で構成されています:

• リデンプションスクリプト: eUTxOの支出を制御する
• ウォレットスクリプト: ユーザーが資金を引き出し、新しいeUTxOを作成することを表します
• eUTxO:資金とデータポイントを保持し、資金の使用条件を決定するために使用される

これは、Cardanoのスマートコントラクトが中央集権的な状態を持たず、各eUTxOが独立した状態を持つことを意味します。可能な操作には次のものが含まれます:

• 燃焼:資金をブラックホールアドレスに送信する
• 燃焼の検証:燃焼が発生したことを確認する
• ロック:資金を鍵のあるアドレスに送信する
• 引き出し:ロックされた資金を取り戻す

エンドポイントはユーザーボ.walletで実行され、生成されたトランザクションはブロックチェーンに送信されます。リデンプションスクリプトは、資金がハッシュ値を保持しているアドレスのみがアクセスできることを検証します。

ロック操作では、ハッシュ値は自分のアドレスである可能性があります。燃焼中、ハッシュ値はブラックホールアドレスを指します。これは、ハッシュに秘密の約束値を与えてそれを反転させることによって実現されます。暗号ハッシュ関数を使用しているため、一致する入力を見つけることはほぼ不可能です。

仲介者は取引が燃焼しているのかロックされているのかを知ることができません。これは、燃焼取引に対する選択的な監査を防ぎます。燃焼値は、検証エンドポイントと公開されたコミットメント値を通じて検証できます。

!

3. スマートコントラクトのデプロイテスト

テストネットにスマートコントラクトをデプロイするには、以下の手順を実行する必要があります:

1. Haskellツールチェーンをインストールする
2. Plutusスクリプトの構築
3. Cardanoノードとウォレットコンテナを起動する
4. ウォレットを復元してウォレットIDを取得する
5. バーントークンの実行
6. バーニングの検証

これらのステップは、取引が燃焼しているのかロックされているのかを隠すことができます。しかし、スクリプトが公開された後、特定のリデンプションを拒否するスクリプトをコンパイルしようとする人がいるかもしれません。これは多くの作業を必要としますが、一部の燃焼が審査される可能性があります。このような事態を防ぐために、Iagonはより安全なソリューションを提案しました。

!

4. スマートコントラクトからウォレットスクリプトへ

ユーザーのウォレットで主に操作が行われるこの特性を利用して、ウォレットのみを使用するソリューションを作成することができ、スマートコントラクトはもはや必要ありません。この方法では、燃焼取引を選択的に阻止することはできません。すべての燃焼を阻止するには、審査者はすべてのスクリプト取引を阻止する必要があります。ウォレットのみを使用する場合、唯一の審査方法はすべてのCardano取引を阻止することであり、これは究極の抵抗です。

これを実現するには、公開鍵ハッシュをコミット値ハッシュに置き換え、最下位ビットを反転させる必要があります。また、Cardanoのアドレスエラーチェックも処理する必要があります。最も簡単な方法は、スクリプトとCardano APIライブラリを使用してアドレスを生成することです。

提供されたコードを使用して、燃焼アドレスを生成し、ブロックチェーンに取引を送信し、燃焼を検証できます。

!

まとめ

この記事では、PoBプロトコルがスマートコントラクトとウォレット取引においてどのように実装されているかを紹介します。Alonzoスマートコントラクトに必要なインフラが不足しているため、ウォレットスクリプトの使用が推奨されています。将来的にPABライブラリが実装されると、ウォレットスクリプトを組み合わせた複雑なスマートコントラクトソリューションがより実行可能になり、潜在的な検閲に対してより強固になるでしょう。詳細については、Githubの関連情報を参照してください。

!