ゼロ知識証明

この記事では、ゼロ知識証明(ZKP)の詳細な証明を提供します。

ゼロ知識証明(ZKP)は、ある当事者(証明者)が、他の情報を開示することなく、別の当事者(検証者)にステートメントが真実であることを証明できるようにする暗号化方式です。 一般的なZKPソリューションには、zk-SNARKS、zk-STARKS、PLONK、およびBulletproofsが含まれます。 本記事では、これら4種類のZKPソリューションを紹介し、その長所と短所を分析します。

Gate.com は、プルーフ・オブ・リザーブを導入した業界のパイオニアの1つとして、zk-SNARKテクノロジーを採用してプルーフ・オブ・リザーブを強化し、ユーザーに優れた資産セキュリティとプライバシー保護を提供します。

Alignedは、Ethereumに特化したインフラストラクチャープロジェクトであり、当初はEthereum上でのゼロ知識証明検証における高いコストと限られたスループットという課題に取り組むことからスタートしました。その後、企業・デベロッパー・機関向けの包括的なインフラスタックへと事業領域を拡大しています。現在は、ZK証明検証、証明の集約、Rollup-as-a-Service、ウォレットインフラ、相互運用性など、多岐にわたる製品群を展開しています。