#dusk $DUSK @Dusk _Foundation
「“プライベート”なチェーンでも、残高が隠されているのに、どうやって残高をチェックできるの?」と聞かれて、私は実際にはうまく説明できないことに気づきました。
そこで、Hedgerがどうやっているのか調べてみると、正直まだちょっと不思議な感じがします。
普通、システムが何かの値を使って処理をしようとするなら、その値を読み取る必要があります。たとえば2つの残高を足して、何かが上限を超えているか確認するとか、何であれです。実際の数値は、多くの場合どこかにそのまま置かれています。
そこでHedgerが面白くなります。
DuskのEVM側のプライバシーシステムは、準同型暗号を使っています——具体的には楕円曲線上でのElGamalです。基本的な考え方がかなり変わっています。つまり、復号せずに暗号化された値に対して特定の計算を行えるのです。基になる値が暗号化されたままで正しい結果が得られます。
さらにゼロ知識証明を組み合わせることで、プライベートな入力を公開せずに、計算がルールに従って行われたことも証明できます。
私が特に引っかかったのは、この部分です:
平文の残高は、ルールを強制するためにコントラクトに公開される必要がありません。
規制のある金融の分野では、適格性チェック、残高の上限、送金の制限、そして機微な数値を公の場で見せるべきではないその他のコンプライアンスロジックに役立つかもしれません。
しかし、当然疑問もあります。
準同型暗号は計算コストが高いです。暗号文のまま計算できるからといって、あらゆる種類の計算が安く、速く、実用的だというわけではありません。
なので、私はこの点を本気で知りたいです:
**現時点で性能の“ライン”はどこにあるのでしょう? 意味のある金融ロジックにHEは本当に実用可能なのか、それともまだ主により狭い操作の話に留まっているのか?**
$PORTAL $GPS
「“プライベート”なチェーンでも、残高が隠されているのに、どうやって残高をチェックできるの?」と聞かれて、私は実際にはうまく説明できないことに気づきました。
そこで、Hedgerがどうやっているのか調べてみると、正直まだちょっと不思議な感じがします。
普通、システムが何かの値を使って処理をしようとするなら、その値を読み取る必要があります。たとえば2つの残高を足して、何かが上限を超えているか確認するとか、何であれです。実際の数値は、多くの場合どこかにそのまま置かれています。
そこでHedgerが面白くなります。
DuskのEVM側のプライバシーシステムは、準同型暗号を使っています——具体的には楕円曲線上でのElGamalです。基本的な考え方がかなり変わっています。つまり、復号せずに暗号化された値に対して特定の計算を行えるのです。基になる値が暗号化されたままで正しい結果が得られます。
さらにゼロ知識証明を組み合わせることで、プライベートな入力を公開せずに、計算がルールに従って行われたことも証明できます。
私が特に引っかかったのは、この部分です:
平文の残高は、ルールを強制するためにコントラクトに公開される必要がありません。
規制のある金融の分野では、適格性チェック、残高の上限、送金の制限、そして機微な数値を公の場で見せるべきではないその他のコンプライアンスロジックに役立つかもしれません。
しかし、当然疑問もあります。
準同型暗号は計算コストが高いです。暗号文のまま計算できるからといって、あらゆる種類の計算が安く、速く、実用的だというわけではありません。
なので、私はこの点を本気で知りたいです:
**現時点で性能の“ライン”はどこにあるのでしょう? 意味のある金融ロジックにHEは本当に実用可能なのか、それともまだ主により狭い操作の話に留まっているのか?**
$PORTAL $GPS