#dusk $DUSK @Dusk
@Dusk_Foundationのデザインの中で、私が最も率直に不安を感じているのは、規模に応じた証明生成コストです。
zk-SNARKの証明生成は無料ではありません——計算コストは回路の複雑さに比例し、またzkシステム全般において、複雑な回路の証明時間はハードウェアや制約数によって、0.1秒未満から数十秒まで幅があります。
準拠（コンプライアンス）ロジックが組み込まれた機密スマートコントラクトは、ほぼ定義上、単純な送金よりも複雑な回路になります。これは実際に影響を及ぼします。誰が証明コストを負担するのか（ユーザーの端末か、委任されたプローバーか、ノードか）。そして、十分なリソースを持つプローバーだけが十分に速く証明を生成できるなら、それは中央集権化の圧力を生むことにならないのか？
Duskはこの点について（PLONK、さらに複雑な証明を高速化するためのルックアップテーブル付きのPlonKupといった形で）反復改善してきました。つまり、このボトルネックを意識していることは示されています。機関投資家レベルの取引量に対応するまでに、完全に解決されているかどうかは、答えが出たというより実データ次第の、なお検証を要する問題であって、私としてはそれを信じ切ることはできません。
$DUSK #dusk
@Dusk_Foundationのデザインの中で、私が最も率直に不安を感じているのは、規模に応じた証明生成コストです。
zk-SNARKの証明生成は無料ではありません——計算コストは回路の複雑さに比例し、またzkシステム全般において、複雑な回路の証明時間はハードウェアや制約数によって、0.1秒未満から数十秒まで幅があります。
準拠（コンプライアンス）ロジックが組み込まれた機密スマートコントラクトは、ほぼ定義上、単純な送金よりも複雑な回路になります。これは実際に影響を及ぼします。誰が証明コストを負担するのか（ユーザーの端末か、委任されたプローバーか、ノードか）。そして、十分なリソースを持つプローバーだけが十分に速く証明を生成できるなら、それは中央集権化の圧力を生むことにならないのか？
Duskはこの点について（PLONK、さらに複雑な証明を高速化するためのルックアップテーブル付きのPlonKupといった形で）反復改善してきました。つまり、このボトルネックを意識していることは示されています。機関投資家レベルの取引量に対応するまでに、完全に解決されているかどうかは、答えが出たというより実データ次第の、なお検証を要する問題であって、私としてはそれを信じ切ることはできません。
$DUSK #dusk