誰もがZK-STARKがブロックチェーン構築においてトップクラスだと認めています。かつてはそうではなく、合意が成立したのは良いことです。 まだ合意が出ていない点、そして今後そうなると予想するのは、もしあなたのチェーンがZK-techに依存しているなら、プログラミング言語とVMはZK最適化されているべきだということです。 ZKに適した言語(例:Cairo)で書かれたプログラムは、ZKベースのVMでスムーズに処理できます。 もしZKに最適化されていないPL(例えばSolidity)で書かれている場合、zkVMが処理する前にいくつかの回避策を試す必要があります。 これらの回避策は、(1)精度と効率を失うこと、(2)バグのリスクを生むことを意味します。 ZKを扱うには適切なツールが必要です。