@Dusk_Foundation Duskのプライバシーのスケーリングは、主にネットワーク容量の問題だと思っていました。Proverのアーキテクチャを深掘りすると、別の制約が見えてきます。それは「証明そのものを生成するコスト」です。

Duskは、プライバシー保護型トランザクションに必要なゼロ知識証明の、計算負荷の高い生成処理を担うためにProverのインフラに依存しています。ドキュメントでは、証明生成がシングルスレッドであることが明記されており、証明を効率的に完了させて最終化時間を短縮するには、高いシングルコア性能が重要になるとされています。

これにより、機密性のある活動のスケーリングに対する考え方が変わりました。

より多くのプライベート取引は、ブロックチェーンの処理負荷を増やすだけではありません。タイムリーな証明計算への需要も増やし得ます。証明がより遅いコンポーネントになるなら、コンセンサスの処理能力だけでは、スムーズなユーザー体験は保証できません。

ここには運用上のトレードオフがあります。Duskは、状況によってはProverをProvisionerから分離することを推奨しており、証明とコンセンサスの間でインフラ資源を異なる形で割り当てられるようにします。

リスクは、証明要件が高まることで、より優れたハードウェアを持つオペレーターが有利になり、その結果としてインフラの集中が徐々に進む可能性があることです。

ですので、プライバシー利用が増えるにつれて、証明生成のレイテンシ、Proverの処理能力、そして機密トランザクションのパフォーマンスを注視していきたいと思います。

ZKネットワークにおいてスケーリングとは、取引の処理だけではありません。取引が必要とする「エビデンス（証拠）」を生成することでもあります。

#dusk $DUSK $STAR $GPS