カルダノエコシステムの燃焼証明プロトコル実現

近日、あるチームがチャールズ・ホスキンソンが提起した問題に対して、カルダノエコシステムに適した燃焼証明(PoB)プロトコルを開発しました。本稿ではこの解決策について紹介し、主な内容は以下の通りです:

1. バーニング証明メカニズムとその応用の概要
2. このPoBソリューションはカルダノネットワーク上のスマートコントラクト実行メカニズムです。
3. スマートコントラクトのデプロイとテストプロセス
4. "ブラックホール"アドレスにトークンを送信してPoBプロトコルを実行する

バーン証明とその応用

トークンのバーン(は、)本質的にトークンをアクセスできない「ブラックホール」アドレスに送信することです。このメカニズムは、残りのトークンの価値を増加させるために使用されるか、またはブロックチェーンプロトコルのコミットメントの証明として機能します。大量のトークンをバーンすることはデフレ圧力を引き起こす可能性がありますが、それでも一般的なブロックチェーントランザクションの一つです。

燃焼証明の安全性は暗号ハッシュ関数に基づいています。これらの関数は正方向の計算が容易ですが、逆方向の推導は非常に困難です。暗号ハッシュ関数の出力の最下位ビットを反転させることで、ブラックホールアドレスを作成できます。そのアドレスに送信されたものは、復元が難しくなるか、または不可能になります。

!

カルダノネットワーク上の燃焼証明スマートコントラクト

カルダノスマートコントラクトは三つの部分で構成されています:

• リデンプションスクリプト: eUTxOsの支出を許可または禁止する
• ウォレットスクリプト: ユーザーの実行を表し、資金の償還と新しいeUTxOsの作成に使用される
• eUTxOs:資金を保持し、償還するためのデータポイント

カルダノのスマートコントラクトは、台帳上に中央集権的な状態がなく、各eUTxOが独立した状態を持っています。

!

このPoBソリューションには4種類の操作が含まれています:

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

仲介者は燃焼取引とロック取引を区別できず、これにより燃焼取引の監査を回避しています。

!

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

デプロイ手順には以下が含まれます:

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

!

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

安全性をさらに向上させるために、操作をスマートコントラクトからウォレットスクリプトに移動させることができます。この方法により、すべてのカルダノトランザクションを監査しない限り、燃焼トランザクションの監査が難しくなります。

これを実現するには、コミットメント値のハッシュを公開鍵ハッシュに置き換え、コミットメント値の最下位ビットを反転させる必要があります。また、カルダノのアドレス構造とエラーチェック機構も考慮する必要があります。

!

まとめ

この記事では、Cardanoエコシステムにおける燃焼証明プロトコルの実装ソリューションについて紹介します。現在はウォレットスクリプトの使用が推奨されていますが、将来的にはPABライブラリの改善に伴い、ウォレットスクリプトと組み合わせた複雑なスマートコントラクトソリューションがより実現可能になる可能性があり、潜在的な検閲に対抗できる環境の構築に役立つでしょう。

!