先ほどDuskのPhoenixをもう一度読み返していて、ずっと少し引っかかるのが、バリデーターが実際に必要とする情報量の少なさです。
通常のトランザクションなら、ネットワークは「誰が何に、どこへ」使ったのかを判断できるだけのデータを見ているのに慣れています。Phoenixは別ルートを取ります。取引はシールドUTXOとゼロ知識証明を基に構築されているため、ネットワークは送金が正当であること、入力がすでに消費済みでないこと、そして送信者・受取人・金額を学習することなく価値が十分であることを検証できます。
二度読みすれば分かりきっているように聞こえるかもしれませんが、面白いのはその結果、バリデーターの仕事から何が消えるのかという点です。1つの状態遷移を検証するだけのために、私の金融履歴を再構築する必要がありません。
ただ、コストはあります。プライベート情報が魔法のように計算を消し去るわけではありません。クライアントは取引がネットワークに届く前に証明を生成する必要があり、ZK証明は通常のトランザクションへの署名よりもはるかに重くなり得ます。
たぶん、実際に気にするべきはそこだと思います。
バリデーターは比較的無知なままでも、ルールをチェックできます。これは有用です。ですが、そうした証明の生成が一般的なハードウェアではつらいものになってしまうと、プライバシーはハードウェア要件になっていきます。
この見方をすると、私はアーキテクチャの方がより好きになります。ネットワークは、ユーザーのアカウントを公開インフラに変えることなく、ルールを検証できるわけです。ベンチマークで知りたいことはシンプルで、質問はこうです:商品レベルのクライアント端末で、Phoenixの取引における実際の証明時間とメモリ使用量はどれくらいなのか?
#dusk $DUSK @Dusk $HEMI $ACE #BNBChain #satoshiNakamato #SaudiArabia #the
通常のトランザクションなら、ネットワークは「誰が何に、どこへ」使ったのかを判断できるだけのデータを見ているのに慣れています。Phoenixは別ルートを取ります。取引はシールドUTXOとゼロ知識証明を基に構築されているため、ネットワークは送金が正当であること、入力がすでに消費済みでないこと、そして送信者・受取人・金額を学習することなく価値が十分であることを検証できます。
二度読みすれば分かりきっているように聞こえるかもしれませんが、面白いのはその結果、バリデーターの仕事から何が消えるのかという点です。1つの状態遷移を検証するだけのために、私の金融履歴を再構築する必要がありません。
ただ、コストはあります。プライベート情報が魔法のように計算を消し去るわけではありません。クライアントは取引がネットワークに届く前に証明を生成する必要があり、ZK証明は通常のトランザクションへの署名よりもはるかに重くなり得ます。
たぶん、実際に気にするべきはそこだと思います。
バリデーターは比較的無知なままでも、ルールをチェックできます。これは有用です。ですが、そうした証明の生成が一般的なハードウェアではつらいものになってしまうと、プライバシーはハードウェア要件になっていきます。
この見方をすると、私はアーキテクチャの方がより好きになります。ネットワークは、ユーザーのアカウントを公開インフラに変えることなく、ルールを検証できるわけです。ベンチマークで知りたいことはシンプルで、質問はこうです:商品レベルのクライアント端末で、Phoenixの取引における実際の証明時間とメモリ使用量はどれくらいなのか?
#dusk $DUSK @Dusk $HEMI $ACE #BNBChain #satoshiNakamato #SaudiArabia #the