COLUMN

ゼロ知識証明、リカーシブ証明、Haloについての簡単な説明
ゼロ知識証明とは、暗号技術の一分野であり、基礎となるデータを見ることなくソリューション（「答え」）を検証する方法を指します。

例えば、ニューヨークのバーで自分の年齢を証明する必要がある場合を考えてみましょう。ゼロ知識証明を用いた方法では、証明者と検証者の2つの当事者が存在します。証明者とは、何かを証明しようとする人や団体のことで、この場合は、飲酒可能な年齢であることを証明しようとする人のことです。検証者とは、その情報を検証しなければならない人や組織のことで、すなわちバーテンダーのことです。

ゼロ知識証明のトランザクションでは、バーテンダーは、利用者の正確な年齢を知る必要も、利用者のIDを見る必要もなく、利用者が法的な年齢に達していることを証明することができます。バーテンダーは、基礎となるデータ（ID）を見ることなく、年齢を信頼することができるのです。要するに、何も確認せず、自信を持って取引を完了することができるのです。

ゼロ知識証明トランザクション（zk,Zero Knowledge）は、トランザクションが発生したことを証明するために参照することができるzk証明を付与します。zkをブロックチェーンのような分散型ネットワークで使用する場合、各ブロックに複数のzk証明が含まれることになります。

将来のトランザクションで情報を確認したい場合、以前の各ブロックを個別に検証することになります。リカーシブ証明はその回避策として、本質的に「証明の証明」を可能にします。ある意味、必要な証明だけをピックアップすることで、少数の証明を検証するだけで済みます。

HaloはECCのリカーシブ証明の研究で、当初は信頼できるセットアップ（複雑でコストのかかるプロセス）を実行せずにブロックチェーンネットワーク上でリカーシブ証明を設定するためのソリューションとして2019年に発表されました。Halo 2は、リカーシブ証明の研究の次のイテレーションです。

Halo 2の実行：Filecoin
あまり知られていないかもしれませんが、Filecoinネットワークは、世界最大のゼロ知識証明ネットワークとして展開されています。ゼロ知識証明はFilecoinネットワークの基盤であり、ネットワークが最初にテストネットで起動したときから実施されている、重要なスケーラビリティソリューションを提供しています。

ECC、ファイルコイン財団、Ethereum Foundation、Protocol Labsの間で行われる取り組みは、既存の一部のFilecoin証明システムへHalo 2の統合を検討することです。

Halo 2のリカーシブ証明ソリューションの実装に成功すると、オンチェーンで保存されるデータの証明が大幅に減り、Filecoinのネットワークに人類の最も価値ある情報をより多く保存できるようになります。つまり、ネットワークのスケーラビリティが向上し、安価で効率的、かつユーザーフレンドリーなストレージソリューションにアクセスできるようになるのです。

Protocol Labs x ECC x EF x ファイルコイン財団のコラボレーションについてはこちらをご覧ください。

本ブログは、www.filecoin.io/blog からの翻訳となります。
ソース: https://filecoin.io/blog/posts/reviving-halo-2-with-protocol-labs-filecoin-foundation-ethereum-foundation-and-electric-coin-co/

先日、Electric Coin Co. (ECC）は、Protocol Labs、ファイルコイン財団、Ethereum Foundation、およびECCが協力して、信頼できる設定を必要としないリカーシブなゼロ知識証明のソリューションであるHaloの研究開発を進めることを発表しました。

ゼロ知識証明、リカーシブ証明、Haloについての簡単な説明

ゼロ知識証明とは、暗号技術の一分野であり、基礎となるデータを見ることなくソリューション（「答え」）を検証する方法を指します。

例えば、ニューヨークのバーで自分の年齢を証明する必要がある場合を考えてみましょう。ゼロ知識証明を用いた方法では、証明者と検証者の2つの当事者が存在します。証明者とは、何かを証明しようとする人や団体のことで、この場合は、飲酒可能な年齢であることを証明しようとする人のことです。検証者とは、その情報を検証しなければならない人や組織のことで、すなわちバーテンダーのことです。

ゼロ知識証明のトランザクションでは、バーテンダーは、利用者の正確な年齢を知る必要も、利用者のIDを見る必要もなく、利用者が法的な年齢に達していることを証明することができます。バーテンダーは、基礎となるデータ（ID）を見ることなく、年齢を信頼することができるのです。要するに、何も確認せず、自信を持って取引を完了することができるのです。

ゼロ知識証明トランザクション（zk,Zero Knowledge）は、トランザクションが発生したことを証明するために参照することができるzk証明を付与します。zkをブロックチェーンのような分散型ネットワークで使用する場合、各ブロックに複数のzk証明が含まれることになります。

将来のトランザクションで情報を確認したい場合、以前の各ブロックを個別に検証することになります。リカーシブ証明はその回避策として、本質的に「証明の証明」を可能にします。ある意味、必要な証明だけをピックアップすることで、少数の証明を検証するだけで済みます。

HaloはECCのリカーシブ証明の研究で、当初は信頼できるセットアップ（複雑でコストのかかるプロセス）を実行せずにブロックチェーンネットワーク上でリカーシブ証明を設定するためのソリューションとして2019年に発表されました。Halo 2は、リカーシブ証明の研究の次のイテレーションです。

Halo 2の実行：Filecoin

あまり知られていないかもしれませんが、Filecoinネットワークは、世界最大のゼロ知識証明ネットワークとして展開されています。ゼロ知識証明はFilecoinネットワークの基盤であり、ネットワークが最初にテストネットで起動したときから実施されている、重要なスケーラビリティソリューションを提供しています。

ECC、ファイルコイン財団、Ethereum Foundation、Protocol Labsの間で行われる取り組みは、既存の一部のFilecoin証明システムへHalo 2の統合を検討することです。

Halo 2のリカーシブ証明ソリューションの実装に成功すると、オンチェーンで保存されるデータの証明が大幅に減り、Filecoinのネットワークに人類の最も価値ある情報をより多く保存できるようになります。つまり、ネットワークのスケーラビリティが向上し、安価で効率的、かつユーザーフレンドリーなストレージソリューションにアクセスできるようになるのです。

Protocol Labs x ECC x EF x ファイルコイン財団のコラボレーションについてはこちらをご覧ください。

本ブログは、www.filecoin.io/blog からの翻訳となります。

ソース: https://filecoin.io/blog/posts/reviving-halo-2-with-protocol-labs-filecoin-foundation-ethereum-foundation-and-electric-coin-co/