ZKこの分野では、皆がアルゴリズムの革新に取り組んでいますが、正直言って、実際に問題になるのはコンピューティングパワーが十分かどうかです。あの数学の公式は見た目は美しいですが、現実は厳しいです——零知识证明を生成するために必要な計算リソースは、コードの修正だけでは解決できません。

この2年間でわかることは、ソフトウェアの最適化がどれだけ頑張っても、ハードウェアの壁を越えることはできないということです。証明生成に必要なコンピューティングパワーはそこにあり、これは硬いコストです。ZKを真にスケールさせて実現したいですか？数学者が美しいアルゴリズムを書くだけでは不十分で、十分かつ安価なコンピューティングパワーリソースが必要です。