ブロックチェーンのプライバシーとゼロ知識証明の分野で深い開発経験を持つ人々は皆、核心的な痛点を正直に認める：ZKは決して機能の実現可能性の問題ではなく、性能の実用性の問題であると。いかに洗練された論文やホワイトペーパーであっても、実際の展開段階に入ると、証明生成時間は数十秒から数分かかることが多く、最終的にはユーザー体験が崩壊してしまう。

市場にはゼロ知識証明をサポートすると主張するパブリックチェーンが多いが、実際の手法はEVMフレームワーク内に回路ロジックを無理やり統合するものである。このアプローチは理論上は可能だが、実際の体験は非常に厳しいものであり、まるでトラクターで高速道路を走るようなものだ——どんなにアクセルを踏んでも、期待される効率は出せない。

過去数年間、複雑なプライバシーロジックを処理できるチェーンはごく少数だった。その理由は暗号学の理論が未成熟だからではなく、基盤となる実行環境が需要に全く追いついていなかったからだ。これこそがDuskが全く異なるエンジニアリングの実践路線を採った理由である：EVMにパッチを当てるのではなく、仮想マシン層から徹底的に再設計することを選び、その結果、Piecrust仮想マシンを自社開発した。

Piecrust VMの位置付けは非常に明確——それは汎用性を追求するものではなく、ゼロ知識計算専用に作られた実行環境である。この設計選択の重要性はしばしば見落とされる。EVMは本質的に状態の決定性と再現性を最適化したものであり、証明のしやすさを考慮したことは一度もない。EVM上でゼロ知識計算を行うことは、ビジネスロジックを実行しながら、同時に膨大な証明コストも負担することに等しい。

Duskはこの考え方を逆転させた：目的がプライバシーと検証可能な計算であるなら、実行モデル、命令セット、状態管理の設計は、最初からゼロ知識証明を中心に据えるべきだ。結果として、一見直感に反するが実際に実現可能な性能向上——証明生成時間の大幅な短縮——を達成し、ZKを理想の紙面から実用的な製品へと変貌させた。