XSC を上書き(リプレイ)するとき、コメント欄で「取引ごとにゼロ知識証明を通すなら、遅くて使い物にならないのでは?」といった質問がありました。この点は掘り下げる価値があるので、私は改めて真剣に確認しました。
金額、取引相手、実行プロセスはすべてローカルで計算し、証明生成後はチェーンに送るのは証明そのものだけです。ブロードキャスト待ちの行列によるプレッシャーは、プライバシー計算の経路上にはありません。DUSK のノードがやるのは検証であって、再計算ではありません。検証は生成よりはるかに軽く、軽重がはっきり分かれています。$ETH
機密スマートコントラクトも同じ道筋で動きます。DUSK はこの層でも、重い再計算をローカルに残します。機密 DeFi やデジタル株式の登記システムのようなシナリオでは、計算の大部分をローカルで行うため、チェーン側の負荷は自然と小さくなります。Piecrust(現在は DuskVM のコア実行環境)がこの層で実行を高速化し、チェーン上では検証結果だけが記録されます。その Gas の算定基準についても、私はドキュメントで裏取りしました。検証と実行のコストを徴収するもので、最新ドキュメントによれば、プライバシーそれ自体に追加の課金レイヤーが上乗せされるわけではありません。
私は、重い再計算が確かにローカルで行われており、チェーン上では軽い検証だけをすることを確認しました。遅い原因はプライバシーではなく、プライバシー計算と検証を分離しないチェーンの設計にあります。現在 DuskEVM テストネットも稼働しており、Hedger 側のルートも同じ考え方です。#dusk $DUSK @Dusk
金額、取引相手、実行プロセスはすべてローカルで計算し、証明生成後はチェーンに送るのは証明そのものだけです。ブロードキャスト待ちの行列によるプレッシャーは、プライバシー計算の経路上にはありません。DUSK のノードがやるのは検証であって、再計算ではありません。検証は生成よりはるかに軽く、軽重がはっきり分かれています。$ETH
機密スマートコントラクトも同じ道筋で動きます。DUSK はこの層でも、重い再計算をローカルに残します。機密 DeFi やデジタル株式の登記システムのようなシナリオでは、計算の大部分をローカルで行うため、チェーン側の負荷は自然と小さくなります。Piecrust(現在は DuskVM のコア実行環境)がこの層で実行を高速化し、チェーン上では検証結果だけが記録されます。その Gas の算定基準についても、私はドキュメントで裏取りしました。検証と実行のコストを徴収するもので、最新ドキュメントによれば、プライバシーそれ自体に追加の課金レイヤーが上乗せされるわけではありません。
私は、重い再計算が確かにローカルで行われており、チェーン上では軽い検証だけをすることを確認しました。遅い原因はプライバシーではなく、プライバシー計算と検証を分離しないチェーンの設計にあります。現在 DuskEVM テストネットも稼働しており、Hedger 側のルートも同じ考え方です。#dusk $DUSK @Dusk