カルダノエコシステムの燃焼証明(PoB)プロトコル

Iagonチームは最近、カルダノエコシステムのために燃焼証明(PoB)プロトコルを開発するという挑戦を完了しました。この記事では、このソリューションについて紹介し、主に以下の内容を含みます:

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

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

トークンのバーンは、トークンをアクセスできない「ブラックホール」アドレスに送信することで、これらのトークンが永久に消失することを意味します。一般の人々はバーンの行為を検証できますが、約束された値しか知られていません。このメカニズムは、中間者が破棄された資金を検閲するのを防ぐことができます。

燃焼メカニズムには多くの用途があり、残りのトークンの価値を増加させることができ、またブロックチェーンプロトコルのコミットメント証明としても機能します。大規模な燃焼はデフレ圧力を引き起こす可能性があります。議論があるにもかかわらず、Iagonは検閲不可能なトークン燃焼プロトコルの開発に取り組んでいます。

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

!

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

カルダノのスマートコントラクトは、予め設定されたルールに基づいて取引を実行することを可能にします。イーサリアムとは異なり、カルダノは異なる構造を採用しており、ユーザーが自分のウォレット内で取引をシミュレートすることを可能にしています。

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

• リデンプションスクリプト: eUTxOsの支出を制御する
• ウォレットスクリプト: ユーザーが実行することを表し、資金を回収し新しいeUTxOsを作成するために使用されます
• eUTxOs:保有資金とデータポイント (datum)

カルダノのスマートコントラクトは中央集権的な状態を持たず、各eUTxOは独立した状態を持っています。可能な操作には、

• 燃焼:資金をブラックホールアドレスに送信する
• 消失した:バーニングアクションを検証する
• ロック: 鍵のあるアドレスに資金を送信する
• 引き出し:ロックされた資金を引き出す

エンドポイントはユーザーのウォレットで実行され、生成された取引はブロックチェーンに送信されます。リデンプションスクリプトは、資金が特定のアドレスによってのみアクセスできることを検証します。

暗号ハッシュ関数を使用し、最下位ビットを反転させることで、ブラックホールアドレスを作成できます。中間者はバーン取引とロック取引を区別できず、選択的検閲を防ぎます。

!

!

!

!

!

3. スマートコントラクトのテストネット展開

スマートコントラクトのデプロイには以下のステップが必要です:

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

この方法は選択的検閲を防ぐことができますが、依然として潜在的なリスクがあります。セキュリティをさらに強化するために、ウォレットスクリプトのみを使用する方案を検討することができます。

!

!

!

!

!

!

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

ウォレットスクリプトのみを使用することで、検閲をより効果的に防ぐことができます。この方法では、公開鍵のハッシュを置き換えるために、コミットメント値のハッシュを使用し、最下位ビットを反転させる必要があります。

CardanoのAPIライブラリを使用してバーンアドレスを生成し、トランザクションをブロックチェーンに送信できます。バーンの検証には、バーンアドレスに送信されたトランザクションを確認する必要があります。

!

!

まとめ

この記事では、Cardanoにおける燃焼証明プロトコルの実装について説明します。Alonzoスマートコントラクトは現在、必要なインフラが不足しているため、ウォレットスクリプトの使用が推奨されます。今後、PABライブラリの実装に伴い、ウォレットスクリプトを組み合わせた複雑なスマートコントラクトソリューションが、検閲耐性のある環境を作成するためにより実行可能になる可能性があります。